Accueil
Connexion
DENIF –
Documents d’Enseignement Numériques en Informatique Fondamentale
Thèmes
Cursus
Enseignants
Mathématiques pour l'informatique
Thème :
Mathématiques
–
Cursus :
Paris VII - L3
2004 - 2005
Cours
Delia Kesner
Introduction
Generalités
Induction
Calcul propositionnel
Eléments de combinatoire
Eléments de probabilités
Résolution en calcul propositionnel
Introduction au calcul des prédicats
Unification
Résolution en calcul des prédicats