Recherche avancée

Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité

Gilles Dowek

  • Ecole Polytechnique (editions)

  • Broché

  • Paru le : 05/10/2010

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

› Lire la suite

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

 › Réduire

Gilles Dowek - Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité.

Zoom
Les internautes qui ont aimé ce livre ont aussi apprécié :

Sommaire

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

Fiche technique

  • Date de parution : 05/10/10
  • Editeur : Ecole Polytechnique (editions)
  • ISBN : 978-2-7302-1569-5
  • EAN : 9782730215695
  • Présentation : Broché
  • Nb. de pages : 193 pages
  • Poids : 0,34 Kg
  • Dimensions : 17,0 cm × 24,0 cm × 1,2 cm
18,30 € -5% 17,39 â‚¬
Expédié sous 4 à 8 jours
Disponible en librairie ?
  • Sous 4 à 8 jours: Decitre Annecy
  • En stock: Decitre Bellecour
  • Sous 4 à 8 jours: Decitre Chambéry
  • Sous 4 à 8 jours: Decitre Confluence
  • Sous 4 à 8 jours: Decitre Ecully
  • Sous 4 à 8 jours: Decitre Grenoble
  • Sous 4 à 8 jours: Decitre Langues du Monde
  • Sous 4 à 8 jours: Decitre Part-Dieu
  • Sous 4 à 8 jours: Decitre Saint-Genis-Laval
 
Ajouter à ma liste

Vos avantages Decitre
  • -5%Sur tous les livres sur les prix éditeurs
  • Satisfait ou remboursé
  • Livraison à domicile gratuite dès 35 €
  • Relais Colis livraison gratuite

À propos de l'auteur

Biographie de Gilles Dowek

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.
Du même auteur :
Ce titre est également présent dans les rayons :
Les démonstrations et les algorithmes. Introduction à la...
Gilles Dowek
-5% 17,39 € 18,30 €
Haut de page
Newsletter

Inscrivez-vous gratuitement !

Evénements Decitre

Agenda des rencontres DecitreTéléchargez l'agenda des rencontres

Service Client

Du lundi au vendredi de 9h à 17h30

Tel. : 0 825 56 10 55 (0,15 € / min)

E-mail : nous contacter

Decitre : permettre à chaque lecteur de trouver ses livres...