Průvodce IB000 Matematické základy informatiky
-
Průvodce IB000 Matematické základy informatiky
-
Study nowOrganizace studia, testů a zkoušek
-
Study nowBONUSY
-
Study nowCvičení 0: Matematické vyjadřování (i před přednáškou), výroková logika
-
Study nowLekce 1: Základní formalismy matematiky
-
Study nowLekce 2: Matematická logika a důkazy
-
Study nowCvičení 2: Výroková a především predikátová logika
-
Study nowLekce 3: Množiny a množinové operace
-
Study nowCvičení 3: Množinový kalkul
-
Study nowLekce 4: Techniky matematických důkazů
-
Study nowCvičení 4: Přehled důkazových technik
-
Study nowLekce 5: Rekurze, Strukturální indukce
-
Study nowCvičení 5: Důkazy matematickou indukcí
-
Study nowLekce 6: Relace a jejich vlastnosti
-
Study nowCvičení 6: Více indukce, včetně strukturální
-
Study nowLekce 7: Ekvivalence, Uspořádané množiny
-
Study nowCvičení 7: Porozumění binárním relacím
-
Study nowLekce 8: Skládání relací a funkcí
-
Study nowCvičení 8: Ekvivalence a uspořádání
-
Study nowLekce 9: Pojem grafu
-
Study nowCvičení 9: Skládání relací a funcí
-
Study nowLekce 10: Stromy a kostry grafů
-
Study nowCvičení 10: Pojmy grafů, isomorfismus
-
Study nowLekce 11: Formalizace a důkazy pro algoritmy
-
Study nowCvičení 11: Stromy, vzdálenosti a kostry
-
Study nowCvičení 12: Dokazování algoritmů
-
Study nowLekce 12: Nekonečné množiny a zastavení algoritmu
-
Cvičení 11: Stromy, vzdálenosti a kostry
Cvičení pokračuje látkou grafů trochu do hloubky, jmenovitě rozebere grafovou vzdálenost, základní vlastnosti stromů a problém minimální kostry. Zmíní se výběr různých reprezentantů.
(Jelikož se dá čekat, že už proběhl školní test na přednášce, jsou nyní přednášky nejspíše o jednu pozadu a toto cvičení tak probíhá hned po Lekci 10 o grafech.)
-
Průvodce IB000 Matematické základy informatiky
-
Study nowOrganizace studia, testů a zkoušek
-
Study nowBONUSY
-
Study nowCvičení 0: Matematické vyjadřování (i před přednáškou), výroková logika
-
Study nowLekce 1: Základní formalismy matematiky
-
Study nowLekce 2: Matematická logika a důkazy
-
Study nowCvičení 2: Výroková a především predikátová logika
-
Study nowLekce 3: Množiny a množinové operace
-
Study nowCvičení 3: Množinový kalkul
-
Study nowLekce 4: Techniky matematických důkazů
-
Study nowCvičení 4: Přehled důkazových technik
-
Study nowLekce 5: Rekurze, Strukturální indukce
-
Study nowCvičení 5: Důkazy matematickou indukcí
-
Study nowLekce 6: Relace a jejich vlastnosti
-
Study nowCvičení 6: Více indukce, včetně strukturální
-
Study nowLekce 7: Ekvivalence, Uspořádané množiny
-
Study nowCvičení 7: Porozumění binárním relacím
-
Study nowLekce 8: Skládání relací a funkcí
-
Study nowCvičení 8: Ekvivalence a uspořádání
-
Study nowLekce 9: Pojem grafu
-
Study nowCvičení 9: Skládání relací a funcí
-
Study nowLekce 10: Stromy a kostry grafů
-
Study nowCvičení 10: Pojmy grafů, isomorfismus
-
Study nowLekce 11: Formalizace a důkazy pro algoritmy
-
Study nowCvičení 11: Stromy, vzdálenosti a kostry
-
Study nowCvičení 12: Dokazování algoritmů
-
Study nowLekce 12: Nekonečné množiny a zastavení algoritmu
-