Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FIT-IAMAk. rok: 2022/2023
Předmět navazuje na povinné matematické předměty bakalářského studia. Práce s matematickým aparátem je demonstrována spolu s prohloubením znalostí oblastí matematiky úzce souvisejících s informatikou a s ukázkou jejich aplikací v informatice. Jedná se zejména o teorii čísel a její aplikaci v kryptografii; základy teorie množin a logiky, vybrané logické systémy, techniky a rozhodovací procedury s aplikací např. v databázích či softwarovém inženýrství; teorii svazů, pevných bodů, a jejich aplikace ve verifikaci; pravděpodobnost a statistiku a aplikace v analýze pravděpodobnostních systémů a umělé inteligenci.
Jazyk výuky
Počet kreditů
Garant předmětu
Zajišťuje ústav
Výsledky učení předmětu
Prerekvizity
Způsob a kritéria hodnocení
Dva testy - v polovině a v závěru semestru (25 bodů za test), aktivita na cvičeních (5 bodů za každé cvičení). Podmínky zápočtu: Získání 50 ze 110 možných bodů, udělovaných za aktivity v průběhu cvičení a docházku (60 bodů), průběžné testy (50 bodů).
Učební cíle
Prerekvizity a korekvizity
Základní literatura
Doporučená literatura
Elearning
Zařazení předmětu ve studijních plánech
obor BIT , 2 ročník, letní semestr, volitelný
Přednáška
Vyučující / Lektor
Osnova
Cvičení odborného základu
Cvičení na počítači