COURS // INF1131 Mathématiques pour informaticien
Mes cours favoris
Ce système permet de sélectionner vos cours favoris en prévision de votre inscription qui se fait sur le portail étudiant.
| Trimestre | Cours | Groupe |
|---|
Description du cours
- Cycle : 1
- Type de cours : Magistral
- Nombre de crédits : 3
- Discipline : Informatique
Objectifs
Connaître les notions de base mathématiques qui sous-tendent l'informatique.
Sommaire du contenu
Calcul propositionnel, calcul des prédicats et théorie naïve des ensembles. Nombres entiers et division. Définitions et preuves par induction. Stratégies de preuve. Relations : définitions et représentations. Propriétés des relations et principaux types de relations. Fonctions : définitions et représentations. Opérations sur les fonctions. Récursion. Graphes : définitions et représentations. Parcours d'un graphe. Introduction à l'analyse d'algorithmes : notion générale d'algorithme, arrêt et exactitude. Complexité spatiale et temporelle. Algorithmes récursifs et équations de récurrence.
Modalité d'enseignement
Ce cours comporte une séance obligatoire de laboratoire (2 heures).
