購物比價找書網找車網
FindBook  
 有 1 項符合

Mathematics in Programming

的圖書
Mathematics in Programming Mathematics in Programming

作者:Liu 
出版社:Springer
出版日期:2024-07-11
語言:英文   規格:平裝 / 普通級/ 初版
圖書選購
型式價格供應商所屬目錄
 
$ 3899
博客來 博客來
數學
圖書介紹 - 資料來源:博客來   評分:
圖書名稱:Mathematics in Programming

內容簡介

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.

 

作者簡介

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.

 

詳細資料

  • ISBN:9789819724314
  • 規格:平裝 / 普通級 / 初版
  • 出版地:美國
贊助商廣告
 
城邦讀書花園 - 今日66折
認識你的能量光環
出版日期:1900-01-01
66折: $ 330 
金石堂 - 今日66折
莫莉的心靈探索之旅:看見自己內在的寶藏,世界就此改變了!
作者:安娜.卡蜜拉.庫普卡
出版社:究竟出版社股份有限公司
出版日期:2023-02-01
66折: $ 198 
金石堂 - 今日66折
專為孩子設計的狗狗摺紙大全集:結合「造型摺紙」X「創意著色」!和孩子一起認識犬種特徵、玩出邏輯思維
作者:金娟秀、Nmedia
出版社:美藝學苑社
出版日期:2023-02-16
66折: $ 383 
金石堂 - 今日66折
瘋高山:登山狂醫師私房安全攻略&高山紀行大公開,讓大人小孩都能放心入山
作者:王士豪
出版社:天下生活股份有限公司
出版日期:2019-06-26
66折: $ 263 
 
Taaze 讀冊生活 - 暢銷排行榜
原子習慣:細微改變帶來巨大成就的實證法則
作者:詹姆斯.克利爾
出版社:方智出版
出版日期:2019-06-01
$ 260 
金石堂 - 暢銷排行榜
蕾卡乃華麗且我的女王【黑條修正】
作者:ぐすたふ
出版社:未來數位有限公司
出版日期:2025-04-04
$ 300 
博客來 - 暢銷排行榜
如果歷史是一群喵(15):大清風雲篇【萌貓漫畫學歷史】
作者:肥志
出版社:野人
出版日期:2025-04-01
$ 387 
 
Taaze 讀冊生活 - 新書排行榜
袖珍動物園(3):探索臺灣大冒險
作者:玉山故事館(張毓珊)
出版社:晴好出版
出版日期:2025-04-09
$ 252 
金石堂 - 新書排行榜
從咬痕開始的色戀
作者:Arinco
出版社:青文出版社股份有限公司
出版日期:2025-03-27
$ 111 
金石堂 - 新書排行榜
超越國境──永不放棄追究日本帝國對慰安婦的責任:二次大戰結束八十週年紀
作者:藤井志津枝、蘇智良、纐纈厚、楊孟哲、洪沇伸
出版社:揚基國際行銷有限公司
出版日期:2025-03-01
$ 277 
 

©2025 FindBook.com.tw -  購物比價  找書網  找車網  服務條款  隱私權政策