Documents disponibles écrits par cet auteur

Logique mathématique, 1. Logique mathématique / René Cori

Public ISBD 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.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
22475	04-01-212	Ouvrage	Bibliothèque Universitaire Centrale	Mathématique	Exclu du prêt
22475/2	04-01-212	Ouvrage	Bibliothèque Universitaire Centrale	Mathématique	Disponible