Des services pour PMB
Détail de l'auteur
Auteur René Cori |
Documents disponibles écrits par cet auteur (3)
Affiner la recherche
Titre : Logique mathématique : 1.Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices corrigés Type de document : texte imprimé Auteurs : René Cori ; Daniel Lascar Editeur : Paris : Dunod Année de publication : 2003 Importance : 408 p Présentation : ill.,couv.ill. Format : 24cm. ISBN/ISSN/EAN : 978-2-10-005452-7 Note générale : Biblio.p.361-363.Index. Langues : Français (fre) Mots-clés : C C A A T T Résumé : Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude Permalink : ./index.php?lvl=notice_display&id=19418 Logique mathématique : 1.Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices corrigés [texte imprimé] / René Cori ; Daniel Lascar . - Paris : Dunod, 2003 . - 408 p : ill.,couv.ill. ; 24cm.
ISBN : 978-2-10-005452-7
Biblio.p.361-363.Index.
Langues : Français (fre)
Mots-clés : C C A A T T Résumé : Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude Permalink : ./index.php?lvl=notice_display&id=19418 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
Titre : Logique mathématique : 1. Calcul Propositionnel, algèbre de Boole, Calcul des prédicats Type de document : texte imprimé Auteurs : René Cori, Auteur ; Daniel Lascar, Auteur ; Jean-Louis Krivine, Préfacier, etc. Editeur : Paris : Dunod Année de publication : DL 2003 Collection : Sciences sup Importance : 1 vol. (XV-385 p.) Présentation : couv. ill. en coul Format : 24 cm ISBN/ISSN/EAN : 978-2-10-082514-1 Langues : Français (fre) Mots-clés : C C B B Résumé : Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Permalink : ./index.php?lvl=notice_display&id=21454 Logique mathématique : 1. Calcul Propositionnel, algèbre de Boole, Calcul des prédicats [texte imprimé] / René Cori, Auteur ; Daniel Lascar, Auteur ; Jean-Louis Krivine, Préfacier, etc. . - Paris : Dunod, DL 2003 . - 1 vol. (XV-385 p.) : couv. ill. en coul ; 24 cm. - (Sciences sup) .
ISBN : 978-2-10-082514-1
Langues : Français (fre)
Mots-clés : C C B B Résumé : Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Permalink : ./index.php?lvl=notice_display&id=21454 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
Titre : Logique mathématique : 2. Fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèlecours et exercices corrigés Type de document : texte imprimé Auteurs : René Cori ; Daniel Lascar ; Jean-Louis. préf.Krivine Editeur : Paris : Dunod Année de publication : 2003 Collection : Sciences sup, ISSN 1636-2217 Importance : (XV-347 p.) Présentation : couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-005453-4 Note générale : Biblio. p. [323]-325. Index Langues : Français (fre) Mots-clés : L L C C A A T T Permalink : ./index.php?lvl=notice_display&id=17187 Logique mathématique : 2. Fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèlecours et exercices corrigés [texte imprimé] / René Cori ; Daniel Lascar ; Jean-Louis. préf.Krivine . - Paris : Dunod, 2003 . - (XV-347 p.) : couv. ill. en coul. ; 24 cm. - (Sciences sup, ISSN 1636-2217) .
ISBN : 978-2-10-005453-4
Biblio. p. [323]-325. Index
Langues : Français (fre)
Mots-clés : L L C C A A T T Permalink : ./index.php?lvl=notice_display&id=17187 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
