• Votre sélection est vide.

    Enregistrez les diplômes, parcours ou enseignements de votre choix.

Logique et preuve

  • Ajouter à la sélection
  • Télécharger

  • École / Prépa

    ENSEIRB-MATMECA

Code interne

EIN5-IFON3

Description

Le cours porte sur les techniques de preuve usuelles en informatique, et la logique comme cadre formel de raisonnement.

  1. Techniques de preuve
  2. Logique
  3. Bel ordre
  4. Induction
  5. Machines à états et invariants
  6. Spécification et preuve de programmes
Lire plus

Heures d'enseignement

  • CMCours Magistraux10,66h
  • TDTravaux Dirigés14h
  • TITravaux Individuels10h

Pré-requis obligatoires

Aucun

Lire plus

Bibliographie

Mathematics for computer science, Lehman, Thomson Leighton and Meyer

 

Lire plus

Modalités de contrôle des connaissances

Évaluation initiale / Session principale

Type d'évaluationNature de l'évaluationDurée (en minutes)Nombre d'épreuvesCoefficient de l'évaluationNote éliminatoire de l'évaluationRemarques

Seconde chance / Session de rattrapage

Type d'évaluationNature de l'évaluationDurée (en minutes)Nombre d'épreuvesCoefficient de l'évaluationNote éliminatoire de l'évaluationRemarques