Logique
Université Bretagne Sud - L3 Informatique
Cours
3. La logique des propositions
3.1. Première approche
3.2. Concepts et terminologie
3.3. Tableaux sémantiques
3.4. Systèmes formels : généralités
3.5. Systèmes formels pour la LP0
5. La logique du premier ordre
5.1. Syllogismes et limites de la LP0
5.2. Syntaxe de la LP1
5.3. Sémantique de la LP1 - Première approche
5.4. Sémantique de la LP1 - Structures, Modèles, Théories
5.5. Tableaux sémantiques en LP1
5.6. Forme normale prénexe
5.7. Forme normale de Skolem
5.8. Automatisation de la LP1
Travaux Dirigés
TD 1
TD 2 Corrigés
TD 3 Corrigés
TD 4 Corrigés (Tableaux sémantiques en Logique des Propositions)
TD 5 Corrigés (Systèmes formels en en Logique des Propositions)
TD 6 Corrigés (Clauses de Horn, Méthode de Davis et Putnam, Arbres sémantiques en Logique des Propositions)
TD 7 Corrigés (Méthode de résolution en Logique des Propositions, Stratégies)
TD 8 Corrigés (Termes, substitutions, unification)
TD 9 Corrigés (Modèles)
TD 10 Corrigés (Tableaux sémantiques en Logique du Premier Ordre)
Ressources Prolog
Prise en main de SWI-Prolog, Matthieu Amiguet
An introduction to Prolog programming, Ulle Endriss
Prolog, Wikipedia
Projet
Agent Logique pour la Chasse au Wumpus
Contact : salim.lardjane[at]univ.ubs.fr