Cours 1 : Introduction
Introduction
Logique (L3 ENS Paris-Saclay)
- Teachers:
- Teaching assistants:
- Course pages:
Cours 3 : Déduction naturelle
Déduction naturelle : Pas utilisée en pratique
Cours 2 : Logique intuitionniste et sémantique de Kripke
Calcul des séquents
TD 1 : Introduction
Énoncé
Logic Project : SAT solver
Naive and DPLL algorithms
TD 5 : Sémantique de Kripke
Énoncé
Cours 5 : Logique du premier ordre
Theories
DM : QBF et la logique intuitionniste
DM : QBF et la logique intuitionniste
Cours 6 : Programmation logique
Programmation logique
Cours 7 : Théories axiomatiques
Introduction
Cours 8 : Théories indécidables
Théories indécidables
TD 8 : Théories
EX 1
TD 10 : Cohérence, récursivité, complétude, argument diagonal
Théories & Gödel
TD 11 : Exemples, Herbrand
EX 1. Théories cohérentes