Author | Kees Doets |
Title | The Haskell Road to Logic, Maths and Programming. Second Edition |
eBook format | Paperback, (torrent) |
Publisher | College Publications |
File size | 3.5 Mb |
Ganre | Computer Science |
Release date | 07.05.2004 |
ISBN | 9780954300692 |
Pages count | 426 |
Book rating | 4.43 (60 votes) |
Show that the relation < on N is the transitive closure of the relation R = {(n, n + 1) | n in N}.
Give a corecursive program for producing the Thue-Morse sequence as a stream.
13.02.2015
Tags: download, kees doets, ebook, pdf, the haskell road to logic, maths and programming. second edition
Filename | Size | Link |
---|---|---|
the_haskell_road_to_logic_maths_and_programming.pdf | 3.5 Mb | Download |
the_haskell_road_to_logic_maths_and_programming.zip | 3.15 Mb | Download |
the_haskell_road_to_logic_maths_and_programming.torrent | 0.18 Mb | Download |