Calculation Model

For this module, we have set two objectives:

• Introduce students to mathematical logic, particularly the method of proof.
• Provide students with the necessary foundations to understand the operation of most automated proof tools developed, especially in the academic world, and potentially code such a tool themselves.