Průvodce IB000 Matematické základy informatiky
-
Průvodce IB000 Matematické základy informatiky
-
Nyní studovatOrganizace studia, testů a zkoušek
-
Nyní studovatBONUSY
-
Nyní studovatCvičení 0: Matematické vyjadřování (i před přednáškou), výroková logika
-
Nyní studovatLekce 1: Základní formalismy matematiky
-
Nyní studovatLekce 2: Matematická logika a důkazy
-
Nyní studovatCvičení 2: Výroková a především predikátová logika
-
Nyní studovatLekce 3: Množiny a množinové operace
-
Nyní studovatCvičení 3: Množinový kalkul
-
Nyní studovatLekce 4: Techniky matematických důkazů
-
Nyní studovatCvičení 4: Přehled důkazových technik
-
Nyní studovatLekce 5: Rekurze, Strukturální indukce
-
Nyní studovatCvičení 5: Důkazy matematickou indukcí
-
Nyní studovatLekce 6: Relace a jejich vlastnosti
-
Nyní studovatCvičení 6: Více indukce, včetně strukturální
-
Nyní studovatLekce 7: Ekvivalence, Uspořádané množiny
-
Nyní studovatCvičení 7: Porozumění binárním relacím
-
Nyní studovatLekce 8: Skládání relací a funkcí
-
Nyní studovatCvičení 8: Ekvivalence a uspořádání
-
Nyní studovatLekce 9: Pojem grafu
-
Nyní studovatCvičení 9: Skládání relací a funcí
-
Nyní studovatLekce 10: Stromy a kostry grafů
-
Nyní studovatCvičení 10: Pojmy grafů, isomorfismus
-
Nyní studovatLekce 11: Formalizace a důkazy pro algoritmy
-
Nyní studovatCvičení 11: Stromy, vzdálenosti a kostry
-
Nyní studovatCvičení 12: Dokazování algoritmů
-
Nyní studovatLekce 12: Nekonečné množiny a zastavení algoritmu
-
Cvičení 5: Důkazy matematickou indukcí
Do hloubky procvičené induktivní důkazy. Rekurentní posloupnosti a součtové vzorce.
-
Průvodce IB000 Matematické základy informatiky
-
Nyní studovatOrganizace studia, testů a zkoušek
-
Nyní studovatBONUSY
-
Nyní studovatCvičení 0: Matematické vyjadřování (i před přednáškou), výroková logika
-
Nyní studovatLekce 1: Základní formalismy matematiky
-
Nyní studovatLekce 2: Matematická logika a důkazy
-
Nyní studovatCvičení 2: Výroková a především predikátová logika
-
Nyní studovatLekce 3: Množiny a množinové operace
-
Nyní studovatCvičení 3: Množinový kalkul
-
Nyní studovatLekce 4: Techniky matematických důkazů
-
Nyní studovatCvičení 4: Přehled důkazových technik
-
Nyní studovatLekce 5: Rekurze, Strukturální indukce
-
Nyní studovatCvičení 5: Důkazy matematickou indukcí
-
Nyní studovatLekce 6: Relace a jejich vlastnosti
-
Nyní studovatCvičení 6: Více indukce, včetně strukturální
-
Nyní studovatLekce 7: Ekvivalence, Uspořádané množiny
-
Nyní studovatCvičení 7: Porozumění binárním relacím
-
Nyní studovatLekce 8: Skládání relací a funkcí
-
Nyní studovatCvičení 8: Ekvivalence a uspořádání
-
Nyní studovatLekce 9: Pojem grafu
-
Nyní studovatCvičení 9: Skládání relací a funcí
-
Nyní studovatLekce 10: Stromy a kostry grafů
-
Nyní studovatCvičení 10: Pojmy grafů, isomorfismus
-
Nyní studovatLekce 11: Formalizace a důkazy pro algoritmy
-
Nyní studovatCvičení 11: Stromy, vzdálenosti a kostry
-
Nyní studovatCvičení 12: Dokazování algoritmů
-
Nyní studovatLekce 12: Nekonečné množiny a zastavení algoritmu
-