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»

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 des prédicats : cours et exercices corrigés / René Cori,... Daniel Lascar,... | Cori, René. 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 gestion, mathématiques financières, statistique descriptive, probabilités / Jean-Pierre Posière | Posière, Jean-Pierre. Auteur

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,... | Joulak, Hédi (1978-....). Auteur

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

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

Mini manuel de probabilités et statistique : cours + QCM / Françoise Couty-Fredon,... Jean Debord,... Daniel Fredon,... | Couty-Fredon, Françoise (19..-....). Auteur

Mini manuel de probabilités et statistique : cours + QCM / Françoise Couty-...

Livre | Couty-Fredon, Françoise (19..-....). Auteur | 2018 - 3e édition

Comment aller à l'essentiel, comprendre les méthodes et les démarches avant de les mettre en application ? Conçus pour faciliter l'apprentissage des notions essentielles, les Mini Manuels proposent : un cours concis et richement i...

Les modèles politiques / Jacques Attali,... | Attali, Jacques (1943-....). Auteur

Les modèles politiques / Jacques Attali,...

Livre | Attali, Jacques (1943-....). Auteur | 1972

Exercices de mathématiques appliquées à la gestion : avec corrigés détaillés / Jean-Pierre Posière | Posière, Jean-Pierre. Auteur

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étostatique, électromagnétisme, radioactivité, optique géométrique : cours, exercices et QCM / Fabrice Cavillon,... | Cavillon, Fabrice (1969-...). Auteur

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