Afficher la couverture 'Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés / René Cori,... Daniel Lascar,... | Cori, René. Auteur' en grand format
/5

0 avis

Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés / René Cori,... Daniel Lascar,...

Livre

Cori, René. Auteur | Lascar, Daniel (1942-....). Auteur

Edited by Dunod - 2003

Ce 2e 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.

Autres documents dans la collection «Sciences sup»

Vérification des exemplaires disponibles ...

Se procurer le document

Vérification des exemplaires disponibles ...

Suggestions

Du même auteur

Logique mathématique. 1, Calcul propositionnel, algèbre de Boole, calcul de...

Livre | Cori, René. Auteur | 2003

Du même sujet

Physique : outils mathématiques, métrologie, électrostatique, magnétostatiq...

Livre | Cavillon, Fabrice (1969-...). Auteur | 2018 - 3e édition

La 4e de couv. indique : "Ce livre s'adresse principalement aux étudiants en PACES qui y trouveront la majeure partie du programme de l'unité d'enseignement du premier semestre intitulée "bases physiques des méthodes d'exploration...

La théorie des jeux / Gaël Giraud

Livre | Giraud, Gaël (1970-....) - économiste. Auteur | 2009 - 3e édition revue et augmentée

La 4ème de couv. indique : "Autant prévenir le lecteur tout de suite : ce livre n'est ni un cours de mathématiques, ni un manuel pour faire fortune dans les casinos de la côte ouest. Il s'agit d'une introduction générale à ce qu'i...

Mathématiques financières / Pierre Devolder,... Mathilde Fox,... Francis Va...

Livre | Devolder, Pierre. Auteur | 2018 - 3e édition

PSI : mathématiques, informatique : 2020 / sous la coordination de William ...

Livre | Aufort, William (1993-....). Auteur. Directeur de publication | 2020

Le théorème de Gödel / Ernest Nagel, James R. Newman, Kurt Gödel... [et al....

Livre | Nagel, Ernest (1901-1985). Auteur | 1997

Rassemble la traduction de l'article original de K. Gödel, une version vulgarisée de sa démonstration par E. Nagel et J. R. Newman, et un essai du logicien J.- Y. Girard qui fait le point sur les problèmes d'interprétation du célè...

Réussir le Tage Mage® : Calcul et Conditions Minimales en 80 fiches / Laure...

Livre | Conceicao, Laurence de (19..-....). Auteur | 2018

Chargement des enrichissements...