Mathématiques pour l’Informatique
2013–14
http://www.lri.fr/~paulin/MathInfo
Mathématiques pour l’Informatique
Christine Paulin
http://www.lri.fr/~paulin/MathInfo
Table des matières
Introduction
Quelques éléments de logique
Théorie naive des ensembles
Systèmes d’inférence, induction, récursion
Le paysage syntaxique
Équivalence et Ordres
Algèbre de Boole
Combinatoire
Ce document a été traduit de L
A
T
E
X par
H
E
V
E
A