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.