Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FSI-VZI-AAk. rok: 2024/2025
Kurz seznamuje studenty se základy matematické informatiky. Jsou diskutovány formální jazyky a gramatiky a nástroje pro zpracování slov v těchto jazycích. Dalším tématem je predikátový počet, metody dokazování pravdivosti logických formulí a klasifikace složitosti problémů s vymezením tříd P a NP. Jako vyjadřovacího jazyka je užito C/Python. Je demonstrováno praktické využití vět a důsledků při implementaci jednoduchých technických aplikací.Kurz završují základy teorie grafů, zahrnují algoritmy prohledávání grafů, eulerovských tah a hamiltonovských cest, hledání nejkratší cesty, minimální kostry, toků v sítích, barvení grafů a aplikace struktur počítačové geometrie.
Jazyk výuky
Počet kreditů
Garant předmětu
Zajišťuje ústav
Nabízen zahraničním studentům
Vstupní znalosti
Pravidla hodnocení a ukončení předmětu
Učební cíle
Základní literatura
Doporučení literatura
Elearning
Zařazení předmětu ve studijních plánech
Přednáška
Vyučující / Lektor
Osnova
Cvičení s počítačovou podporou