Joining the INP
Joining a school
Sign up
Welcome booklet
School / Prep
ENSEIRB-MATMECA
Hourly volume
20h
Internal code
ERI5-IFON1
Description
On the one hand, this course introduces 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, recurrence
- Logic: formalization of statements, truth tables, validity, satisfiability
- 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 - Tests
| Type of assessment | Type of test | Duration (in minutes) | Number of tests | Test coefficient | Eliminatory mark in the test | Remarks |
|---|---|---|---|---|---|---|
| Semester assessment | Written | 60 | 2 | 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 |