Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
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.
À propos de la quatrième de couverture
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Les démonstrations et les algorithmes - Introduction...
Image fournie par le vendeur
Les demonstrations et les algorithmes: Introduction a la logique et a la calculabilite [French]
Edité par
Paris: Les Editions de Ecole Polytechnique. Printed in France, 2011
ISBN 10 : 2730215697
ISBN 13 : 9782730215695
Ancien ou d'occasion
Softcover
Edition originale
Vendeur : James Payne, Books and Prints, New York City, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Fine. First Edition. [LOGIC]. Gilles Dowek. "Les demonstrations et les algorithmes: Introduction a la logique et a la calculabilite [French]." Paris: Les Editions de Ecole Polytechnique, 2010. First edition. French language. Softcover. Nonfiction academic book on logic and algorithms with bibliography. 9 1/2 x 6 3/4 inches. 13 oz. 194 pages. Text clean. Fine condition. ISBN: 9782730215695. "Alternately a branch of philosophy, mathematics and computer science, logic studies the methods that make it possible to establish that a statement is true, such as reasoning and calculation.This book is an introduction to the fundamental concepts of contemporary logic, those of proof, computable function, model, and set. It presents a series of both negative and positive results: Church's undecidability theorem, Godel's incompleteness theorem, the semi-decidability theorem of provability, which have profoundly changed our conception of reasoning, of calculation and, ultimately, of truth itself.". N° de réf. du vendeur 0000296
Acheter D'occasion
EUR 31,15
Expédition à EUR 4,75
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)