Related Books

The Haskell Road to Logic, Maths and Programming
Language: en
Pages: 448
Authors: Kees Doets
Categories: Haskell (Computer program language)
Type: BOOK - Published: 2004 - Publisher: College Publications

DOWNLOAD EBOOK

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 mathem
Discrete Mathematics Using a Computer
Language: en
Pages: 446
Authors: John O'Donnell
Categories: Computers
Type: BOOK - Published: 2007-01-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Computer science abounds with applications of discrete mathematics, yet s- dents of computer science often study discrete mathematics in the context of purely m
Simply Logical
Language: en
Pages: 256
Authors: Peter Flach
Categories: Computers
Type: BOOK - Published: 1994-04-07 - Publisher: Wiley

DOWNLOAD EBOOK

An introduction to Prolog programming for artificial intelligence covering both basic and advanced AI material. A unique advantage to this work is the combinati
Programming in Haskell
Language: en
Pages: 184
Authors: Graham Hutton
Categories: Computers
Type: BOOK - Published: 2007-01-15 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Haskell is one of the leading languages for teaching functional programming, enabling students to write simpler and cleaner code, and to learn how to structure
Pearls of Functional Algorithm Design
Language: en
Pages:
Authors: Richard Bird
Categories: Computers
Type: BOOK - Published: 2010-09-16 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Richard Bird takes a radical approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming proble