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 či verifikace programů. Ale může to být i zábava? Rozhodně může. Naši výzkumníci ze výzkumné skupiny VeriFIT si pro vás připravili:

• logické hádanky,
• počítačovou hru zaměřenou na základy algoritmizace, 
• hru v internetovém prohlížeči na procvičení regulárních výrazů. 

A pro ty z vás, kteří umí programovat, je připravena hra na hledání chyb v kódu.

Úspěšní řešitelé/ky  se mohou těšit na odměnu.