Les démonstrations et les algorithmes

Les démonstrations et les algorithmes

Introduction à la logique et à la calculabilité

  • Nombre de pages : 196 pages
  • Date de parution : 05/10/2010 
  • EAN13 : 9782730215695

Livre Papier

18.30 €

En stock

Expédié sous 24h

Librairie Eyrolles
Paris 5eme

Indisponible

Avantages Eyrolles.com

Livraison à partir de 0.01 € en France métropolitaine (1)

Paiement en ligne SÉCURISÉ

LIVRAISON dans le monde entier

Retour sous 15 jours

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.

Sommaire

  • Les démonstrations
  • Les algorithmes
  • Les démonstrations et les algorithmes

Caractéristiques

 PAPIER
Editeur(s)Ecole polytechnique
Auteur(s)Gilles Dowek
Parution 05/10/2010
Edition  1ère édition
Nb de pages 196
Format 17 x 24
CouvertureBroché
Poids 340
IntérieurNoir et Blanc
EAN13 9782730215695
ISBN13 978-2-7302-1569-5

Avis (0)

Soyez le premier à donner votre avis. Donnez votre avis