CSE203 - Logic and Proofs (2022-2023)

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.



Logic and Proofs (CSE 203) 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