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 2e 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»

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

Réussir le Tage Mage® : les clés du succès / Marie-Virginie Speller

Livre | Speller, Marie-Virginie (19..-....) - mathématicienne. Auteur | 2012

Cet ouvrage est un tout-en-un pour la préparation du Tage Mage, test d'aptitude aux études de gestion.Le Tage Mage est un test utilisé par des écoles de commerce pour recruter en admission directe ou parallèle ou pour des mastères...

Réussir le Tage Mage® : Calcul et Conditions Minimales en 80 fiches / Laure...

Livre | Conceicao, Laurence de (19..-....). Auteur | 2018

Tests de logique mathématique et de calcul : savoir-faire, techniques et as...

Livre | Natan, Igal. Auteur | 2014 - 4e édition enrichie

La théorie des jeux / Gaël Giraud

Livre | Giraud, Gaël (1970-....) - économiste. Auteur | 2009 - 3e édition revue et augmentée

La 4ème de couv. indique : "Autant prévenir le lecteur tout de suite : ce livre n'est ni un cours de mathématiques, ni un manuel pour faire fortune dans les casinos de la côte ouest. Il s'agit d'une introduction générale à ce qu'i...

Practical statistics for data scientists : 50+ essential concepts using R a...

Livre | Bruce, Peter C. (19..-....). Auteur | 2020 - 2nd edition

"Statistical methods are a key part of data science, yet few data scientists have formal statistical training. Courses and books on basic statistics rarely cover the topic from a data science perspective. The second edition of thi...

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

Chargement des enrichissements...