Semestre 03

Le module vise à développer chez les étudiants une compréhension approfondie des principes fondamentaux de la logique mathématique. Les objectifs incluent la capacité de formaliser des raisonnements, de manipuler des preuves formelles, et d'appliquer ces concepts à d'autres domaines tels que l'informatique et la philosophie. Les étudiants devraient également développer leur pensée critique en évaluant de manière rigoureuse les arguments. Le cours peut introduire des structures logiques avancées et encourager l'utilisation d'outils informatiques pour la vérification formelle. Un aspect essentiel est la communication claire et formelle des raisonnements en utilisant le langage de la logique mathématique.

Le module de  théorie des graphes est adressé aux étudiants de deuxième année Licence. Ce module aborde les algorithmes classiques pour résoudre des problèmes de parcours, de connectivité et de flot dans les graphes.

Les notions de chemins les plus courts, de cycles, de coloration, et de couverture de graphes sont également discutées. Les applications pratiques de la théorie des graphes sont nombreuses, allant de la planification de réseaux informatiques à la modélisation de réseaux sociaux. Ce module fournit une base solide pour comprendre et résoudre divers problèmes mathématiques et informatiques en utilisant les graphes comme outil essentiel.