COURS // INF1130 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
Description
Connaître les notions de base de la logique et les notions mathématiques qui sous-tendent la programmation, en particulier celles qui sont utilisées dans la vérification de programmes et l'analyse de la complexité des algorithmes. - Rappel des notions suivantes: théorie naïve des ensembles, opérations sur les ensembles, cardinalité d'un ensemble, ensembles dénombrables, relations (fonctions, relations d'ordre, relations d'équivalence et partitions) - Algèbre relationnelle et applications aux bases de données - Introduction à la logique propositionnelle et au calcul des prédicats - Preuves par induction - Sémantique d'un petit langage de programmation - Écriture de boucles simples à partir d'invariants - Introduction à la vérification de programmes - Preuves de boucles à l'aide d'invariants - Notions élémentaires sur la complexité temporelle et spatiale des algorithmes - Notation asymptotique - Algorithmes de fouille et de tri - Analyse de la complexité d'algorithmes récursifs - Équations de récurrence - Graphes orientés, graphes non orientés, arbres, arborescences - Chemins dans un graphe, hauteur d'une arborescence et exemples d'applications à l'analyse d'algorithmes - Parcours de graphes
