1. Logique mathématique / René Cori (2003) / 978-2-10-005452-7

Public ISBD 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) Tags : algèbres de boole calcul des prédicats calcul propositionnel théorème de complétude. Index. décimale : 510 Principes fondamentaux des mathématiques 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 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) Tags : algèbres de boole calcul des prédicats calcul propositionnel théorème de complétude. Index. décimale : 510 Principes fondamentaux des mathématiques 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

Exemplaires(0)

Disponibilité
aucun exemplaire

Logique mathématique / René Cori (2003) / 978-2-10-005453-4

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

Exemplaires(0)

Disponibilité
aucun exemplaire

---

1 (1 - 2 / 2) Par page : 25 50 100 200