Les Démonstrations Et Les Algorithmes - Introduction À La Logique Et À La Calculabilité - Dowek Gilles
- Format: Broché
- 193 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre61,24 €
Occasion · Très Bon État
Ou 15,31 € /mois
LIVRAISON RAPIDE
Ce vendeur propose la livraison entre 2 et 4 jours
Option Express : Chez vous le 22/07 (?)
- Livraison GRATUITE
- Livré entre le 21 et le 23 juillet
- Protection acheteurs :
- 0,00 €
Ancien livre de bibliothèque avec équipements. Edition 2010. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives.
Nos autres offres
-
61,24 €
Occasion · Très Bon État
Ou 15,31 € /mois
LIVRAISON RAPIDE
Ce vendeur propose la livraison entre 2 et 4 jours
Option Express : Chez vous le 22/07 (?)
- Livraison GRATUITE
- Livré entre le 21 et le 23 juillet
- Protection acheteurs :
- 0,00 €
Ancien livre de bibliothèque avec équipements. Edition 2010. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives.
-
55,50 €
Occasion · Bon État
Ou 13,88 € /mois
Disponible en retrait gratuit chez le vendeur (Saint-martin-du-bois)
- Livraison : 5,89 €
- Protection acheteurs :
- 0,00 €
2010. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 193 pages - une étiquette collée sur le 2ème plat.. . . . Classification Dewey : 510-Mathématiques
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Les Démonstrations Et Les Algorithmes - Introduction À La Logique Et À La Calculabilité de Dowek Gilles Format... - Livre Mathématiques
0 avis sur Les Démonstrations Et Les Algorithmes - Introduction À La Logique Et À La Calculabilité de Dowek Gilles Format... - Livre Mathématiques
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Mathématiques L1 - Cours Complet Avec 1000 Tests Et Exercices Corrigés
6 avis
Occasion dès 65,00 €
-
Flat Earth Faq - Version Française
3 avis
Neuf dès 34,90 €
Occasion dès 40,00 €
-
Astrolabes, Cartes Du Ciel - Les Comprendre Et Les Construire
1 avis
Occasion dès 54,80 €
-
Biohistoire Des Papillons - Diversité Et Conservation Des Lépidoptères Rhopalocères En Loire-Atlantique Et En Vendée
2 avis
Neuf dès 54,00 €
Occasion dès 35,00 €
-
Sciences Industrielles De L'ingénieur Mpsi Pcsi
1 avis
Neuf dès 44,00 €
Occasion dès 30,00 €
-
Evaluation Des Produits Cosmétiques : La Sécurité
Occasion dès 27,80 €
-
Maxi Best Of Exos Types Terminale Spécialité Mathématiques
1 avis
Occasion dès 30,39 €
-
Livre De Maths Déclic Première Spécialité
1 avis
Occasion dès 30,00 €
-
Mathematiques 4 E Hachette Maillard Caralp
Occasion dès 30,00 €
-
Technologie Et Prise De Mesures - Exercices Et Annales
Neuf dès 55,00 €
-
Botanique - Biologie Et Physiologie Végétales
4 avis
Occasion dès 35,00 €
-
L'opticien-Lunetier
2 avis
Occasion dès 78,57 €
-
Mathématiques Pour L'agrégation - Analyse Et Probabilités
1 avis
Neuf dès 39,90 €
-
Mémento De L'arboriste - Volume 1, L'arboriste Grimpeur
5 avis
Neuf dès 48,00 €
Occasion dès 43,21 €
-
Construire En Terre Crue - Construction, Rénovation, Finitions
Occasion dès 35,00 €
-
Gestion Forestière Et Diversité Biologique - Identification Et Gestion Intégrée Des Habitats Et Espèces D'intérêt Communautaire, Volume 2, France, Domaine Continental
Neuf dès 49,00 €
-
Vibrations Et Chocs Mécaniques - Tome 6, Analyse Pratique Des Mesures
Occasion dès 79,20 €
-
Physique-Chimie Mpsi
Occasion dès 49,00 €
-
Physique Des Plasmas - Tome 2
Neuf dès 50,00 €
Occasion dès 32,43 €
-
Raisonnements Divins - Quelques Démonstrations Mathématiques Particulièrement Élégantes
3 avis
Neuf dès 55,00 €
Occasion dès 49,51 €
Produits similaires
Présentation Les Démonstrations Et Les Algorithmes - Introduction À La Logique Et À La Calculabilité de Dowek Gilles Format...
- Livre MathématiquesAuteur(s) : Dowek GillesEditeur : Ecole PolytechniqueParution : 05/10/2010Nombre de pages : 193Nombre de livres : 1Expédition : 340Dimensions : 24 x 17 x 1.2 Résumé...
Résumé :
Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul. Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gôdel, le théorème de semi-décidabilité de la démontrabilité, - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même.
Biographie:
Gilles Dowek est professeur à l'Ecole Polytechnique et chercheur à l'Institut National de Recherche en Informatique et en Automatique et au Laboratoire d'Informatique de l'Ecole Polytechnique. Ses travaux portent sur la formalisation des mathématiques et sur la mécanisation du raisonnement. Sa principale contribution est une reformulation de la méthode axiomatique qui donne une place centrale à la notion de calcul.
Sommaire:
["LES DEMONSTRATIONS","La logique des prédicats","Les modèles","LES ALGORITHMES","Les fonctions calculables","Le calcul comme une suite de petits pas","LES DEMONSTRATIONS ET LES ALGORITHMES","Le théorème de Church","La démonstration automatique","Des théories décidables"]
©
Détails de conformité du produit
Personne responsable dans l'UE