Joining the INP
Joining a school
Sign up
Welcome booklet
School / Prep
ENSEIRB-MATMECA
Hourly volume
20h
Internal code
ER5MA122
Description
This course presents logic and classical methods of proof. It also provides an introduction to arithmetic and linear algebra.
Teaching hours
- CIIntegrated Courses20h
Further information
- Proof techniques: implication, contraposed, equivalence, case disjunction, contradiction
- Logic: formalization of statements, truth tables, validity, satisfiability
- Recurrence and introduction to structural induction
- Arithmetic: gcd, Euclid's algorithm, cyclic ring, Chinese lemma
- Linear algebra: matrix product, Gauss pivot, solving linear equations
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 |
|---|---|---|---|---|---|---|
| Final inspection | Written | 90 | 1 |
Second chance / Catch-up session
| Type of assessment | Nature of assessment | Duration (in minutes) | Number of tests | Evaluation coefficient | Eliminatory evaluation mark | Remarks |
|---|---|---|---|---|---|---|
| Final test | Written | 90 | 1 |