School / Prep
ENSEIRB-MATMECA
Internal code
EIN5-IFON3
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
- State machines and invariants
- Program specification and proof
Teaching hours
- CMLectures10,66h
- TDTutorial14h
- TIIndividual work10h
Mandatory prerequisites
Bibliography
Mathematics for computer science, Lehman, Thomson Leighton and Meyer
Assessment of knowledge
Initial assessment / Main session - Tests
Type of assessment | Type of test | Duration (in minutes) | Number of tests | Test coefficient | Eliminatory mark in the test | Remarks |
---|---|---|---|---|---|---|
Final inspection | Written | 120 | 1 | 1 |
Second chance / Catch-up session - Tests
Type of assessment | Type of test | Duration (in minutes) | Number of tests | Test coefficient | Eliminatory mark in the test | Remarks |
---|---|---|---|---|---|---|
Final test | Written | 120 | 1 | 1 |