Aktuální témata z informatiky doc. RNDr. Michal Krupka, Ph.D.
Informace k předmětu ve Stagu.
Obsah předmětu
Předmět je určen zejména studentům specializace Obecná informatika a studentům se zájmem o informatiku jako vědní obor. Letos budou probírána následující témata.20. září a 4. října | PageRank, M. Krupka. Materiál k tématu se zápočtovými úkoly. |
11. a 18. října | Model checking, P. Jančar. Materiál k tématu. |
25. října, 1. a 8. listopadu | Úvod do teorie typů, J. Laštovička. Kniha k tématu, text, zdrojový kód, příklady ke kódu. |
15. a 22. listopadu | Verifikace vlastností konečných automatů, P. Osička. Poznámky k tématu, zápočtový úkol. |
29. listopadu a 6. prosince | Pojmy a data mining: na rozhraní umělé inteligence, logiky a psychologie, R. Bělohlávek. Prezentace. |
Podmínky udělení zápočtu
Ke každému z pěti témat bude stanoven zápočtový úkol. Podmínkou udělení zápočtu bude uznání alespoň tří z nich příslušnými vyučujícími. Zápočty uděluje doc. Krupka.
Správce stránky: Michal Krupka