Connaître diverses structures et méthodes mathématiques utilisées en mathématiques, en informatique et en recherche opérationnelle.
Éléments de la logique: propositions, quantificateurs, prédicats, déduction. Éléments de la théorie des ensembles: relations, opérations et fonctions. Éléments de la combinatoire: nombre, induction, comptage, énumération. Éléments de la théorie des graphes: arbres, treillis, traversées. Structures algébriques de base: monoïdes, algèbre de Boole, groupes. Applications à l'informatique: numéros, langages, automates, circuits logiques, codes.
Formule pédagogique : Cours Magistral
| 0711 | Programme court de premier cycle en informatique pour étudiants en séjour d'études |
| 4202 | Certificat en informatique |
| 6596 | Baccalauréat en développement de jeux vidéo |
| 7654 | Baccalauréat en enseignement secondaire - profil mathématique |
| 7833 | Baccalauréat en informatique |