Ce cours de Calcul des Prédicats est une partie de LLC S6.
Vous trouverez ici, un fichier contenant des notes de cours. Notes qui doivent vous permettre d'avoir une vision complète de ce qu'on attend que vous ayez vu et compris du calcul des prédicats pour vous approprier au mieux l'ensemble de l'UE.
Si vous désirez aller plus loin, de nombreux manuels sont disponibles, citons par exemple : ''Logique mathématique, cours et exercices'' de R. Cori et D. Lascar, ed Masson, Tome 1, chapitre 3. Ou encore"Introduction à la logique", de R. David, K. Nour et C. Raffali, ed Dunod.
Vous trouverez aussi, sous forme de diaporamas, les transparents des séances successives.
Bon travail,
Vous trouverez ici, un fichier contenant des notes de cours. Notes qui doivent vous permettre d'avoir une vision complète de ce qu'on attend que vous ayez vu et compris du calcul des prédicats pour vous approprier au mieux l'ensemble de l'UE.
Si vous désirez aller plus loin, de nombreux manuels sont disponibles, citons par exemple : ''Logique mathématique, cours et exercices'' de R. Cori et D. Lascar, ed Masson, Tome 1, chapitre 3. Ou encore"Introduction à la logique", de R. David, K. Nour et C. Raffali, ed Dunod.
Vous trouverez aussi, sous forme de diaporamas, les transparents des séances successives.
Bon travail,
- Enseignant: Marie ANGLADE
- Enseignant: Myriam QUATRINI