Animation and exchanges in the Petri Nets community

[Luigia Petre <address@concealed>]

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