購物比價找書網找車網
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折
好種易活!盆栽種菜全圖解:無農藥、安心吃!全年栽種時程表X 55種蔬菜培育祕訣,新手也能四季都豐收
作者:OZAKI FLOWER PARK
出版社:蘋果屋出版社
出版日期:2024-03-07
66折: $ 329 
金石堂 - 今日66折
致富贏家只做「這件事」:股市小白成為億萬富翁的超強鐵則
作者:上岡正明
出版社:幸福文化
出版日期:2022-12-07
66折: $ 251 
金石堂 - 今日66折
0-6歲親子互動自然發音:跟著唱不會忘,讓孩子玩著玩著不知不覺就記住,神奇的英文發音書!(附QR碼線上音檔)
作者:金旼奏
出版社:國際學村出版社
出版日期:2023-12-28
66折: $ 263 
金石堂 - 今日66折
香料食療不生病:用廚房常見的香料做料理,減壓、補血、除溼、排毒、治小病
作者:歐陽誠
出版社:幸福文化
出版日期:2018-08-29
66折: $ 277 
 
金石堂 - 暢銷排行榜
隱性潛能:華頓商學院最具影響力教授,突破天賦極限的實證科學【附潛能提升秘訣卡】
作者:亞當.格蘭特
出版社:平安文化有限公司
出版日期:2024-07-29
$ 379 
金石堂 - 暢銷排行榜
Honey Trouble(2)【特裝版】
作者:MORAK
出版社:台灣角川股份有限公司
出版日期:2025-06-26
$ 790 
博客來 - 暢銷排行榜
納瓦爾寶典珍藏版:從白手起家到財務自由,矽谷傳奇創投家的投資哲學與人生智慧
作者:艾瑞克.喬根森 (Eric Jorgenson)
出版社:天下雜誌
出版日期:2025-02-05
$ 355 
Taaze 讀冊生活 - 暢銷排行榜
被討厭的勇氣:自我啟發之父「阿德勒」的教導
作者:岸見一郎、古賀史健
出版社:究竟出版
出版日期:2014-10-30
$ 237 
 
博客來 - 新書排行榜
膽大黨 17 (首刷限定版)
作者:龍幸伸
出版社:東立
出版日期:2025-04-14
$ 209 
金石堂 - 新書排行榜
WIND BREAKER–防風少年–(13)
作者:にいさとる
出版社:尖端漫畫
出版日期:2025-04-18
$ 119 
金石堂 - 新書排行榜
魔法帽的工作室 06(首刷限量版)
作者:白濱鷗
出版社:四季出版國際文化有限公司
出版日期:2025-04-30
$ 134 
Taaze 讀冊生活 - 新書排行榜
北派盜墓筆記(10)
作者:雲峰
出版社:北京億森同創文化
出版日期:2025-04-18
$ 79 
 

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