Accueil
Connexion
DENIF –
Documents d’Enseignement Numériques en Informatique Fondamentale
Thèmes
Cursus
Enseignants
Logique
Thème :
Logique & Preuve
–
Cursus :
ENS-Cachan - L3
2005 - 2006
Partie 2 - Cours
Ralf Treinen
1. Logique du premier ordre - Le théorème de Herbrand
1. Logique du premier ordre - La résolution dans la logique du premier ordre
1. Logique du premier ordre - Solutions des exercices
2. Programmation logique - La programmation logique pure et Prolog
2. Programmation logique - Solutions des exercices
2. Programmation logique - La négation en programmation logique
3. Introduction à la théorie des modèles