Doets, Kees
The Haskell Road to Logic, Maths and Programming: v. 4 (Texts in Computing)
- ISBN 13:
- 9780954300692
- author:
- Doets, Kees
- format:
- Paperback
- publisher:
- King's College Publications
- language:
- English
- Publication Year:
- 2004
- Pages:
- 444
- Dimensions:
- 156 mm X 234 mm
- Genre:
- Mathematical logic
- Condition:
- New
- Availability:
- Item usually sent within 5 working days
Description
The Haskell Road to Logic, Maths and Programming. Second Edition is a comprehensive textbook that teaches logic and mathematical reasoning in practice, connecting logical reasoning with computer programming in Haskell. This updated edition builds upon the foundations of lazy functional programming, allowing for smooth handling of infinite data structures. No prior experience with programming or construction of formal proofs is assumed, but a basic understanding of secondary school mathematics is presumed. The book explains everything needed to know about mathematical reasoning and programming as it progresses, enabling readers to write interesting programs, reason about their correctness, and document them clearly. By the end of this book, readers will be able to set up mathematical proofs in a structured way and read and digest mathematical proofs written by others. This second edition offers an expanded and corrected version of a highly acclaimed textbook, making it an ideal resource for those looking to learn Haskell and its applications in logic and mathematics.
Related Products
Related Products
Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science)
Sannella, Donald
Programming in Haskell
Graham Hutton
Computability and Logic
Boolos, George S.
My Best Mathematical and Logic Puzzles (Math & Logic Puzzles)
Gardner, Martin
JUMP at Home, Grade 4: Worksheets for the JUMP Math Program
Mighton, John