Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Logique mathématique
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Disponible en magasin

Logique mathématique

Logique mathématique

Volume 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours, exercices corrigés

René Cori, Daniel Lascar - Collection Sciences sup

350 pages, parution le 04/02/2020

Résumé

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.

L'auteur - René Cori

René Cori. Maître de conférences à l'université Denis-Diderot, Paris 7.

Autres livres de René Cori

L'auteur - Daniel Lascar

Daniel Lascar. Directeur de recherches au CNRS.

Autres livres de Daniel Lascar

Sommaire

Récursivité. Formalisation de l'arithmétique. Théorèmes de Gödel. Théorie des ensembles. Un peu de théorie des modèles. Solutions des exercices.

Voir tout
Replier

Caractéristiques techniques

  PAPIER
Éditeur(s) Dunod
Auteur(s) René Cori, Daniel Lascar
Collection Sciences sup
Parution 04/02/2020
Nb. de pages 350
Format 18 x 25
Couverture Broché
Poids 608g
Intérieur Noir et Blanc
EAN13 9782100807703

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription