Joining the INP
Joining a school
Sign up
Welcome booklet
School / Prep
ENSEIRB-MATMECA
Internal code
EI5IF107
Description
The course covers the usual proof techniques in computer science, and logic as a formal framework for reasoning.
- Proofing techniques
- Logic
- Bel ordre
- Induction
- Program specification and proof
Teaching hours
- CMLectures9h
- TDTutorial14h
- TIIndividual work10h
Mandatory prerequisites
Bibliography
Mathematics for computer science, Lehman, Thomson Leighton and Meyer
Assessment of knowledge
Initial assessment / Main session
| Type of assessment | Nature of assessment | Duration (in minutes) | Number of tests | Evaluation coefficient | Eliminatory evaluation mark | Remarks |
|---|---|---|---|---|---|---|
| Integral Continuous Control | Continuous control | 1 |