Tous nos rayons

Déjà client ? Identifiez-vous

Nouveau client ?

CRÉER VOTRE COMPTE
Votre panier contient 0 article
0,00 €
Les démonstrations et les algorithmes

Librairie Eyrolles - Paris 5e
Indisponible

Les démonstrations et les algorithmes

Les démonstrations et les algorithmes

Introduction à la logique et à la calculabilité

196 pages, parution le 01/10/2010

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.

L'auteur Gilles Dowek

Mathématicien, logicien et informaticien, Gilles Dowek est directeur de recherche à l'INRIA. Il a enseigné à d'École polytechnique, a été expert pour la NASA et le ministère de l'Éducation nationale.

Autres livres de Gilles Dowek

Sommaire

  • Les démonstrations
  • Les algorithmes
  • Les démonstrations et les algorithmes
Voir tout
Replier

Caractéristiques techniques du livre "Les démonstrations et les algorithmes"

  PAPIER
Editeur(s) Ecole polytechnique
Auteur(s) Gilles Dowek
Parution 01/10/2010
Nb. de pages 196
Format 17 x 24
Couverture Broché
Poids 340g
Intérieur Noir et Blanc
EAN13 9782730215695
ISBN13 978-2-7302-1569-5
Noël - Idées Cadeaux

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine (1)

Paiement en ligne SÉCURISÉ

Livraison dans le monde

Retour sous 15 jours

+ de 700 000 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 0 321 79 56 75 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925