Slide: 1
Logique (formelle)
Plan :
-
Introduction
- Calcul des propositions
- Calcul des prédicats
Sources :
-
Informatique théorique & intelligence artificielle, Alliot &
Schiex
- Symbolic Logic & Mechanical Theorem Proving, Chang & Lee
- Logic in Computer Science, Gallier
- Logique, Gochet & Gribomont