LOGIQUE MATHEMATIQUE. Tome 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles - Cori René
©
- Collection: Axiomes
- Format: Broché
- 347 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
TROUVER UN MAGASIN
Retour
Avis sur Logique Mathematique. Tome 2, Fonctions Récursives, Théorème De Gödel, Théorie Des Ensembles, Théorie Des Modèles de... - Livre Mathématiques
0 avis sur Logique Mathematique. Tome 2, Fonctions Récursives, Théorème De Gödel, Théorie Des Ensembles, Théorie Des Modèles de... - Livre Mathématiques
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Introduction Aux Mathématiques Discrètes (Traduit Du Russe)
Occasion dès 69,90 €
-
La Géométrie Dans Le Monde Végétal
1 avis
Occasion dès 74,90 €
-
Étude Statistique Des Dépendances (Traduit Du Russe Par Guy Der-Megreditchian)
Occasion dès 85,00 €
-
Numerical Optimization
Neuf dès 88,67 €
Occasion dès 90,71 €
-
Les Russules D'europe Et D'afrique Du Nord
Occasion dès 149,00 €
-
Mécanique Pour Ingénieurs - Volume 1, Statique
2 avis
Neuf dès 69,90 €
-
Botanica - Encyclopédie De Botanique Et D'horticulture, Plus De 10 000 Plantes Du Monde Entier
Occasion dès 78,50 €
-
Éléments De Mathématiques Appliquées (Traduit Du Russe Par Vladimir Kotliar)
1 avis
Occasion dès 70,00 €
-
Bactéries Lactiques Et Probiotiques
Neuf dès 88,00 €
-
Mathématiques Pour L'agrégation - Analyse Et Probabilités
3 avis
Occasion dès 125,86 €
-
Les Moulins
1 avis
Occasion dès 80,00 €
-
La Charpente En Bois
2 avis
Occasion dès 70,00 €
-
Maçonnerie De Pierre - Matériaux Et Techniques, Désordres Et Interventions
Occasion dès 187,98 €
-
Précis De Physique Nucléaire
Occasion dès 159,00 €
-
Homeopathie Et Acupuncture En Odonto Stomatologie
Occasion dès 75,00 €
-
Équations Différentielles
2 avis
Occasion dès 99,00 €
-
Themes De Geometrie - Géométrie Affine Et Euclidienne
Occasion dès 97,55 €
-
Statistics Of Extremes : Theory And Applications
Neuf dès 133,00 €
Occasion dès 133,00 €
-
Essais Sur Le Mouvement Des Corps Cosmiques (Traduit Du Russe Par Vladimir Kotliar)
Occasion dès 87,90 €
-
Graphes Et Algorithmes
Neuf dès 200,00 €
Occasion dès 122,00 €
Produits similaires
Présentation Logique Mathematique. Tome 2, Fonctions Récursives, Théorème De Gödel, Théorie Des Ensembles, Théorie Des Modèles de...
- Livre Mathématiques- Auteur(s) : Cori René - Lascar Daniel
- Editeur : Elsevier Masson
- Collection : Axiomes
- Langue : Français
- Parution : 01/12/1993
- Format : Moyen, de 350g à 1kg
- Nombre de pages : 347
- Expédition : 655
- Dimensions : 24 x 16.1 x 2.2
Résumé :
Issu d'un enseignement de logique dispensé en 2e et 3e cycles, ce cours traite de manière détaillée des domaines fondamentaux de la logique mathématique. Après avoir exposé dans le premier tome le calcul propositionnel, les algèbres de Boole, le calcul des prédicats, et les théorèmes de complétude, les auteurs consacrent le deuxième volume 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. Ce deuxième tome est destiné aux étudiants de deuxième et troisième cycles universitaires en logique, mathématiques et informatique. Ils y trouveront notamment de nombreux exercices corrigés leur permettant une réelle acquisition des différentes notions logiques exposées. Cet ouvrage intéressera également les élèves-ingénieurs désirant s'orienter vers les mathématiques pures ou l'informatique, les chercheurs et les ingénieurs de recherche en informatique, soucieux de disposer d'un texte de référence sur les bases mathématiques de leur spécialité.
Sommaire:
["Récurcivité","Formalisation de l'arithmétique : théorèmes de Godel","Théorie des ensembles","Un peu de théorie des ensembles","Un peu de théorie des modèles","Exercices","Solutions des exercices du tome II."]