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

Mathématiques appliquées à la gestion : outils mathématiques pour la gestio...

Livre | Posière, Jean-Pierre. Auteur | 2005

500 exercices de mathématiques en ECS / Hédi Joulak,...

Livre | Joulak, Hédi (1978-....). Auteur | 2020 - 2e édition

Exercices de mathématiques appliquées à la gestion : avec corrigés détaillé...

Livre | Posière, Jean-Pierre. Auteur | 2005

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

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

Tractatus logico-philosophicus / Wittgenstein

Livre | Wittgenstein, Ludwig (1889-1951). Auteur | 2022 - [Nouvelle traduction]

"En 1921, Ludwig Wittgenstein publie son seul livre édité de son vivant, porté par une thèse forte : les problèmes que la philosophie a rencontrés jusqu’ici viennent de notre ignorance de la logique profonde du langage, qui est au...

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

Chargement des enrichissements...