| 書目名稱 | Mathematics in Programming | | 編輯 | Xinyu Liu | | 視頻video | http://file.papertrans.cn/627/626920/626920.mp4 | | 概述 | Presents the mathematics view, tools, and logic foundations of computer programming.Introduces recursion, abstract algebra, and category theory through Haskell programming language.Provides mathematic | | 圖書封面 |  | | 描述 | .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 n | | 出版日期 | Book 2024 | | 關(guān)鍵詞 | Mathematical foundations of computer science; Functional programming; Category theory; Lambda Calculus; | | 版次 | 1 | | doi | https://doi.org/10.1007/978-981-97-2432-1 | | isbn_softcover | 978-981-97-2431-4 | | isbn_ebook | 978-981-97-2432-1 | | copyright | China Machine Press, Beijing, China 2024 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-17 08:18
發(fā)表于 2025-3-21 19:36:09
