Services
Commerciaux
14, rue de Provigny
94236 CACHAN
CEDEX
FRANCE
Tél.: +33 (0)1 47 40
67 00
Fax: +33 (0)1 47 40
67 02
Services
Commerciaux
14, rue de Provigny
94236 CACHAN
CEDEX
FRANCE
Tél.: +33 (0)1 47 40
67 00
Fax: +33 (0)1 47 40
67 02
Notice
Cet ouvrage présente les principaux domaines de la logique qui contribuent aux fondements de l'informatique. Il est issu de plusieurs enseignements en mathématiques et informatique. Le premier tome est consacré à la logique du 1er ordre, la calculabilité et les fonctions récursives, le lambda-calcul et les systèmes de type pour les langages fonctionnels. Des exercices placés en fin de chapitre facilitent l'évaluation des acquis.
1. Logique propositionnelle 2. Systèmes de déduction 3. Logique du premier ordre 4. Déduction et complétude de la logique du premier ordre 5. Résolution et programmation logique 6. Les modèles de calcul 7. Fonctions récursives 8. Indécidabilité et incomplétude 9. Lambda-calcul 10. Systèmes de types 11. Logiciels d'enseignement Bibliographie - Glossaire - Index