Descriptif

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.