 | Programme d’études | English | |
 | Mathématiques pour l'informatique I | ||
Activité d'apprentissage à la Faculté des Sciences |
| Code | Titulaire(s) | Co-Titulaire(s) | Suppléant(s) et autre(s) |
|---|---|---|---|
| S-INFO-601 |
|
|
| Langue d’enseignement | Langue d’évaluation | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Période d’enseignement |
|---|---|---|---|---|---|---|---|
| Français | Français | 20 | 40 | 0 | 0 | 0 | Q1 |
Contenu de l'AA
Ce cours se consacre aux objets mathématiques de base nécessaires aux informaticiens.
Le cours se compose de quatre parties:
* La logique de base
* La théorie naïve des ensembles
* Quelques techniques de preuves (récurence, absurde,...)
* Quelques notions d'arithmétique (étude des nombres entiers)
Supports principaux non reproductibles
Sans objet
Support complémentaires non reproductibles
Sans objet
Autres références conseillées
Mathématiques Discrètes, Kenneth-H Rosen (livre disponible à la bibliothèque)
Mode d'enseignement
- Face à face
Types d'activités
- Cours magistraux
- Exercices dirigés
Evaluations
Les modalités d'évaluation de l'AA sont précisées dans la fiche de l'UE dont elle dépend