• Title Isomorphism - Mathematics of Programming
• Author(s) Xinyu Liu
• Publisher: GitHub (July 2, 2021)
• License(s): CC BY-SA 3.0
• Paperback: N/A
• eBook: PDF (323 pages)
• Language: English
• ISBN-10/ASIN: N/A
• ISBN-13: N/A
• Share This:  

Book Description

This book introduces the mathematics behind computer programming.

This is what this book intents to tell: programming is isomorphic to mathematics. Just like in art and music, there are interesting stories and mathematicians behind the great minds.

With the rapid development of artificial intelligence and machine learning, can we keep moving forward with a little cleverness and engineering practice? Are we going to open the mysterious black box to find the map to the future?

• Xinyu Liu is a Software Developement Manager (SDM) at Amazon.

• Amazon

• Discrete and Finite Mathematics
• Computer Programming
• Introduction to Computer Science
• General and Miscellaneous Mathematics

• Isomorphism - Mathematics of Programming (Xinyu Liu)
• Book Homepage (New Versions, etc.)

• Elements of Discrete Mathematics (Richard Hammack)

  This book explains complex, abstract concepts with clarity and precision and provides a strong foundation for computer science and upper-level mathematics courses of the computer age.

• A Cool Brisk Walk Through Discrete Mathematics (Stephen Davies)

  This is a completely and forever free and open source educational materials dedicated to the mathematics that budding computer science practitioners actually need to know. They feature the fun and addictive teaching of award-winning lecturer!

• Mathematics for Computer Science (Eric Lehman, et al)

  This book covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods. explores the topics of basic combinatorics, number and graph theory, logic and proof techniques.

• Discrete Mathematics: An Open Introduction (Oscar Levin)

  This is a gentle introduction to discrete mathematics. Four main topics are covered: counting, sequences, logic, and graph theory. Along the way proofs are introduced, including proofs by contradiction, proofs by induction, and combinatorial proofs.

• Applied Discrete Structures, Fundamentals (Al Doerr, et al)

  This book contains most of the fundamental concepts taught in a one semester course in discrete mathematics which is a required course for students in Computer Science, Mathematics and Information Technology.

• Advances in Discrete Differential Geometry (Alexander I. Bobenko)

  It surveys the fascinating connections between discrete models in differential geometry and complex analysis, integrable systems and applications in computer graphics and is illustrated to convince readers it's both beautiful and useful.

• Mathematical Foundations and Aspects of Discrete Mathematics

  This is a book about discrete mathematics which also discusses mathematical reasoning and logic. It offers an introduction to discrete mathematics for undergraduate students in computer science and mathematics.

• A Spiral Workbook for Discrete Mathematics (Harris Kwong)

  This is a book on discrete mathematics with an emphasis on motivation. It explains and clarifies the unwritten conventions in mathematics, and guides the students through a detailed discussion on how a proof is revised from its draft to a final polished form.

• Discrete Structures for Computer Science: Counting, Recursion

  This book provides a broad introduction to some of the most fascinating and beautiful areas of discrete mathematical structures with examples in logic, applications of the principle of inclusion and exclusion and finally the pigeonhole principal.

• Mathematics for Computer Scientists (Gareth J. Janacek, et al)

  The aim of this book is to present some the basic mathematics that is needed by computer scientists. The reader is not expected to be a mathematician and we hope will find what follows useful.

• Lists, Decisions and Graphs - With an Introduction to Probability

  In this book, four basic areas of discrete mathematics are presented: Counting and Listing (Unit CL), Functions (Unit Fn), Decision Trees and Recursion (Unit DT), and Basic Concepts in Graph Theory (Unit GT).

• Programming and Mathematical Thinking: Discrete Math & Python

  Starting at an elementary level, this book teaches about fundamental structures of discrete mathematics and many simple but powerful programming techniques using those structures.

• Discrete Mathematics for Computer Science (Jean Gallier)

  This book gives an introduction to discrete mathematics for beginning undergraduates. One of original features of this book is that it begins with a presentation of the rules of logic as used in mathematics. Many examples of formal and informal proofs are given.

• Discrete Mathematics for Computer Science Students

  This book gives thorough coverage to topics that have great importance to computer scientists and provides a motivating computer science example for each math topic. Contents: Counting; Cryptography and Number Theory; Reflections on Logic and Proof.