Les demonstrations et les algorithmes: Introduction a la logique et a la calculabilite [French]
Language: French
Published by Paris: Les Editions de Ecole Polytechnique. Printed in France, 2011
- First Edition
- Softcover
- Used
Seller: James Payne, Books and Prints, New York City, NY, U.S.A.James Payne, Books and Prints
AbeBooks seller since October 30, 2020
Condition: Used - Fine
US$ 35.00
Quantity: 1 available
Add to basketItem description from seller
[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.".
Seller Inventory # 0000296
- Title
- Les demonstrations et les algorithmes: Introduction a la logique et a la calculabilite [French]
- Author
- Gilles Dowek
- Publisher
- Paris: Les Editions de Ecole Polytechnique. Printed in France
- Publication year
- 2011
- Condition
- Fine.
- Binding
- Softcover
- Language
- French
- ISBN 10
- 2730215697
- ISBN 13
- 9782730215695
- Edition
- First Edition.
- Item weight
- 13 ounces
- Dimensions
- 0x0x0
- Seller catalogs
- Math
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.
"Synopsis" may belong to another edition of this title.
From the Back Cover
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.
"About the title" may belong to another edition of this title.
James Payne, Books and Prints
New York City, NY, U.S.A.
AbeBooks seller since October 30, 2020
Shipping rates within U.S.A.
| Item | 4 to 14 business days | 3 to 10 business days |
|---|---|---|
| First item | US$ 5.50 | US$ 10.00 |
Payment methods
Store description
I sell uncommon art catalogs, academic monographs, and prints, as well as rare ephemera such as posters and zines. I ship from Brooklyn, New York. I am an alum of the Rare Book School and the Colorado Antiquarian Book Seminar, as well as Indiana University and the Ohio State University. I started in the trade at the Wexner Center for the Arts bookstore, and I have previously worked for the Columbus Metropolitan Library, the Billy Ireland Cartoon Library and Museum, the Art Institute of Chicago's Department of Prints and Drawings, and the Indiana University Art Museum's center for Prints, Drawings, and Photographs. More recently, I was the rare book cataloger at Donald Heald Rare Books, for whom I worked the ABAA's New York International Antiquarian Book Fair.…
Specialty
Academic Monographs, Art Catalogs, Prints, Zines, Political EphemeraSeller's business information
James Payne, Books and Prints
NY, U.S.A.
Terms of sale
James Payne, Books and Prints guarantees the condition of every book as it is described on Abebooks. If dissatisfied with purchase (not as described/damaged), I am happy to issue a full refund upon dealer's receipt of the returned item within two weeks. Please pack returns carefully. "No longer needed" returns not accepted. All items subject to prior sale. If you have a question about accepted payment methods or terms of sale, do not hesitate to email james.payne.cc@gmail.com. Usual terms to the trade.
Shipping terms
James Payne, Books and Prints uses USPS media mail and ships within two days excluding extraordinary circumstances. I will ship to anywhere in the world that the numerous US embargoes do not forbid, however, if the real international shipping cost is in great variance to that listed, additional shipping may need to be charged. If purchasing from a prison, please indicate the specific rules for shipping books to the institution. I enclose ordered books in waterproof mylar and protect books with cardboard and sufficient packaging.