(cours de 1ère année Polytech IRM)
- Chapitre 1 : introduction et logique propositionnelle
- Introduction à la logique, sémantique(s)
- Définition de la logique propositionnelle
- Sémantique de vérité de la logique des prédicats, SAT
- Systèmes de preuves formels (calcul des sécants, déduction naturelle)
- Chapitre 2 : logique des prédicats
- Définition
- Sémantique de vérité : modèles et vérité
- Système de preuve formel en calcul des séquences, théories axiomatiques
- Chapitre 3 : lambda-calcul, preuves et types
- Définition du lambda-calcul pur
- Expressivité du calcul du lambda-calcul pur
- Typage et preuves en déduction naturelle
- Isomorphisme de Curry-Howard
Complément au cours :
- [Vidéo] Cours sur Machine de Turing, calculabilité et complexité
- [Article] Intelligence artificielle hybride : l'art de concilier la logique et l'apprentissage
| TDP 1 - Introduction, logique propositionnelle |
| TDP 2 - Logique des prédicats |
| TDP 3 - Lambda-calcul, preuves et types |