|
|
Processed through Paypal No account required. |
Buy our over-priced crap to help pay the bills.
|
|
Processed through Paypal No account required. |
| Files | ||||
| File Name | Rating | Downloads | ||
 |
Isomorphism- Mathematics of Programming Book Isomorphism- Mathematics of Programming Book Open book about math and programming. This book introduces the mathematics behind computer programming. Contents The book can be downloaded in both English (EN) and Chinese (中文). Preface 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 exercise. This download is for the English (EN) version. If you need the Chinese (中文) version, download here. Click here to visit the author's website. |
 |
3,183 | Oct 21, 2021 Liu Xinyu  |
| Showing rows 1 to 1 of 1 | Showing Page 1 of 1 | 1 |
OlderGeeks.com Copyright (c) 2026
