Artículos relacionados a The Haskell Road to Logic, Maths and Programming. Second...

The Haskell Road to Logic, Maths and Programming. Second Edition: v. 4 (Texts in Computing S.) - Tapa blanda

 
9780954300692: The Haskell Road to Logic, Maths and Programming. Second Edition: v. 4 (Texts in Computing S.)

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

"Sinopsis" puede pertenecer a otra edición de este libro.

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.

  • EditorialCollege Publications
  • Año de publicación2004
  • ISBN 10 0954300696
  • ISBN 13 9780954300692
  • EncuadernaciónTapa blanda
  • IdiomaInglés
  • Número de edición2
  • Número de páginas450
  • Contacto del fabricanteno disponible

Comprar usado

Condición: Regular
Readable copy. Pages may have considerable...
Ver este artículo

EUR 10,04 gastos de envío desde Estados Unidos de America a España

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

EUR 4,76 gastos de envío desde Reino Unido a España

Destinos, gastos y plazos de envío

Otras ediciones populares con el mismo título

9781954300699: The Haskell Road to Logic, Maths and Programming. Second Edition

Edición Destacada

ISBN 10:  1954300697 ISBN 13:  9781954300699
Editorial: College Publications, 2004
Tapa blanda

Resultados de la búsqueda para The Haskell Road to Logic, Maths and Programming. Second...

Imagen de archivo

Doets, Kees; Eijck, Van Jan
Publicado por College Publications, 2004
ISBN 10: 0954300696 ISBN 13: 9780954300692
Antiguo o usado Paperback

Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less 1.5. Nº de ref. del artículo: G0954300696I5N00

Contactar al vendedor

Comprar usado

EUR 7,13
Convertir moneda
Gastos de envío: EUR 10,04
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Doets, Kees; Eijck, Van Jan
Publicado por College Publications, 2004
ISBN 10: 0954300696 ISBN 13: 9780954300692
Antiguo o usado Paperback

Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.5. Nº de ref. del artículo: G0954300696I4N00

Contactar al vendedor

Comprar usado

EUR 7,13
Convertir moneda
Gastos de envío: EUR 10,04
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Doets, Kees; Eijck, Van Jan
Publicado por College Publications, 2004
ISBN 10: 0954300696 ISBN 13: 9780954300692
Antiguo o usado Paperback

Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less 1.5. Nº de ref. del artículo: G0954300696I5N00

Contactar al vendedor

Comprar usado

EUR 7,13
Convertir moneda
Gastos de envío: EUR 10,04
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Doets, Kees; Eijck, Van Jan
Publicado por College Publications, 2004
ISBN 10: 0954300696 ISBN 13: 9780954300692
Antiguo o usado Paperback

Librería: ThriftBooks-Reno, Reno, NV, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.5. Nº de ref. del artículo: G0954300696I4N00

Contactar al vendedor

Comprar usado

EUR 8,24
Convertir moneda
Gastos de envío: EUR 10,04
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

van Eijck, Jan
Publicado por College Publications, 2004
ISBN 10: 0954300696 ISBN 13: 9780954300692
Antiguo o usado Paperback

Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Nº de ref. del artículo: GOR004882927

Contactar al vendedor

Comprar usado

EUR 18,13
Convertir moneda
Gastos de envío: EUR 7,17
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Doets, Kees
Publicado por College Publications, 2004
ISBN 10: 0954300696 ISBN 13: 9780954300692
Antiguo o usado Tapa blanda

Librería: Better World Books: West, Reno, NV, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: As New. Used book that is in almost brand-new condition. Nº de ref. del artículo: 51943911-75

Contactar al vendedor

Comprar usado

EUR 9,22
Convertir moneda
Gastos de envío: EUR 18,32
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Kees Doets; Jan Van Eijck
Publicado por College Publications, 2004
ISBN 10: 0954300696 ISBN 13: 9780954300692
Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. In. Nº de ref. del artículo: ria9780954300692_new

Contactar al vendedor

Comprar nuevo

EUR 24,59
Convertir moneda
Gastos de envío: EUR 4,76
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Jan van Eijck
Publicado por Kings College Publications, 2004
ISBN 10: 0954300696 ISBN 13: 9780954300692
Nuevo PAP
Impresión bajo demanda

Librería: PBShop.store UK, Fairford, GLOS, Reino Unido

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9780954300692

Contactar al vendedor

Comprar nuevo

EUR 25,18
Convertir moneda
Gastos de envío: EUR 4,42
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Jan van Eijck
Publicado por Kings College Publications, 2004
ISBN 10: 0954300696 ISBN 13: 9780954300692
Nuevo PAP
Impresión bajo demanda

Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9780954300692

Contactar al vendedor

Comprar nuevo

EUR 29,58
Convertir moneda
Gastos de envío: EUR 1,07
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

DOETS, KEES
Publicado por College Publications, 2004
ISBN 10: 0954300696 ISBN 13: 9780954300692
Nuevo Tapa blanda

Librería: Speedyhen, London, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: NEW. Nº de ref. del artículo: NW9780954300692

Contactar al vendedor

Comprar nuevo

EUR 22,96
Convertir moneda
Gastos de envío: EUR 9,55
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 3 disponibles

Añadir al carrito

Existen otras 11 copia(s) de este libro

Ver todos los resultados de su búsqueda