東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Mathematics in programming

Liu, Xinyu.

FindBook

Google Book

Amazon

博客來

Mathematics in programming

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Mathematics in programming/ by Xinyu Liu.
作者:	Liu, Xinyu.
出版者:	Singapore :Springer Nature Singapore : : 2024.,
面頁冊數:	xii, 383 p. :ill., digital ;24 cm.
內容註:	Chapter 1 Numbers -- Chapter 2 Recursion -- Chapter 3 Symmetry -- Chapter 4 Category -- Chapter 5 Fusion -- Chapter 6 Infinity -- Chapter 7 Paradox.
Contained By:	Springer Nature eBook
標題:	Computer programming - Mathematics. -
電子資源:	https://doi.org/10.1007/978-981-97-2432-1
ISBN:	9789819724321

Mathematics in programming
Liu, Xinyu.

Mathematics in programming[electronic resource] /by Xinyu Liu. - Singapore :Springer Nature Singapore :2024. - xii, 383 p. :ill., digital ;24 cm.

Chapter 1 Numbers -- Chapter 2 Recursion -- Chapter 3 Symmetry -- Chapter 4 Category -- Chapter 5 Fusion -- Chapter 6 Infinity -- Chapter 7 Paradox.

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 naïve set theory and transfinite numbers, from which the logic paradox arises. Finally, it introduces four historical views of mathematical foundation, as well as Gö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.

ISBN: 9789819724321

Standard No.: 10.1007/978-981-97-2432-1doiSubjects--Topical Terms:

1568509
Computer programming
--Mathematics.

LC Class. No.: QA76.6

Dewey Class. No.: 005.130151

Mathematics in programming
LDR:02712nmm a2200325 a 4500 001 2373856
003 DE-He213
005 20240711125239.0
006 m d
007 cr nn 008maaau
008 241231s2024 si s 0 eng d
020 $a 9789819724321 $q (electronic bk.)
020 $a 9789819724314 $q (paper)
024 7 $a 10.1007/978-981-97-2432-1 $2 doi
035 $a 978-981-97-2432-1
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.6
072 7 $a UYA $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 005.130151 $2 23
090 $a QA76.6 $b .L783 2024
100 1 $a Liu, Xinyu. $3 1920374
245 1 0 $a Mathematics in programming $h [electronic resource] / $c by Xinyu Liu.
260 $a Singapore : $b Springer Nature Singapore : $b Imprint: Springer, $c 2024.
300 $a xii, 383 p. : $b ill., digital ; $c 24 cm.
505 0 $a Chapter 1 Numbers -- Chapter 2 Recursion -- Chapter 3 Symmetry -- Chapter 4 Category -- Chapter 5 Fusion -- Chapter 6 Infinity -- Chapter 7 Paradox.
520 $a 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 naïve set theory and transfinite numbers, from which the logic paradox arises. Finally, it introduces four historical views of mathematical foundation, as well as Gö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.
650 0 $a Computer programming $x Mathematics. $3 1568509
650 1 4 $a Computer Science Logic and Foundations of Programming. $3 3538531
650 2 4 $a Mathematical Applications in Computer Science. $3 1567978
650 2 4 $a Mathematics in Popular Science. $3 3604726
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
856 4 0 $u https://doi.org/10.1007/978-981-97-2432-1
950 $a Computer Science (SpringerNature-11645)