Mathematics in Programming | Agenda Bookshop Skip to content
Black Friday Sale Now On! | Buy 3 Get 1 Free on all books | Instore & Online.
Black Friday Sale Now On! | Buy 3 Get 1 Free on all books | Instore & Online.
A01=Xinyu Liu
Age Group_Uncategorized
Age Group_Uncategorized
Author_Xinyu Liu
automatic-update
Category1=Non-Fiction
Category=PBW
Category=UYAM
COP=Singapore
Delivery_Delivery within 10-20 working days
Language_English
PA=Available
Price_€50 to €100
PS=Active
softlaunch

Mathematics in Programming

English

By (author): Xinyu Liu

The book presents the mathematical view and tools of computer programming with broad and friendly context. It explains the basic concepts such as recursion, computation model, types, data, and etc. The book serves as an introductory and reference guide to the engineers, students, researchers, and professionals who are interested in functional programming, type system, and computer programming languages.

The book covers seven topics. Firstly, it lays out the number system based on Peano Axioms and demonstrates the isomorphic computer data structures. Then, it introduces Lambda calculus as a computing model and recursion, an important programming structure, with the Y-combinator. It next presents the basic abstract algebra, including group and fields, and provides a friendly introduction to Galois theory. After that, it uses category theory as a tool to explain several concepts in computer programming, including the type system, polymorphism, null handler, and recursive data types, then followed by an application of program optimization. In the last two chapters, the author shows how to program with the concept of infinity through stream and lazy evaluation, and then explains the naïve set theory and transfinite numbers, from which the logic paradox arises. Finally, it introduces four historical views of mathematical foundation, as well as Gödels incompleteness theorems developed in 1930s, and how they define the boundaries of computer programming. Additionally, the book provides biographies, stories, and anecdotes of 25 mathematicians, along with over 130 exercises and their corresponding answers.

 

See more
Current price €64.59
Original price €67.99
Save 5%
A01=Xinyu LiuAge Group_UncategorizedAuthor_Xinyu Liuautomatic-updateCategory1=Non-FictionCategory=PBWCategory=UYAMCOP=SingaporeDelivery_Delivery within 10-20 working daysLanguage_EnglishPA=AvailablePrice_€50 to €100PS=Activesoftlaunch
Delivery/Collection within 10-20 working days
Product Details
  • Dimensions: 155 x 235mm
  • Publication Date: 11 Jul 2024
  • Publisher: Springer Verlag Singapore
  • Publication City/Country: Singapore
  • Language: English
  • ISBN13: 9789819724314

About Xinyu Liu

Xinyu Liu is a senior manager in the software engineering team at Amazon where he leads to build multiple distribution software systems for fulfilment and supply-chain technology. He graduated and received his master degree from Tsinghua University in 2002. His main interests are functional algorithm and data structures mathematics and logic foundations of programming.

Customer Reviews

Be the first to write a review
0%
(0)
0%
(0)
0%
(0)
0%
(0)
0%
(0)
We use cookies to ensure that we give you the best experience on our website. If you continue we'll assume that you are understand this. Learn more
Accept