Code | Lecturer(s) | Associate Lecturer(s) | Subsitute Lecturer(s) et other(s) |
---|---|---|---|
S-INFO-601 |
|
|
Language of instruction | Language of assessment | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Term |
---|---|---|---|---|---|---|---|
Français | Français | 20 | 40 | 0 | 0 | 0 | Q1 |
Contents
The course has four parts:
* Basics of logic
* Naive set theory
* Basics proof techniques (including induction and the proof by contradiction)
* Basics of arithmetic (study of the integers)
Required Learning Resources/Tools
Not applicable
Recommended Learning Resources/Tools
Not applicable
Other Recommended Reading
Discrete Mathematics, Kenneth-H Rosen
Mode of delivery
- Face to face
Term 1 Assessment - type
- Written examination
- Quoted exercices
- see comment
Term 1 Assessment - comments
Quoted exercices (sic) 10% Written examination 90%
Term 2 Assessment - type
- N/A
Term 2 Assessment - comments
Not applicable
Term 3 Assessment - type
- Written examination
- see comment
Term 3 Assessment - comments
100% of the written examination of Q3
The marks (grades) of the previous evaluations are deleted.
Resit Assessment - Term 1 (B1BA1) - type
- Written examination
- see comment
Resit Assessment - Term 1 (B1BA1) - Comments
100% of the written examination of the resit evaluation.
The marks (grades) of the previous evaluations are deleted.
Type of Teaching Activity/Activities
- Cours (cours magistraux; conférences)
- Exercices dirigés / utilisation de logiciels / démonstrations