Imagen 1 de 1
The Haskell Road to Logic, Maths and Programing. Segunda edición-
Estado:
“Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, ”... Más informaciónacerca del estado
Envío:
Ubicado en: Aurora, Illinois, Estados Unidos
Entrega:
Entrega prevista entre el mié. 26 jun. y el sáb. 29 jun. a 43230
Devoluciones:
30 días para devoluciones. El vendedor paga el envío de la devolución. Ver detalles- Más información sobre devoluciones
Pagos:
Compra con confianza
Información del vendedor
- 99% de votos positivos
Registrado como vendedor profesional
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:196147090815
Última actualización el 22 may 2024 15:24:08 H.EspVer todas las actualizacionesVer todas las actualizaciones
Características del artículo
- Estado
- En buen estado
- Notas del vendedor
- Binding
- Paperback
- Weight
- 1 lbs
- Product Group
- Book
- IsTextBook
- Yes
- ISBN
- 9780954300692
- Publication Year
- 2004
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Subject Area
- Computers, Mathematics
- Publication Name
- Haskell Road to Logic, Maths and Pro
- Publisher
- College Publications
- Subject
- Logic, Logic Design
- Number of Pages
- IX, 426 Pages
Acerca de este producto
Product Information
Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply There is no royal road to mathematics.'' Where there was no shortcut for Alexander, there is no shortcut for us. Still, the fact that we have access to computers and mature programming languages means that there are avenues for us that were denied to the kings and emperors of yore. The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the 1990s as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvelous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures. This book does not assume the reader to have previous experience with either programming or construction of formal proofs, but acquaintance with mathematical notation, at the level of secondary school mathematics is presumed. Everything one needs to know about mathematical reasoning or programming is explained as we go along. After proper digestion of the material in this book, the reader will be able to write interesting programs, reason about their correctness, and document them in a clear fashion. The reader will also have learned how to set up mathematical proofs in a structured way, and how to read and digest mathematical proofs written by others. This is the updated, expanded, and corrected second edition of a much-acclaimed textbook. Praise for the first edition: 'Doets and van Eijck's The Haskell Road to Logic, Maths and Programming'' is an astonishingly extensive and accessible textbook on logic, maths, and Haskell.' Ralf Laemmel, Professor of Computer Science, University of Koblenz-Landau
Product Identifiers
Publisher
College Publications
ISBN-10
0954300696
ISBN-13
9780954300692
eBay Product ID (ePID)
45952055
Product Key Features
Publication Year
2004
Subject
Logic, Logic Design
Number of Pages
IX, 426 Pages
Language
English
Publication Name
Haskell Road to Logic, Maths and Pro
Type
Textbook
Subject Area
Computers, Mathematics
Format
Trade Paperback
Additional Product Features
Illustrated
Yes
LeafCats
378
Dewey Decimal
005.115
Lc Classification Number
Qa9doe
Copyright Date
2004
Descripción del artículo del vendedor
Información de vendedor profesional
Thrift Books Global, LLC
TB Thrift Books
18300 Cascade Ave S
Ste 150
98188 Seattle, WA
United States
Certifico que todas mis actividades de venta cumplirán todas las leyes y reglamentos de la UE.
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:196147090815
Última actualización el 22 may 2024 15:24:08 H.EspVer todas las actualizacionesVer todas las actualizaciones
Envío y manipulación
Ubicación del artículo:
Aurora, Illinois, Estados Unidos
Realiza envíos a:
Afganistán, Albania, Alemania, Andorra, Angola, Anguila, Antigua y Barbuda, Antillas Neerlandesas, Arabia Saudí, Argelia, Argentina, Armenia, Aruba, Australia, Austria, Azerbaiyán, Bahamas, Bahréin, Bangladés, Belice, Benín, Bermudas, Bielorrusia, Bolivia, Bosnia-Herzegovina, Botsuana, Brasil, Brunéi, Bulgaria, Burkina Faso, Burundi, Bután, Bélgica, Cabo Verde, Camboya, Camerún, Canadá, Chad, Chile, China, Chipre, Colombia, Comoras, Corea del Sur, Costa Rica, Costa de Marfil, Dinamarca, Dominica, Ecuador, Egipto, El Salvador, Emiratos Árabes Unidos, Eritrea, Eslovaquia, Eslovenia, España, Estonia, Etiopía, Fiji, Filipinas, Finlandia, Francia, Gabón, Gambia, Georgia, Ghana, Gibraltar, Granada, Grecia, Groenlandia, Guam, Guatemala, Guernsey, Guinea, Guinea Ecuatorial, Guinea-Bisáu, Guyana, Haití, Honduras, Hong Kong, Hungría, India, Indonesia, Iraq, Irlanda, Islandia, Islas Caimán, Islas Cook, Islas Malvinas, Islas Marshall, Islas Salomón, Islas Turcas y Caicos, Islas Vírgenes (Estados Unidos.), Islas Vírgenes Británicas, Israel, Italia, Jamaica, Japón, Jersey, Jordania, Kazajistán, Kenia, Kirguistán, Kiribati, Kuwait, Laos, Lesoto, Letonia, Liberia, Liechtenstein, Lituania, Luxemburgo, Líbano, Macao, Macedonia, Madagascar, Malasia, Malaui, Maldivas, Malta, Malí, Marruecos, Mauricio, Mauritania, Mayotte, Micronesia, Moldavia, Mongolia, Montenegro, Montserrat, Mozambique, México, Mónaco, Namibia, Nauru, Nepal, Nicaragua, Nigeria, Niue, Noruega, Nueva Zelanda, Níger, Omán, Pakistán, Palaos, Panamá, Papúa Nueva Guinea, Paraguay, Países Bajos, Perú, Polonia, Portugal, Puerto Rico, Qatar, Reino Unido, República Centroafricana, República Checa, República Democrática del Congo, República Dominicana, República de Croacia, República del Congo, Ruanda, Rumanía, Samoa, Samoa Americana, San Cristóbal y Nieves, San Marino, San Pedro y Miquelón, San Vicente y las Granadinas, Santa Elena, Santa Lucía, Senegal, Serbia, Seychelles, Sierra Leona, Singapur, Somalia, Sri Lanka, Suazilandia, Sudáfrica, Suecia, Suiza, Surinam, Svalbard y Jan Mayen, Sáhara Occidental, Tailandia, Taiwán, Tanzania, Tayikistán, Todo el mundo, Togo, Tonga, Trinidad y Tobago, Turkmenistán, Turquía, Tuvalu, Túnez, Uganda, Uruguay, Uzbekistán, Vanuatu, Vaticano, Vietnam, Wallis y Futuna, Yemen, Yibuti, Zambia, Zimbabue
Excluye:
Barbados, Federación Rusa, Guadalupe, Guayana Francesa, Libia, Martinica, Nueva Caledonia, Polinesia Francesa, Reunión, Ucrania, Venezuela
| Envío y manipulación | A | Servicio | Entrega*Consulta las notas de entrega |
|---|---|---|---|
| Envío gratis | Estados Unidos | Economy Shipping | Entrega prevista entre el mié. 26 jun. y el sáb. 29 jun. a 43230 |
| USD15,99 (aprox. 14,91 EUR) | Estados Unidos | Expedited Shipping | Entrega prevista entre el mar. 25 jun. y el jue. 27 jun. a 43230 |
| Tiempo de manipulación |
|---|
| Normalmente, se enviará en un plazo de 1 día laborable desde que se haga efectivo el pago. |
| Impuestos |
|---|
| El vendedor cobra impuestos de ventas en |
Impuesto de ventas del artículo 196147090815
Impuesto de ventas del artículo 196147090815
El vendedor carga un impuesto de ventas por los artículos enviados a los siguientes estados:
| Estado o provincia | Porcentaje de impuesto de ventas |
|---|---|
| Missouri (MO) | 8.238% |
Política de devoluciones
| Cuando recibas el artículo, ponte en contacto con el vendedor en un plazo de | Forma del reembolso | Gastos de envío de la devolución |
|---|---|---|
| 30 días | Reembolso del dinero | El vendedor paga el envío de la devolución |
Pulsa aquíaquí para obtener más información sobre devoluciones. En las transacciones que cumplan los requisitos necesarios, estarás cubierto por la Garantía al cliente de eBay si recibiste un artículo que es distinto de la descripción que aparece en el anuncio.
El vendedor es responsable de los gastos de envío de la devolución.
| Detalles de la política de devoluciones |
|---|
| Se aceptan devoluciones |
Detalles de pago
Formas de pago
Nota: como resultado de la valoración de riesgo del comprador, es posible que algunas formas de pago no estén disponibles en el proceso de Pago y envío.
Registrado como vendedor profesional
Votos de vendedor (5.224.033)
l***l (2378)- Votos emitidos por el comprador.
Mes pasado
Compra verificada
Thank you!
r***c (1323)- Votos emitidos por el comprador.
Mes pasado
Compra verificada
Outstanding service!!!
k***m (2864)- Votos emitidos por el comprador.
Mes pasado
Compra verificada
Smooth transaction.