Logique mathématique. 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés

Enregistré dans:
Détails bibliographiques
Auteur principal: Cori, René.
Autres auteurs: Lascar, Daniel, 1942-, Krivine, Jean-Louis, 1939-
Support: Livre
Langue: Français
Publié: Paris : Dunod, DL 2003.
Collection: Sciences sup
Sujets:
Autres localisations: Voir dans le Sudoc
Résumé: Manuel de logique mathématique présentant successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Chaque chapitre est accompagné de nombreux exercices corrigés. ↑Electre 2022
Table des matières:
  • Chapitre 1. Calcul propositionnel
  • Chapitre 2. Algèbres de Boole
  • Chapitre 3. Calcul des prédicats
  • Chapitre 4. Théorèmes de complétude -
  • Solutions des exercices du tome 1.