Logic and Proofs (CSE203) is an introduction to logic, a science that deals with the principles of validity of demonstration. Its goal is to familiarize students with formal methods for representing arguments and reasoning about them. This encompasses propositional calculus, first-order logic, and deduction systems, as well as the related technologies (e.g. automated provers, proof assistants) for building mechanized proofs. No prior knowledge in logic is required.
- Responsable: Blazy Olivier
- Responsable: Lafont Ambroise
- Responsable: Oleon Emile
- Responsable: Werner Benjamin