Paperback. Condition: new. Paperback. 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 naive set theory and transfinite numbers, from which the logic paradox arises. Finally, it introduces four historical views of mathematical foundation, as well as Goedels 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. The book presents the mathematical view and tools of computer programming with broad and friendly context. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9789819724314

Contact seller

Buy New

US$ 87.44

Convert currency

Shipping: FREE

Within U.S.A.

Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Mathematics in Programming

Liu, Xinyu

Published by Springer, 2024

ISBN 10: 9819724317 ISBN 13: 9789819724314

New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars

Condition: New. In. Seller Inventory # ria9789819724314_new

Contact seller

Buy New

US$ 81.19

Convert currency

Shipping: US$ 15.44

From United Kingdom to U.S.A.

Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Mathematics in Programming

Liu, Xinyu

Published by Springer, 2024

ISBN 10: 9819724317 ISBN 13: 9789819724314

Used Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars

Condition: As New. Unread book in perfect condition. Seller Inventory # 48030284

Contact seller

Buy Used

US$ 77.89

Convert currency

Shipping: US$ 19.33

From United Kingdom to U.S.A.

Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Mathematics in Programming

Xinyu Liu

Published by Springer, Berlin, Springer Nature Singapore, China Machine Press Co.,Ltd., Springer, 2024

ISBN 10: 9819724317 ISBN 13: 9789819724314

New Taschenbuch

Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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ödel's 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. 383 pp. Englisch. Seller Inventory # 9789819724314

Contact seller