T�tulo: The Haskell Road to Logic, Maths and Programming (Texts in Computing)
Editor: College Publications
Fecha de publicaci�n: 2004
Idioma: Ingl�s
ISBN 10: 0954300696
ISBN 13: 9780954300692
Encuadernaci�n: Encuadernaci�n de tapa blanda
Estado: as new

Acerca de

Sinopsis

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

Rese�a del editor

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

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

**WILLKOMMEN** im AbeBooks Shop von medimops - dein Onlineshop mit der gr��ten Auswahl an Second Hand B�chern. St�ber dich durch �ber 4 Millionen Artikel und spare bis zu 70 % im Vergleich zum Neupreis. Wir pr�fen alle Artikel sorgf�ltig auf Qualit�t und Funktionalit�t. **WELCOME** to the medimop's AbeBooks shop, the online shop with a large range of second-hand books. Browse more than 4 million articles and save up to 70% on the new price. All our articles are quality checked. ** BIENVENUE ** dans la boutique AbeBooks de momox shop! Sp�cialiste des articles culturels d'occasion, nous vous offrons une gamme diversifi�e de livres d'occasion. D�couvrez nos offres et �conomisez jusqu'� 70% du prix neuf! Nous grarantissons tous nos articles en bon �tat. ** BENVENUTI ** nello shop medimops di AbeBooks, lo shop online per i libri usati. Abbiamo piu�di 4 milioni di articoli e potete risparmiare fino al 70% rispetto al nuovo. Tutti i nostri prodotti sono controllati a mano per garantire la massima qualit�. ** BIENVENIDO ** a la tienda de medimops en AbeBooks, la tienda online con una gran oferta de libros de segunda mano. Navegue por m�s de 4 millones de art�culos y ahorre hasta un 70% sobre el precio nuevo. Todos nuestros art�culos son de calidad comprobada.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

momox SE
Schreiberhauer Stra�e 30, Berlin, 10317, Germany

Condiciones de venta y env�o

Condiciones de venta

1. Alcance

Los siguientes t�rminos y condiciones se aplican a todos los pedidos realizados a trav�s de nuestra tienda en el Mercado de AbeBooks. A menos que se acuerde lo contrario, nos oponemos a la inclusi�n de los t�rminos y condiciones propios que usted pueda utilizar.

2. parte contratante, celebraci�n del contrato, opciones de correcci�n

El contrato de compra se celebra con momox SE.

El objeto del contrato es la venta de bienes.

Si un art�culo es publicado por nosotros en AbeBooks, la activ...

M�s informaci�n

Derecho a cancelaci�n

Derecho de desistimiento

Tiene derecho a rescindir este contrato en un plazo de catorce d�as sin indicar el motivo. El plazo de desistimiento es de catorce d�as a partir del d�a en que usted o un tercero nombrado por usted, que no sea el transportista, haya tomado posesi�n de la �ltima mercanc�a. Para ejercer su derecho de desistimiento, debe informar a momox SE, Schreiberhauer Stra�e 30, 10317 Berl�n, n�mero de tel�fono: 0049 (0) 30/488 288 200, correo electr�nico: service@momox-shop.es, mediante una declaraci�n clara (por ejemplo, una carta enviada por correo postal, fax o correo electr�nico) de su decisi�n de desistir de este contrato. Para ello, puede utilizar el modelo de formulario de desistimiento, que, sin embargo, no es obligatorio. Para cumplir el plazo de desistimiento, basta con que env�e la notificaci�n del ejercicio del derecho de desistimiento antes de que expire el plazo de desistimiento.

Consecuencias de la revocaci�n

Si rescinde el contrato, deberemos devolverle todos los pagos que hayamos recibido de usted, incluidos los gastos de env�o (a excepci�n de los gastos adicionales resultantes del hecho de que haya elegido un tipo de env�o distinto al env�o est�ndar m�s barato que ofrecemos), sin demora y a m�s tardar en un plazo de catorce d�as a partir del d�a en que hayamos recibido la notificaci�n de su rescisi�n del contrato. Para este reembolso, utilizaremos el mismo medio de pago que usted utiliz� para la transacci�n original, a menos que se acuerde expresamente lo contrario con usted; en ning�n caso se le cobrar� por este reembolso. Podremos denegar el reembolso hasta que hayamos recibido la mercanc�a o hasta que usted haya presentado una prueba de que ha devuelto la mercanc�a, lo que ocurra primero. Deber� devolver los bienes inmediatamente y, en cualquier caso, en un plazo m�ximo de catorce d�as a partir del d�a en que nos notifique la rescisi�n del presente contrato a nosotros o a para devolver la mercanc�a:
medimops.de Retoure,
Am alten Flughafen 100,
D-04356 Leipzig
Alemania

El plazo se cumple si env�a la mercanc�a antes de que transcurran los catorce d�as. Usted correr� con los gastos directos de devoluci�n de la mercanc�a. S�lo tiene que pagar la p�rdida de valor de la mercanc�a si �sta se debe a una manipulaci�n de la misma que no es necesaria para comprobar su estado, propiedades y funcionamiento.

Condiciones de env�o

Tarifas de env�o de Alemania a Estados Unidos de America

Tarifas de env�o de Alemania a Estados Unidos de America
Cantidad del pedido	De 10 a 20 d�as h�biles	De 10 a 20 d�as h�biles
Primer art�culo	EUR 10.00	EUR 15.00

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.

Informaci�n detallada sobre el vendedor