 | Study programme 2018-2019 | Français | |
 | Mathematics for Computer Science I | ||
Activité d'apprentissage à la Faculty of Science |
| 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 |
Content of Learning Activity
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
Type of Teaching Activity/Activities
- Cours magistraux
- Exercices dirigés
Evaluations
The assessment methods of the Learning Activity (AA) are specified in the course description of the corresponding Educational Component (UE)
(*) HT : Hours of theory - HTPE : Hours of in-class exercices - HTPS : hours of practical work - HD : HMiscellaneous time - HR : Hours of remedial classes. - Per. (Period), Y=Year, Q1=1st term et Q2=2nd term