Название: Mathematics in Programming Автор: Xinyu Liu Издательство: Springer Год: 2024 Страниц: 393 Язык: английский Формат: pdf (true), epub Размер: 50.15 MB
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.
Data Structures - AU 2018 Название: Data Structures Автор: E. Balagurusamy Издательство: McGraw Hill Год: 2018 Страниц: 264 Язык: английский Формат: pdf (true) Размер:...
Elementary Number Theory with Programming Название: Elementary Number Theory with Programming Автор: Marty Lewinter, Jeanine Meyer Издательство: Wiley Год: 2015 Формат: PDF Страниц: 232 Для...
Discrete Mathematics and Functional Programming Название: Discrete Mathematics and Functional Programming Автор: Thomas VanDrunen Издательство: Franklin, Beedle & Associates Год: 2012 Страниц:...
Introduction to Recursive Programming Название: Introduction to Recursive Programming Автор: Manuel Rubio-Sanchez Издательство: CRC Год: 2017 Страниц: 446 Формат: True PDF, EPUB, AZW3...
Introduction to Programming Languages Название: Introduction to Programming Languages Автор: Arvind Kumar Bansal Издательство: CRC Год: 2014 Страниц: 624 Формат: PDF Размер: 10 Mb Язык:...
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Навигация
Вход на сайт
Реклама
Mathematics in Programming 
