v2.11.0 (5518)

Cours scientifiques - CSC_2F003_EP : Logic and Proofs

Domaine > Informatique.


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.

Format des notes

Numérique sur 20

Littérale/grade américain

Pour les étudiants du diplôme Programmes d'échange internationaux

Pour les étudiants du diplôme Bachelor of Science de l'Ecole polytechnique

Veuillez patienter