Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
The Haskell Road to Logic, Maths and Programming (Texts in Computing S.)

Buy
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. The programming language that will be our tool for this is Haskell, a member of the Lisp family. Haskell emerged in the last decade as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Functional programming is a form of descriptive programming, very different from the style of programming that you find in prescriptive languages like C or Java. Haskell is based on a logical theory of computable functions called the lambda calculus.

Lambda calculus is a formal language capable of expressing arbitrary computable functions. In combination with types it forms a compact way to denote on the one hand functional programs and on the other hand mathematical proofs. [Bar84]

Haskell can be viewed as a particularly elegant implementation of the lambda calculus. It is a marvelous demonstration tool for logic and math 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.
(HTML tags aren't allowed.)

Software Paradigms
Software Paradigms
Programming is about the creation of software to solve problems. Problems come in
many forms: simple to complex, small to large, I/O-intensive to compute-intensive.
Over the past four decades, we’ve tried to solve a lot of different types of problems
with software. At some, we have been exceptionally successful and the
...
Embed with Games: A Year on the Couch with Game Developers
Embed with Games: A Year on the Couch with Game Developers
In January of 2014 Cara wasn't quite making rent but her cultural criticism on games for places like The Guardian seemed pretty popular. On a whim she pledged to her Twitter followers that she would do gonzo journalism and travel each month to stay with game creators she found across the world, if they put a bit of money towards...
Drawing Cartoons and Comics For Dummies (Sports & Hobbies)
Drawing Cartoons and Comics For Dummies (Sports & Hobbies)

Your real-world guide to creating and marketing original cartoons

Do you love comics? Want to become a cartoonist? This practical, hands-on guide is packed with step-by-step instructions and plenty of tips for creating your own cartoons. From inanimate objects to animals to aliens, you can see how to breathe life into your characters...


Programming Microsoft  Visual C#  2005: The Language
Programming Microsoft Visual C# 2005: The Language

Get hands-on, expert guidance for developing with Visual C# 2005.

Get the essential, straightforward information you need to master the core capabilities of Visual C# 2005. Both new and experienced developers get expert guidance, hands-on programming instruction, and practical examples to help advance their proficiency in developing...

Moodle 1.9 for Teaching 7-14 Year Olds: Beginner's Guide
Moodle 1.9 for Teaching 7-14 Year Olds: Beginner's Guide
This is not a book for geeks. This book will not tell you about PHP, HTML, or anything else that you don't need to know. This is a practical book for teachers written by a teacher with two decades of experience, latterly, in using Moodle to motivate youngers. The aim of this book is to give you some hints and advice on how to get your Moodle course...
Oppenheimer: The Tragic Intellect
Oppenheimer: The Tragic Intellect
At a time when the Manhattan Project was synonymous with large-scale science, physicist J. Robert Oppenheimer (1904–67) represented the new sociocultural power of the American intellectual. Catapulted to fame as director of the Los Alamos atomic weapons laboratory, Oppenheimer occupied a key position in the compact between science and the...
©2019 LearnIT (support@pdfchm.net) - Privacy Policy