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,...

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

Edité par Dunod - 2003

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.

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 ; . Mathématiques

Autre titre

Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigé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 mathématique. 1, Calcul propositionnel, algèbre de Boole, calcul de...

Livre | Cori, René. Auteur | 2003

Du même sujet

Topologie des espaces métriques / Patrizia Donato

Livre | Donato, Patrizia (19..-....). Auteur | 2019

La 4e de couv. indique : "Le but de ce livre est de donner au lecteur une présentation à la fois simple et exhaustive du sujet, sans faire de compromis avec la rigueur mathématique. L'ouvrage s'adresse principalement aux étudiants...

44 problèmes olympiens de mathématiques : problèmes corrigés de la MPSI à l...

Livre | Thomas, Erik (1989-....). Auteur | 2020

La 4e de couverture indique : "Cet ouvrage propose 44 problèmes de mathématiques pour les élèves de CPGE en classe de MPSI et de MP ; ils seront également utiles aux candidats préparant l'agrégation. Ces problèmes ont été conçus p...

Topologie générale et espaces normés / Nawfal El Hage Hassan

Livre | Hage Hassan, Nawfal El (19..-....). Auteur | 2018 - 2e édition

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

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

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è...

Logic / Paul Tomassi

Livre | Tomassi, Paul (1962-....). Auteur | 1999

Chargement des enrichissements...