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.

24. září a 1. října	Pojmy a data mining: na rozhraní umělé inteligence, logiky a psychologie, R. Bělohlávek. Slajdy.
8., 15. a 22. října	PageRank a další aplikace teorie vlastních hodnot, M. Krupka. Poznámky se zápočtovými úkoly.
29. října a 5. listopadu	Generativní modely v umělé inteligenci, J. Konečný. Slajdy 1, slajdy 2, zdrojový kód 1, zdrojový kód 2.
12., 19. a 26. listopadu	Úvod do závislostních typů, J. Laštovička. Poznámky se zápočtovým úkolem, zdrojový kód 1 (závislostně typovaný Scheme), zdrojový kód 2 (příklady).
3. a 10. prosince	Verifikace vlastností konečných automatů, P. Osička. Úlohy.

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.