Nouveau : -5% dès 30€ | -10% dès 50€

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.

product_favorite.connexion

Produit indisponible !

product_favorite.connexion

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

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