Your download link is at the very bottom of the page... always.


Processed through Paypal
No account required.

Donate Bitcoin to this wallet:
 1KkUMXvQ2ko3xcJkzitB7WYgoW6m79WFfm
 Donate Ethereum to this wallet:
 0x40E56922F43637224935CDC35e2c96E0392A8505
 Donate Litecoin to this wallet:
 LLYAFEyqjH69gkyCEpRjXNyedRCWrVChfL

Buy our over-priced crap to help keep things running.
OlderGeeks 2025OG Dad CapNo Password


Follow us on BlueskyFollow us on XJoin our Facebook groupFollow us on InstagramOur RSS FeedJoin us on TikTokJoin us on LinkedIn


 Home » OlderGeeks.com Freeware Downloads » General Education/Teaching Resources » Isomorphism- Mathematics of Programming Book   
File - Download Isomorphism- Mathematics of Programming Book
Description
A Plea.
Deanna and I (Your Older Geeks) have been running OlderGeeks.com since 2008 and lately we are seeing a major increase in usage (and cost) but a big decline in percentage of users who donate. Our ad-free and junkware-free download site only works if everyone chips in to offset the revenue that ads on other sites bring in. Please donate on the website today. Every little bit helps. Thank you so much.
-D&R


Always scroll to the bottom of the page for the main download link.
We don't believe in fake/misleading download buttons and tricks. The link is always in the same place.

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.
Continue below for the main download link.
Downloads Views Developer Last Update Version Size Type Rank
2,510 4,318 Liu Xinyu <img src="https://www.oldergeeks.com/downloads/gallery/thumbs/Isomorphism1_th.png"border="0"> Oct 21, 2021 - 12:03 0.61803391 15.11MB PDF 5/5, out of 33 Votes.
File Tags
Isomorphism-  Mathematics  of  Programming  Book  
      
Ope! Hold on, Speedy.
You gotta read this before you download below:

There are no ads, no fake download buttons and no crapware here.
This website has lived for 16 years solely through donations.
You can download without donating but we use the "Honor System"
here in the Ozarks. If your momma raised you to be honorable,
make your donation to keep things running.
Your momma would be so proud!

Thank you! -Randy & Deanna (The Older Geeks)
Missouri Ozarks, USA
Monthly operating costs = $750
Donations cover operating costs first
then are set aside for future upgrades and/or
handed-over to Deanna for new shoes.
PayPal or Credit/Debit
IMPORTANT: This donation will show up as Home Computer Repair on your bank statement.
Or

Or

Or
Send a check payable to Home Computer Repair LLC, 208 E. Water St. Mount Vernon, MO 65712

Recent Super Donors ($50+)
Thanks, Brian
Thanks, John
Thanks, Michael
Thanks, Robert
Thanks, Suzanne

Recent Donors
Thanks, Benjamin
Thanks, Bruce
Thanks, Howard
Thanks, Marc
Thanks, Terry
Thanks, Stephen
Thanks, Peter
Thanks, Eric
Thanks, Susan
Thanks, Tomasz
→ Download Your File ←


Click to Rate File     Share it on Twitter →


OlderGeeks.com Copyright (c) 2025