Description:
Les Editions de Ecole Polytechnique; Paris, FR, 2010. Softcover. Very Good. 0x0x0. [LOGIC]. Dowek, Gilles. "Les demonstrations et les algorithmes: Introduction a la logique et a la calculabilite." Les Editions de Ecole Polytechnique; Paris, FR, 2010. French language. Softcover. 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.
No image available
Les démonstrations & les algorithmes introduction à la logique & à la calculabilité Paperback - 2010
by Dowek
Details
- Title Les démonstrations & les algorithmes introduction à la logique & à la calculabilité
- Author Dowek
- Binding Paperback
- Publisher ECOLE POLYTECHNIQUE
- Date 2010
- ISBN 9782730215695
More Copies for Sale
Les demonstrations et les algorithmes: Introduction a la logique et a la calculabilite [French]
by Gilles Dowek
- Used
- Very Good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9782730215695 / 2730215697
- Quantity Available
- 1
- Seller
-
Brooklyn, New York, United States
- Item Price
-
A$26.69A$8.39 shipping to USA
Show Details
Item Price
A$26.69
A$8.39
shipping to USA