Calcul propositionnel, algèbre de Boole, calcul des prédicats, 1. Logique mathématique / René Cori

Public ISBD Titre de série : Calcul propositionnel, algèbre de Boole, calcul des prédicats, 1 Titre : Logique mathématique : cours et exercices corrigés Type de document : texte imprimé Auteurs : René Cori, Auteur ; Daniel Lascar (1942-..), Auteur ; Jean-Louis Krivine (1939-..), Préfacier, etc. Editeur : Paris : Dunod Année de publication : DL 2005 Collection : Sciences sup ISBN/ISSN/EAN : 978-2-10-005452-7 Catégories : Mathématiques Mathématiques:Principes généraux des mathématiques Mots-clés : Calcul des prédicats  Boole, Algèbre de  Calcul des propositions Index. décimale : 511 Principes généraux 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. Calcul propositionnel, algèbre de Boole, calcul des prédicats, 1. Logique mathématique : cours et exercices corrigés [texte imprimé] / René Cori, Auteur ; Daniel Lascar (1942-..), Auteur ; Jean-Louis Krivine (1939-..), Préfacier, etc. . - Paris : Dunod, DL 2005. - (Sciences sup) . ISBN : 978-2-10-005452-7 Catégories : Mathématiques Mathématiques:Principes généraux des mathématiques Mots-clés : Calcul des prédicats  Boole, Algèbre de  Calcul des propositions Index. décimale : 511 Principes généraux 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 (3)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9782100054527MIT001	511/070	Livre	Maths&Informatique	Fonds mathématiques	Disponible
9782100054527MIT002	511/070	Livre	Maths&Informatique	Fonds mathématiques	Disponible
9782100054527MIT003	511/070	Livre	Maths&Informatique	Fonds mathématiques	Disponible

---

1 (1 - 1 / 1)