v2.11.0 (5648)

Cours scientifiques - CSE203 : Logic and Proofs

Domaine > Informatique.

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.

Format des notes

Numérique sur 20

Littérale/grade américain

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

Le rattrapage est autorisé (Note de rattrapage conservée écrêtée à une note seuil de 10)
    L'UE est acquise si Note finale >= 9
    • Crédits ECTS acquis : 3 ECTS

    La note obtenue rentre dans le calcul de votre GPA.

    Pour les étudiants du diplôme Echanges PEI

    Le rattrapage est autorisé (Note de rattrapage conservée écrêtée à une note seuil de 10)
      L'UE est acquise si Note finale >= 9
      • Crédits ECTS acquis : 3 ECTS
      Veuillez patienter