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.
1 heures en présentiel (8 blocs ou créneaux)
40 heures de travail personnel estimé pour l’étudiant.
Diplôme(s) concerné(s)
Parcours de rattachement
Format des notes
Littérale/grade américain Numérique sur 20Pour les étudiants du diplôme Programmes d'échange internationaux
Le rattrapage est autorisé (Note de rattrapage conservée)- le rattrapage est obligatoire si :
- Note initiale <
- le rattrapage peut être demandé par l'étudiant si :
- Note initiale <
- Crédits ECTS acquis : 3 ECTS
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme Bachelor of Science de l'Ecole polytechnique
Le rattrapage est autorisé (Note de rattrapage conservée)- le rattrapage est obligatoire si :
- Note initiale <
- le rattrapage peut être demandé par l'étudiant si :
- Note initiale <
- Crédits ECTS acquis : 3 ECTS
La note obtenue rentre dans le calcul de votre GPA.