Afficher la couverture '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,... | Cori, René. Auteur' en grand format
/5

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

Objectif 600 au TAGE-MAGE® : savoir-faire, techniques et astuces / Igal Nat...

Livre | Natan, Igal. Auteur | 2015 - 5e édition

TAGE 2 : maths et calcul en 80 fiches / Laurence de Conceicao

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

Réussir le Tage Mage® : tout-en-un / Marie-Virginie Speller

Livre | Speller, Marie-Virginie. Auteur | 2014

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

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

Statistique descriptive / Maurice Lethielleux,...

Livre | Lethielleux, Maurice. Auteur | 2016 - 8e édition

"Comment aller à l'essentiel, comprendre les méthodes et les démarches avant de les mettre en application ? Conçue pour faciliter aussi bien l'apprentissage que la révision, la collection 'EXPRESS' vous propose une présentation si...

R pour la statistique et la science des données / sous la direction de Fran...

Livre | Husson, François (1970-....) - mathématicien. Directeur de publication | 2018

Le logiciel R est un outil incontournable de statistique, de visualisation de données et de science des données tant dans le monde universitaire que dans celui de l'entreprise. Ceci s'explique par ses trois principales qualités : ...

Chargement des enrichissements...