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

Edited by 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»

Language: français
Physical description: 1 vol. (XV-347 p.) ; couv. ill. en coul. ; 24 cm

Publication date: 2003

Collection

Sciences sup ; . Mathématiques

Other title

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)

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

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

Subjects

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

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

Financial modeling and valuation : a practical guide to investment banking ...

Livre | Pignataro, Paul. Auteur | 2022 - Second edition

"Written by the founder and CEO of the world-renowned New York School of Finance, Financial Modeling and Valuation provides clear and systematic guidance on accurately evaluating the soundness of a stock investment. This invaluabl...

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

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

Chargement des enrichissements...