Code | Titulaire(s) | Co-Titulaire(s) | Suppéant(s) et autre(s) |
---|---|---|---|
S-INFO-601 |
|
Langue d’enseignement | Langue d’évaluation | HT(*) | HE(*) | HTP(*) | HR(*) | HD(*) | Période d’enseignement |
---|---|---|---|---|---|---|---|
Français | Français | 20.00 | 40.00 | 1er quadrimestre |
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
- Exercices dirigés
Types d'évaluation du Q1
- Examen écrit
- Exercice(s) coté(s)
- Voir commentaire
Commentaire sur l'évaluation Q1
Pondération: Cotés 10% Examen écrit 90%
Types d'évaluation Q2
- Néant
Commentaire sur l'évaluation Q2
Sans objet
Types d'évaluation du Q3
- Examen écrit
- Voir commentaire
Commentaire sur l'évaluation Q3
La pondération utilisée est 100% de la note de l'examen du Q3 (les notes des évaluations précédentes sont oubliées)
Types d'évaluation rattrapage Q1(B1BA)
- Examen écrit
- Voir commentaire
Commentaire sur l'évaluation Q1ratt. B1BA
La pondération utilisée est 100% de la note de l'examen de rattrapage (les notes de l'évaluation du Q1 sont oubliées)