Joining the INP
Joining a school
Sign up
Welcome booklet
School / Prep
PREPA DES INP
Internal code
JP1LOGIQ
Description
Definition of logical connectors (and, or, implication, equivalence, negation)
Learn to negate a quantified sentence
Demonstration by recurrence, weak and strong recurrence, by the absurd and by contraposition, reasoning by analysis -synthesis
Sets (definition, intersection, union, complementary)
Teaching hours
- CMLectures2,67h
- TDTutorial8h
- TDMMachine Tutorial1h
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 |
|---|---|---|---|---|---|---|
| Integral Continuous Control | Proctored homework | 1 |