Průvodce IB000 Matematické základy informatiky
-
Průvodce IB000 Matematické základy informatiky
-
Nyní studovatOrganizace studia, testů a zkoušek
-
Nyní studovatBONUSY
-
•BONUS: Bílé a černé kameny 19. 11. 2013
-
•1,2-barvení roviny 19. 11. 2013
-
BONUS: Omezené převalování kostky
-
BONUS: Kuličky a majoritní barva
-
BONUS: Neohrožení jezdci
-
BONUS: Přesuny Studentů po Sousedních Čtvercích 15. 11. 2012
-
-
Nyní studovatLekce 1: Základní formalismy matematiky
-
Nyní studovatCvičení 1: Formalismy a výroková logika
-
Nyní studovatLekce 2: Důkazové techniky, Indukce
-
Demonstrační materiály k výuce
-
-
Nyní studovatCvičení 2a: Důkazové techniky, hlavně indukce
-
Nyní studovatLekce 3: Množiny a jejich prvky
-
Nyní studovatCvičení 2b: Množinový kalkul, posloupnosti
-
Nyní studovatLekce 4: Relace a jejich použití
-
Nyní studovatCvičení 3: Kartézský součin, Relace a jejich vlastnosti
-
Nyní studovatLekce 5: Ekvivalence, Uspořádané množiny
-
Nyní studovatCvičení 4: Skládání, Ekvivalence a Upořádané množiny
-
Nyní studovatLekce 6: Funkce a permutace, Uzávěry
-
Nyní studovatCvičení 5a: Permutace, Induktivní definice a Uzávěry
-
Nyní studovatLekce 7: Pojem grafu ve zkratce
-
Nyní studovatCvičení 5b: Pojem grafu, základní vlastnosti
-
Nyní studovatLekce 8: Procházení grafu a odvozené úlohy
-
Nyní studovatCvičení 5c: Procházení grafu, algoritmy
-
Nyní studovatLekce 9: Orientované grafy, Toky v sítích
-
Nyní studovatCvičení 6a: Orientované grafy a sítě
-
Nyní studovatLekce 10: Formalizace a důkazy pro algoritmy
-
Nyní studovatCvičení 6b: Dokazování algoritmů
-
Nyní studovatLekce 11: Pokročilé dokazování nad algoritmy
-
Nyní studovatLekce 12: Nekonečné množiny a zastavení algoritmu
-
Nyní studovatCvičení 7: bez určení...
-
Cvičení 7: bez určení...
Jelikož se nedá obecně čekat, že by během semestru došlo až na sedmé cvičení, nejsou zde žádná doporučení ohledně obsahu. V podstatě se lze zaměřit na kteroukoliv látku, již si chtějí studenti zopakovat nebo prohloubit.
Následující
-
Průvodce IB000 Matematické základy informatiky
-
Nyní studovatOrganizace studia, testů a zkoušek
-
Nyní studovatBONUSY
-
•BONUS: Bílé a černé kameny 19. 11. 2013
-
•1,2-barvení roviny 19. 11. 2013
-
BONUS: Omezené převalování kostky
-
BONUS: Kuličky a majoritní barva
-
BONUS: Neohrožení jezdci
-
BONUS: Přesuny Studentů po Sousedních Čtvercích 15. 11. 2012
-
-
Nyní studovatLekce 1: Základní formalismy matematiky
-
Nyní studovatCvičení 1: Formalismy a výroková logika
-
Nyní studovatLekce 2: Důkazové techniky, Indukce
-
Demonstrační materiály k výuce
-
-
Nyní studovatCvičení 2a: Důkazové techniky, hlavně indukce
-
Nyní studovatLekce 3: Množiny a jejich prvky
-
Nyní studovatCvičení 2b: Množinový kalkul, posloupnosti
-
Nyní studovatLekce 4: Relace a jejich použití
-
Nyní studovatCvičení 3: Kartézský součin, Relace a jejich vlastnosti
-
Nyní studovatLekce 5: Ekvivalence, Uspořádané množiny
-
Nyní studovatCvičení 4: Skládání, Ekvivalence a Upořádané množiny
-
Nyní studovatLekce 6: Funkce a permutace, Uzávěry
-
Nyní studovatCvičení 5a: Permutace, Induktivní definice a Uzávěry
-
Nyní studovatLekce 7: Pojem grafu ve zkratce
-
Nyní studovatCvičení 5b: Pojem grafu, základní vlastnosti
-
Nyní studovatLekce 8: Procházení grafu a odvozené úlohy
-
Nyní studovatCvičení 5c: Procházení grafu, algoritmy
-
Nyní studovatLekce 9: Orientované grafy, Toky v sítích
-
Nyní studovatCvičení 6a: Orientované grafy a sítě
-
Nyní studovatLekce 10: Formalizace a důkazy pro algoritmy
-
Nyní studovatCvičení 6b: Dokazování algoritmů
-
Nyní studovatLekce 11: Pokročilé dokazování nad algoritmy
-
Nyní studovatLekce 12: Nekonečné množiny a zastavení algoritmu
-
Nyní studovatCvičení 7: bez určení...
-