Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés / René Cori,... Daniel Lascar,...

0 avis

Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés / René Cori,... Daniel Lascar,...

Livre

Cori, René. Auteur | Lascar, Daniel (1942-....). Auteur

Edité par Dunod - 2003

Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles.

Autres documents dans la collection «Sciences sup»

Langue: français
Description physique: 1 vol. (XV-347 p.) ; couv. ill. en coul. ; 24 cm

Date de publication: 2003

Collection

Sciences sup ; . Mathématiques

Autre titre

Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés (Autre variante du titre)

Contributeurs: Krivine, Jean-Louis (1939-....). Préfacier, etc.

ISBN: 2-1000-5453-8 ; 978-2-10-080770-3
EAN: 9782100054534 ; 9782100807703

Sujets

Domaine(s)

Sciences et Techniques > Mathématiques et Informatique

Vérification des exemplaires disponibles ...

Se procurer le document

Vérification des exemplaires disponibles ...

Suggestions

Du même auteur

Logique mathématique. 1, Calcul propositionnel, algèbre de Boole, calcul de...

Livre | Cori, René. Auteur | 2003

Du même sujet

Infinity and the mind : the science and philosophy of the infinite / Rudy R...

Livre | Rucker, Rudy (1946-....). Auteur | 1982

Le théorème de Gödel / Ernest Nagel, James R. Newman, Kurt Gödel... [et al....

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

Rassemble la traduction de l'article original de K. Gödel, une version vulgarisée de sa démonstration par E. Nagel et J. R. Newman, et un essai du logicien J.- Y. Girard qui fait le point sur les problèmes d'interprétation du...

Théorie des ensembles et logique mathématique : des infinis mathématiques a...

Livre | Patarin, Jacques (1965-....). Auteur | 2020

Cet ouvrage traite de deux des domaines les plus célèbres des mathématiques : la théorie des ensembles et la logique. La théorie des ensembles, développée au XIXe et au XXe siècle, est en particulier une théorie mathémat...

Financial optimization / edited by Stavros A. Zenios

Livre | 1993

270 exercices essentiels de mathématiques : avec indications et solutions d...

Livre | Sidaner, Sophie. Auteur | 2022

A l'occasion du nouveau programme de 2022-2023 des concours d'entrée aux grandes écoles, les étudiants de la filière PC-PC* trouveront dans ce livre d'exercices tout ce qu'il faut pour préparer les concours dans les meilleure...

Physique : outils mathématiques, métrologie, électrostatique, magnétostatiq...

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

La 4e de couv. indique : "Ce livre s'adresse principalement aux étudiants en PACES qui y trouveront la majeure partie du programme de l'unité d'enseignement du premier semestre intitulée "bases physiques des méthodes d'explora...

Chargement des enrichissements...