Les demonstrations et les algorithmes: Introduction a la logique et a la calculabilite [French]
Idioma: francés
Editorial: Paris: Les Editions de Ecole Polytechnique. Printed in France, 2011
- Primera edición
- Tapa blanda
- Usado
Librería: James Payne, Books and Prints, New York City, NY, Estados Unidos de AmericaJames Payne, Books and Prints
Vendedor de IberLibro desde 30 de octubre de 2020
Condición: Usado - Excelente
EUR 32,18
Cantidad disponible: 1 disponible
Añadir al carritoDescripción del artículo del vendedor
[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 ref. del artículo 0000296
- Título
- Les demonstrations et les algorithmes: Introduction a la logique et a la calculabilite [French]
- Autor
- Gilles Dowek
- Editorial
- Paris: Les Editions de Ecole Polytechnique. Printed in France
- Año de publicación
- 2011
- Estado
- Fine.
- Encuadernación
- Softcover
- Idioma
- francés
- ISBN 10
- 2730215697
- ISBN 13
- 9782730215695
- Edición
- First Edition.
- Peso del artículo
- 13 onzas
- Dimensiones
- 0x0x0
- Catálogos de vendedores
- Math
“Sinopsis” puede pertenecer a otra edición de este título.
De la contraportada
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.
“Acerca de” puede pertenecer a otra edición de este título.
James Payne, Books and Prints
New York City, NY, Estados Unidos de America
Vendedor de IberLibro desde 30 de octubre de 2020
Tarifas de envío en Estados Unidos de America
| Artículo | De 4 a 14 días hábiles | De 3 a 10 días hábiles |
|---|---|---|
| Primer artículo | EUR 4,91 | EUR 8,93 |
Métodos de pago
Descripción de la tienda
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.…
Especialidad
Academic Monographs, Art Catalogs, Prints, Zines, Political EphemeraInformación empresarial del vendedor
James Payne, Books and Prints
NY, Estados Unidos de America
Condiciones de venta
Exchange Value Books 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 one has questions about accepted payment methods or terms of sale, do not hesitate to email james.payne.cc@gmail.com. Usual terms to the trade.
Derecho al desistimiento
Si es un consumidor, puede rescindir el contrato de acuerdo con lo siguiente. Por consumidor se entiende cualquier persona física que actúe con fines ajenos a su actividad comercial, empresarial, oficio o profesión.
Información sobre el derecho de desistimiento
Derecho legal de desistimiento
Tiene derecho a rescindir este contrato en un plazo de 14 días sin dar ningún motivo.
El periodo de desistimiento vencerá a los 14 días desde que usted, o un tercero que no sea el transportista e indicado por usted, adquiera la posesión física del último bien o del último lote o pieza.
Para ejercer el derecho de desistimiento, complete de forma electrónica y envíe una declaración clara en nuestro sitio web, desde "Mis compras" en "Mi cuenta". Le enviaremos sin demora un acuse de recibo de dicho desistimiento a través de un soporte duradero (por ejemplo, por correo electrónico).
Para cumplir con el plazo de desistimiento, basta con que envíe su comunicación relativa al ejercicio del derecho de desistimiento antes de que venza el periodo de desistimiento.
Efectos del desistimiento
Si rescinde este contrato, le reembolsaremos todos los pagos que hayamos recibido de usted, incluidos los gastos de envío (excepto los gastos adicionales que surjan si elige un tipo de envío que no sea el tipo de envío estándar más económico que ofrecemos).
Podemos hacer una deducción del reembolso por la pérdida de valor de cualquier bien suministrado, si la pérdida es el resultado de una manipulación innecesaria por su parte.
Efectuaremos el reembolso sin demoras indebidas y, a más tardar, 14 días después de que se nos informe de su decisión de rescindir este contrato.
Efectuaremos el reembolso utilizando el mismo medio de pago que utilizó para la transacción inicial, a menos que haya acordado expresamente lo contrario; en cualquier caso, no incurrirá en ningún cargo como resultado de dicho reembolso.
Podremos retener el reembolso hasta que hayamos recibido los bienes o hasta que nos haya presentado una prueba de que los ha devuelto, lo que ocurra primero.
Deberá devolver los bienes o entregarlos a James Payne, Books and Prints, New York City, New York, U.S.A., +1 9178593196, sin demoras indebidas y, en cualquier caso, en un plazo máximo de 14 días a partir del día en que nos comunique su desistimiento del presente contrato. El plazo se cumple si devuelve la mercancía antes de que venza el periodo de 14 días. Tendrá que asumir los gastos directos de devolución de los bienes. Usted solo es responsable de la disminución del valor de los bienes como resultado de una manipulación distinta a la necesaria para establecer la naturaleza, las características y el funcionamiento de los bienes.
Excepciones al derecho de desistimiento
El derecho de desistimiento no se aplica a lo siguiente:
- La entrega de periódicos, diarios o revistas, con la excepción de los contratos de suscripción; y
- El suministro de contenido digital que no se proporcione en un soporte tangible (por ejemplo, en un CD o DVD) si, al hacer el pedido, aceptó que podíamos empezar a entregarlo y que no podría desistir una vez iniciada la entrega.
Condiciones de envío
Exchange Value Books 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 one is purchasing from a prison, please indicate the specific rules for shipping books to the institution. Exchange Value Books encloses ordered books in waterproof mylar and protects books with cardboard and sufficient packaging.