Read Isomorphism: Mathematics of Programming

Isomorphism: Mathematics of Programming

Larry Liu Xinyu

4.9/5 (11127 ratings)

Description:Hi,I recently released a book about mathematics and programming in github.I mainly provide examples, and code snippets in Haskell. The PDF can be downloaded under GNU FDL license.There are 7 chapters together with 108 problems as exercise. I also included all the answers in the appendix. Here are the table of content:Preface - A story about isomorphism.Chapter 1, Natural numbers. Peano Axiom, list and folding;Chapter 2, Recursion. Euclidean algorithm, Lambda calculus, and Y-combinator;Chapter 3, Symmetry. Group, Ring, and Field. Galois Theory;Chapter 4, Category theory and type system;Chapter 5, Deforest. Build-fold fusion law, optimization, and algorithm deduction;Chapter 6, Infinity. Set theory, Infinity and stream;Chapter 7, Logic paradox, Gödel's incompleteness theorems, and Turing halting problem.Answers to the exercises.Xinyu LIUWe have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Isomorphism: Mathematics of Programming. To get started finding Isomorphism: Mathematics of Programming, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Pages: 321

Format: PDF, EPUB & Kindle Edition

Publisher: —

Release: 2020

ISBN

Description: Hi,I recently released a book about mathematics and programming in github.I mainly provide examples, and code snippets in Haskell. The PDF can be downloaded under GNU FDL license.There are 7 chapters together with 108 problems as exercise. I also included all the answers in the appendix. Here are the table of content:Preface - A story about isomorphism.Chapter 1, Natural numbers. Peano Axiom, list and folding;Chapter 2, Recursion. Euclidean algorithm, Lambda calculus, and Y-combinator;Chapter 3, Symmetry. Group, Ring, and Field. Galois Theory;Chapter 4, Category theory and type system;Chapter 5, Deforest. Build-fold fusion law, optimization, and algorithm deduction;Chapter 6, Infinity. Set theory, Infinity and stream;Chapter 7, Logic paradox, Gödel's incompleteness theorems, and Turing halting problem.Answers to the exercises.Xinyu LIUWe have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Isomorphism: Mathematics of Programming. To get started finding Isomorphism: Mathematics of Programming, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Special Offer | $0.00

Special Offer! | $0.00

Isomorphism: Mathematics of Programming

Isomorphism: Mathematics of Programming

More Books

Elementary Algorithms

Elementary Algorithms