Dear all, We continue our Formal Methods Teaching tutorials series with a lecture on Thursday (!!), March 28!
Prof Wolfram Kahl, McMaster University, Canada will lecture on his experiences in teaching with a tool called CalcCheck: a proof checker for teaching calculational Logics and Discrete Mathematics. CalcCheck offers an automated hands-on approach to learning math that traditional teaching methods lack. It supports the development of critical thinking and problem-solving skills, by encouraging students to actively explore and experiment. Some features of CalcCheck: * Proof Checking: The ability to check the logical validity of each step in a mathematical proof. * Interactive Exercises: Students can engage with interactive exercises that are designed to reinforce mathematical concepts and proof techniques. * Self-Learning: It can be used for self-learners of mathematical logic, discrete mathematics, and other related fields. * Customisability: Teachers can create custom exercises and problem sets tailored to their curriculum, making it a versatile tool for a variety of mathematical topics. Prof. Kahl is the developer and maintainer of CalcCheck. More information about our lecturer can be found here: https://www.cas.mcmaster.ca/~kahl/. The zoom link for Prof. Kahl’s lecture is https://aboakademi.zoom.us/j/64254430116. The event will last about an hour. Warmly welcome!! Best wishes, Luigia PS: for more info, here is the tutorial series webpage: https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
