Mathematics forms the basis of every branch of computer science. It helps computer scientists solve highly complex problems, such as logical proofs or programme verification. But can it also be fun? Absolutely. Our experts from the VeriFIT research group have prepared the following for you:
•        a lecture on the importance of mathematics and formal methods in computer science, particularly at a time of rapid development of LLM tools (such as ChatGPT, etc.),
•        mathematical and logical puzzles and games,
•        a computer game that explains the basics of algorithm design in an entertaining way,
•        exercises in logical reasoning using visual programming,
•        and, for the more experienced, a game to practise regular expressions or a simple environment for finding and analysing errors in code.