Second Online Training

Software experiments in Mathematical Logic related lectures

Held by Tudor Jebelean in 28 May 2020 on Zoom and Google Meet


I present an overview of my lectures related to Mathematical Logic: Mathematical Logic, Computational Logic, Automated Reasoning, Automated Theorem Proving, Techniques for Scientific Work.

In this context I report on using various software in the classroom or for preparing the teaching material:

Mathematica for preparing examples of natural style proofs in elementary analysis;

Theorema for proof training;

Theorema for demonstrating a prover for sequent calculus and its implementation;

C language program for demonstrating the transformation into NNF (negation normal form) and its implementation.