Quantit�:

Identifiez-vous pour activer la commande 1-Click.


	en essayant gratuitement Amazon Premium pendant un mois. Votre inscription aura lieu lors du passage de la commande. En savoir plus.

Plus de choix

Vous l'avez d�j� ? Vendez votre exemplaire ici

Les d�monstrations et les algorithmes - Introduction � la logique et � la calculabilit�

Agrandissez cette image

Partagez vos propres images client

Éditeur : d�couvrez comment les clients peuvent feuilleter et chercher au cœur de ce livre.

Dites-le � l'�diteur :
J'aimerais lire ce livre sur Kindle !

Vous n'avez pas encore de Kindle�? Achetez-le ici ou t�l�chargez une application de lecture gratuite.

Les d�monstrations et les algorithmes - Introduction � la logique et � la calculabilit� [Broch�]

Gilles Dowek (Auteur)

Prix conseill� :	EUR 18,30
Prix :	EUR 17,39 LIVRAISON GRATUITE En savoir plus.
Prix Offre �clair :
�conomisez :	EUR 0,91 (5%)
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

En stock.
Exp�di� et vendu par Amazon.fr. Emballage cadeau disponible.

Plus que 3 ex (r�approvisionnement en cours). Commandez vite !

Voulez-vous le faire livrer le lundi 4 juin ? Choisissez la livraison en 1 jour ouvr� sur votre bon de commande. En savoir plus.

Produits fr�quemment achet�s ensemble

Prix pour les trois: EUR 52,17

Afficher la disponibilit� du produit et le mode de livraison

Acheter les articles s�lectionn�s ensemble

Cet article�: Les d�monstrations et les algorithmes - Introduction � la logique et � la calculabilit� de Gilles Dowek Broch� EUR 17,39

En stock.
Exp�di� et vendu par Amazon.fr.
Livraison gratuite pour l'achat de cet article. D�tails
Introduction � la th�orie des langages de programmation de Gilles Dowek Broch� EUR 17,39

En stock.
Exp�di� et vendu par Amazon.fr.
Livraison gratuite pour l'achat de cet article. D�tails
Principes des langages de programmation de Gilles Dowek Broch� EUR 17,39

En stock.
Exp�di� et vendu par Amazon.fr.
Livraison gratuite pour l'achat de cet article. D�tails

Les clients ayant achet� cet article ont �galement achet�

Introduction � la th�orie des langages de program... de Gilles Dowek

EUR 17,39
Principes des langages de programmation de Gilles Dowek
5.0 �toiles sur 5 (2)

EUR 17,39
Ces pr�jug�s qui nous encombrent de Gilles Dowek
4.3 �toiles sur 5 (3)

EUR 9,50
Les M�tamorphoses du calcul : Une �tonnante histo... de Gilles Dowek
5.0 �toiles sur 5 (3)

EUR 20,90
Peut-on croire les sondages? de Gilles Dowek
3.5 �toiles sur 5 (2)

EUR 4,74
La machine de Turing de Alan Turing

EUR 6,74

Descriptions du produit

Présentation de l'éditeur

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 de l'auteur

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.

D�tails sur le produit

Broch�: 193 pages
Editeur�: Ecole Polytechnique (25 octobre 2010)
Collection : DIFFUSION ECOLE
Langue : Fran�ais
ISBN-10: 2730215697
ISBN-13: 978-2730215695
Classement des meilleures ventes d'Amazon: 146.627 en Livres (Voir les 100 premiers en Livres)
Table des matières complète

Souhaitez-vous compl�ter ou am�liorer les informations sur ce produit ? Ou faire modifier les images?

En savoir plus sur l'auteur

D�couvrez des livres, informez-vous sur les �crivains, lisez des blogs d'auteurs et bien plus encore.

› Consultez la page Gilles Dowek d'Amazon

Mots-cl�s inspir�s de produits similaires

(De quoi s'agit-il ?)

Soyez le premier � ajouter un mot-cl� pertinent (fortement associ� � ce produit)

sciences humaines(3)

logique(2)

math�matiques(2)

philosophie(2)

sciences(2)

comportement(2)

programmation introduction concepts(1)

algorithmes(1)

essais(1)

fondements des math�matiques(1)

Vendre une version num�rique de ce livre dans la boutique Kindle.

Si vous �tes un �diteur ou un auteur et que vous disposez des droits num�riques sur un livre, vous pouvez vendre la version num�rique du livre dans notre boutique Kindle. En savoir plus

Quels sont les autres articles que les clients ach�tent apr�s avoir regard� cet article?

Introduction � la th�orie des langages de programmation de Gilles Dowek Broch�

EUR 17,39

Principes des langages de programmation de Gilles Dowek Broch�
5.0 �toiles sur 5 (2)

EUR 17,39

Ces pr�jug�s qui nous encombrent de Gilles Dowek Broch�
4.3 �toiles sur 5 (3)

EUR 9,50

Les M�tamorphoses du calcul : Une �tonnante histoire des math�matiques de Gilles Dowek Broch�
5.0 �toiles sur 5 (3)

EUR 20,90

› D�couvrez des articles similaires

Commentaires en ligne

Il n'y a pour l'instant aucun commentaire client.

5 �toiles

4 �toiles

3 �toiles

2 �toiles

1 �toiles

Ecrire un commentaire client

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }