v2.6.0 (3588)

Cours scientifique - CSE203 : Logic and Proofs

Domaine > Informatique.

Descriptif

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

Format des notes

Numérique sur 20

Littérale/grade américain

Pour les étudiants du diplôme Echanges PEI

Le rattrapage est autorisé (Max entre les deux notes écrêté à une note seuil)
    L'UE est acquise si note finale transposée >= D
    • Crédits ECTS acquis : 3 ECTS

    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 transposée >= D
      • Crédits ECTS acquis : 3 ECTS

      La note obtenue rentre dans le calcul de votre GPA.

      Veuillez patienter