Můžeme najít všechny chyby ve svém programu?
Čt 8. 10. 2026 • Učebna S5, Malostranské nám. 2/25, Praha 1
Každý programátor své programy testuje. Jenže co když program projde třeba i stovkou testů a chyba se skrývá ve sto první situaci? U systémů, na kterých závisí lidské zdraví, bezpečnost nebo i životy, nemusí stačit jen testování. Podíváme se proto na metody, které se snaží ověřit správnost programu systematicky. Ukážeme si, jak lze chování programu formálně popsat – modelovat – a jak počítač dokáže ověřit, že takový model splňuje naše očekávání – specifikaci. To je důležité zejména u takzvaného kritického softwaru – řídících systémů v letadlech, v chirurgických přístrojích, v armádě, ale v dnešní době i třeba v autech.
doc. RNDr. Jan Kofroň, Ph.D. — profil
Od promptu k multiplayeru: Jak s AI postavit skutečnou webovou aplikaci
Čt 22. 10. 2026 • Učebna S5, Malostranské nám. 2/25, Praha 1
Dnešní AI dokáže chrlit kód po stovkách řádků, ale skutečný software tvoří promyšlená architektura a systémové myšlení. Na workshopu zjistíte, co všechno dělí jednoduchou webovku na GitHub Pages od aplikace pro tvorbu multiplayerových her. Pochopíte, jak si vytvořit vlastní webovou aplikaci, hodně se toho naučit a přitom neutratit ani korunu. A také jak AI řídit, aby dělala to, co chcete. V praktické části si pak pomocí chytrého promptování vytvoříte vlastní interaktivní hru a nejlepší hry otestujeme v živém souboji celé místnosti.
Bc. Ladislav Nagy
Jak se neztratit v úzkých uličkách: Jednosměrky, grafy a teoretická informatika.
Čt 5. 11. 2026 • Učebna S5, Malostranské nám. 2/25, Praha 1
Z ulic našeho města chceme udělat jednosměrky, ale potřebujeme být stále schopni se dostat odkudkoli kamkoli. Podíváme se na tento problém z pohledu teoretické informatiky – vytvoříme abstraktní model silniční sítě, popíšeme algoritmus pro orientaci šipek a ukážeme, že navržené řešení je korektní. Během této přednášky si představíme informatiku, která počítače (občas) nepotřebuje.
RNDr. Ondřej Pangrác, Ph.D. — profil
Fotorealistická grafika aneb Proč vypadá počítačové zlato jako zlato?
Čt 19. 11. 2026 • Učebna S5, Malostranské nám. 2/25, Praha 1
V počítačové hře nebo filmu snadno poznáme kov, sklo, plast nebo lidskou kůži, přestože před sebou máme jen svítící pixely. Jak počítač pozná, jak má jednotlivé materiály nakreslit? Vydáme se po stopách světla: odrazíme ho od povrchu, necháme ho projít materiálem a budeme sledovat, co se s ním cestou stane. Ukážeme si, jak vznikají realistické obrazy, proč jejich výpočet může trvat překvapivě dlouho a co mají společného počítačové hry, filmové efekty, fyzika světla a barevný 3D tisk.
RNDr. Tomáš Iser, Ph.D. — profil
Datový Babylon: jak se domluvit s daty
Čt 3. 12. 2026 • Učebna S5, Malostranské nám. 2/25, Praha 1
Každý den vznikají mraky nových dat – zprávy, výsledky měření, informace o počasí, nákupech nebo třeba pohybu lidí. Říká se, že data jsou novým zlatem. Tak proč je prostě neshromažďovat a nezbohatnout? Protože data sama o sobě nestačí. Můžeme mít miliony datových záznamů a přesto být chudší než kostelní myš. V přednášce se podíváme na to, co se s daty děje od jejich vzniku až po jejich využití. Zjistíme, co mají společného „jeden o koze, druhý o voze“, velké jazykové modely a datoví inženýři.
Mgr. Petr Škoda, Ph.D. — profil
