Intégrer La Prépa des INP
Intégrer une école
S'inscrire
Livret d'accueil
Composante
ENSEIRB-MATMECA
Code interne
EI5IF107
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
- Spécification et preuve de programmes
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 Continu Intégral | Contrôle Continu | 1 |