Mathématiques pour l’Informatique 2
2015–16
http://www.lri.fr/~paulin/MathInfo2
Mathématiques pour l’Informatique 2
Christine Paulin
http://www.lri.fr/~paulin/MathInfo2
Table des matières
Introduction
Le cadre logique
Graphes
Systèmes d’inférence, induction, récursion
Le paysage syntaxique
Équivalences et Ordres
Calcul propositionnel
Ce document a été traduit de L
A
T
E
X par
H
E
V
E
A