Séance de cours
Cette séance de cours introduit la logique des prédicats, un langage qui va au-delà de la logique propositionnelle en permettant la représentation des objets, de leurs propriétés et de leurs relations. Il couvre l'histoire de la logique des prédicats, ses applications en mathématiques, en informatique et en vérification logicielle, ainsi que les concepts de quantificateurs, de prédicats et de fonctions propositionnelles. La séance de cours explique également les quantificateurs universels et existentiels, fournissant des exemples pour illustrer leur utilisation.