Détail d'une collection
|
|
Documents disponibles dans la collection (2)
Affiner la rechercheLogique mathématique - Calcul propositionnel, algèbres de Boole, calcul des prédicats / René Cori ; Jean-Louis Krivine ; Lionel Auvergne
Titre : Logique mathématique - 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, Auteur ; Jean-Louis Krivine, Préfacier, etc. ; Lionel Auvergne, Illustrateur Editeur : Paris : Dunod Année de publication : 2011 Collection : Sciences.master Importance : 385p. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-005452-7 Prix : 42,00 eur Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Scientifiques et techniques et sciences humaines Logique Index. décimale : 510 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
Indexation Locale : 510 - Mathématiques En ligne : http://www.librairiedialogues.fr//ws/book/9782100054527/unimarc_utf-8 Logique mathématique - 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, Auteur ; Jean-Louis Krivine, Préfacier, etc. ; Lionel Auvergne, Illustrateur . - Paris : Dunod, 2011 . - 385p. ; 24 cm. - (Sciences.master) .
ISBN : 978-2-10-005452-7 : 42,00 eur
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Scientifiques et techniques et sciences humaines Logique Index. décimale : 510 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
Indexation Locale : 510 - Mathématiques En ligne : http://www.librairiedialogues.fr//ws/book/9782100054527/unimarc_utf-8 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 0204001 510-COR Livre Centre Culturel Katherine Dunham Espace Adulte Exclu du prêt
Titre : Logique mathématique - 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 ; Jean-Louis Krivine, Préfacier, etc. Editeur : Paris : Dunod Année de publication : 2013 Collection : Sciences.master Importance : 347p. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-005453-4 Prix : 41,60 eur Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Scientifiques et techniques et sciences humaines Logique Index. décimale : 510 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
Indexation Locale : 510 - Mathématiques En ligne : http://www.librairiedialogues.fr//ws/book/9782100054534/unimarc_utf-8 Logique mathématique - 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 ; Jean-Louis Krivine, Préfacier, etc. . - Paris : Dunod, 2013 . - 347p. ; 24 cm. - (Sciences.master) .
ISBN : 978-2-10-005453-4 : 41,60 eur
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Scientifiques et techniques et sciences humaines Logique Index. décimale : 510 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
Indexation Locale : 510 - Mathématiques En ligne : http://www.librairiedialogues.fr//ws/book/9782100054534/unimarc_utf-8 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 0204000 510-COR Livre Centre Culturel Katherine Dunham Espace Adulte Exclu du prêt
