Monographie

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

Type de contenu

• Texte

Type de médiation

• sans médiation

Titre(s)

• Logique mathématique. 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés / Cori, René ; Lascar, Daniel

Auteur(s)

• Cori, René

Autre(s) auteur(s)

• Lascar, Daniel (1942-....)

Autre(s) responsabilité(s)

• Krivine, Jean-Louis (1939-....) (Préfacier)

Editeur, producteur

• Paris : Dunod, 2003

Description matérielle

• XV-385 p. : 24 cm

Collection

• Sciences sup Cours et exercices corrigés

ISBN

• 2-10-005452-X
• 2-10-005453-8

Appartient à la collection

• Sciences sup 1636-2217 2003

Classification décimale Dewey

• 511.307 6 23

Note sur les bibliographies et les index

• Bibliogr. p. 361-363. Index

Note sur le contenu

• 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats ; 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles

Résumé ou extrait

• Cet ouvrage traite de manière détaillée des domaines fondamentaux de la logique mathématique. Dans ce volume sont exposés 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.

Sujet(s)

• calcul : mathématiques
• logique mathématique
• mathématiques : discipline

Sujet - Nom commun

• Logique mathématique

Forme, genre ou caractéristiques physiques

• Problèmes et exercices

Lien copié.

Pour une utilisation optimale, nous vous recommandons d'utiliser les navigateurs tel que Firefox, ou Edge

Build V.5.2.2 - 2ecb916194 (29/04/2026 07:35:08)