Chèque lecture :10€ offerts dès 40€ Livraison offerte  !
Recyclivre, l'occasion fait le lien

Les demonstrations et les algorithmes : introduction à la logique et à la calculabilité

Gilles Dowek
  • 11/10/2010
  • Ecole polytechnique
NC (0 avis)
Couverture de Les demonstrations et les algorithmes : introduction à la logique et à la calculabilité par Gilles Dowek

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.

Destiné aux étudiants de licence et de master, ce livre présente ce que tous les philosophes, mathématiciens et informaticiens devraient aujourd'hui savoir sur la logique.

Produit indisponible !

Nous n'avons plus d'exemplaire disponible pour le moment mais chaque jour nous remettons plus de 8000 produits en stock.

Produit indisponible !

Ces livres pourraient aussi vous plaire

Donnez une seconde vie à vos livres !

  • Facile et rapide
  • Paiement en 48H
  • Expédition gratuite
Scanner pour télécharger l'application
QR Code
Disponible sur l'Apple Store Disponible sur Google Play

Autres livres liés à Gilles Dowek

Vos derniers livres consultés

Chargement en cours

Avis des lecteurs Recyclivre

NC (0 avis)

Aucun avis pour le moment

Donnez votre avis sur le contenu du livre. 

Donnez votre avis

Abonnez-vous à notre newsletter

Sélection lecture et Bons plans
Chargement en cours