Semestre 2

Ce cours propose une introduction à la logique mathématique accessible aux étudiants de la première année informatique. La structure et le contenu des chapitres de ce cours sont synchronisés avec le nouveau contenu du programme établi dans le canevas de la formation. Il est organisé au tour de trois (03) chapitres.  Le premier chapitre intitulé Notions de base de la logique mathématique introduit les notions fondamentales de la logique mathématique qui s'avèrent indispensables aux chapitres suivants.  Le deuxième chapitre appelé Logique propositionnelle (d'ordre 0) ou Calcul propositionnel est la première étape dans la construction du calcul des prédicats. Il permet de défnir les règles de déduction qui relient les propositions entre elles, sans en examiner le contenu.  Le troisième chapitre aborde la notion de Logique des prédicats (d'ordre 1). La logique du premier ordre est considérée par nature plus expressive que la logique des propositions, et permet de représenter des connaissances relatifs à des environnements complexes. Elle est construite à partir de la logique propositionnelle et s'inspire du langage naturel.