Titre de série :	Logique mathématique, 1
Titre :	Logique mathématique : cours et exercices corrigés
Type de document :	texte imprimé
Auteurs :	René Cori, Auteur ; Daniel Lascar, Auteur
Mention d'édition :	Nouv. présentation
Editeur :	Paris : Dunod
Année de publication :	2003
Collection :	Sciences sup
Sous-collection :	Mathématiques
Importance :	XV-385 p.
Format :	25 x 18 cm
ISBN/ISSN/EAN :	978-2-10-005452-7
Prix :	39.9 EUR
Note générale :	Bibliogr. Index
Langues :	Français (fre)
Mots-clés :	Boole, algèbre de  manuels d'enseignement supérieur  calcul propositionnel  calcul des prédicats
Index. décimale :	515 Analyse
Résumé :	Présente 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.

Logique mathématique, 1. Logique mathématique : cours et exercices corrigés [texte imprimé] / René Cori, Auteur ; Daniel Lascar, Auteur  . -  Nouv. présentation . - Paris : Dunod, 2003 . - XV-385 p. ; 25 x 18 cm. - (Sciences sup. Mathématiques) .
ISBN : 978-2-10-005452-7 : 39.9 EUR
Bibliogr. Index

Langues : Français (fre)

Mots-clés :	Boole, algèbre de  manuels d'enseignement supérieur  calcul propositionnel  calcul des prédicats
Index. décimale :	515 Analyse
Résumé :	Présente 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.