Základem každého odvětví informatiky je matematika. Informatikům pomáhá řešit velmi složité problémy, jako jsou např. logické důkazy nebo verifikace programů. Ale může to být i zábava? Rozhodně. Naši odborníci z výzkumné skupiny VeriFIT si pro Vás připravili:
•        přednášku o významu matematiky a formálních metod v informatice, a to obzvláště v době rychlého rozvoje LLM nástojů (jako je ChatGPT aj.),
•        matematické a logické hádanky a hry,
•        počítačovou hru zábavně vysvětlující základy algoritmizace,
•        procvičování logického uvažování pomocí vizuálního programování,
•        pro zkušenější potom hru na procvičení regulárních výrazů nebo jednoduché prostředí pro hledání chyb v kódu a jeho analýzu.