Biblio Math&Info
Détail de l'auteur
Auteur René Cori |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesCalcul propositionnel, algèbre de Boole, calcul des prédicats, 1. Logique mathématique / René Cori
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ématiquesMots-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ématiquesMots-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
Titre : Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles : Volume 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés Type de document : texte imprimé Auteurs : René Cori, Auteur ; Daniel Lascar (1942-..) Editeur : Dunod Année de publication : 2003 Collection : Sciences sup ISBN/ISSN/EAN : 978-2-10-005453-4 Catégories : Mathématiques
Mathématiques:Principes généraux des mathématiquesMots-clés : Collège Scientifiques et techniques et sciences humaines Logique Sciences & Techniques Mathématiques Index. décimale : 511 Principes généraux des mathématiques Résumé : Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles : Volume 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés [texte imprimé] / René Cori, Auteur ; Daniel Lascar (1942-..) . - [S.l.] : Dunod, 2003. - (Sciences sup) .
ISBN : 978-2-10-005453-4
Catégories : Mathématiques
Mathématiques:Principes généraux des mathématiquesMots-clés : Collège Scientifiques et techniques et sciences humaines Logique Sciences & Techniques Mathématiques Index. décimale : 511 Principes généraux des mathématiques Résumé : Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité 9782100054534MIT001 511/068 Livre Maths&Informatique Fonds mathématiques Disponible 9782100054534MIT002 511/068 Livre Maths&Informatique Fonds mathématiques Disponible 9782100054534MIT003 511/068 Livre Maths&Informatique Fonds mathématiques Disponible
