Intégrer La Prépa des INP
Intégrer une école
S'inscrire
Livret d'accueil
É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.
- Techniques de preuve
- Logique
- Bel ordre
- Induction
- Machines à états et invariants
- Spécification et preuve de programmes
Heures d'enseignement
- CMCours Magistraux10,66h
- TDTravaux Dirigés14h
- TITravaux Individuels10h
Pré-requis obligatoires
Aucun
Bibliographie
Mathematics for computer science, Lehman, Thomson Leighton and Meyer
Modalités de contrôle des connaissances
Évaluation initiale / Session principale - Épreuves
| Type d'évaluation | Nature de l'épreuve | Durée (en minutes) | Nombre d'épreuves | Coefficient de l'épreuve | Note éliminatoire de l'épreuve | Remarques |
|---|---|---|---|---|---|---|
| Contrôle Terminal | Ecrit | 120 | 1 | 1 |
Seconde chance / Session de rattrapage - Épreuves
| Type d'évaluation | Nature de l'épreuve | Durée (en minutes) | Nombre d'épreuves | Coefficient de l'épreuve | Note éliminatoire de l'épreuve | Remarques |
|---|---|---|---|---|---|---|
| Epreuve terminale | Ecrit | 120 | 1 | 1 |