Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FSI-VZI-KAk. rok: 2023/2024
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
Vstupní znalosti
Pravidla hodnocení a ukončení předmětu
Učební cíle
Základní literatura
Doporučení literatura
Zařazení předmětu ve studijních plánech
Konzultace v kombinovaném studiu
Vyučující / Lektor
Osnova
Konzultace