Détail de l'auteur
Auteur René Cori |
Documents disponibles écrits par cet auteur (2)
Affiner la recherche Interroger des sources externesLogique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats / René Cori ; Daniel Lascar
Titre : Logique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats : Volume 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 : Dunod Année de publication : 2003 Collection : Aide-Mémoire Importance : 408 p Format : 24 cm ISBN/ISSN/EAN : 978210005452 Langues : Arabe (ara) Mots-clés : Scientifiques et techniques et sciences humaines Mathématiques Sciences & Techniques Collège Sciences Logique 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 En ligne : //www.librairiedialogues.fr//ws/book/9782100054527/unimarc_utf-8 Logique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats : Volume 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices corrigés [texte imprimé] / René Cori ; Daniel Lascar . - Dunod, 2003 . - 408 p ; 24 cm. - (Aide-Mémoire) .
ISSN : 978210005452
Langues : Arabe (ara)
Mots-clés : Scientifiques et techniques et sciences humaines Mathématiques Sciences & Techniques Collège Sciences Logique 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 En ligne : //www.librairiedialogues.fr//ws/book/9782100054527/unimarc_utf-8 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
Titre : Logique mathématique - Tome 2 - Fonctions récursives, théorème de Godel, théorie des ensembles : Volume 2, Fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles : cours et exercices corrigés Type de document : texte imprimé Auteurs : René Cori ; Daniel Lascar Editeur : Dunod Année de publication : 2003 Collection : Aide-Mémoire Importance : 368 p Format : 24 cm ISBN/ISSN/EAN : 978210005453 Langues : Arabe (ara) Mots-clés : Scientifiques et techniques et sciences humaines Mathématiques Sciences & Techniques Collège Logique 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 Godel et à la théorie des ensembles ainsi qu'à la théorie des modèles En ligne : //www.librairiedialogues.fr//ws/book/9782100054534/unimarc_utf-8 Logique mathématique - Tome 2 - Fonctions récursives, théorème de Godel, théorie des ensembles : Volume 2, Fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles : cours et exercices corrigés [texte imprimé] / René Cori ; Daniel Lascar . - Dunod, 2003 . - 368 p ; 24 cm. - (Aide-Mémoire) .
ISSN : 978210005453
Langues : Arabe (ara)
Mots-clés : Scientifiques et techniques et sciences humaines Mathématiques Sciences & Techniques Collège Logique 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 Godel et à la théorie des ensembles ainsi qu'à la théorie des modèles En ligne : //www.librairiedialogues.fr//ws/book/9782100054534/unimarc_utf-8 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
