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

Logique. Volume 2, Méthodes formelles pour l'étude des programmes / Paul Go...

Livre | Gochet, Paul (1932-2011). Auteur | 1994

A formalization of set theory without variables / by Alfred Tarski and Stev...

Livre | Tarski, Alfred (1901-1983). Auteur | 1987

Leçons sur la théorie des fonctions : éléments et principes de la théorie d...

Livre | Borel, Émile (1871-1956). Auteur | 1914 - 2e édition

Chargement des enrichissements...