TOP
0
0
進階搜尋

熱搜：

風之谷 豪華版

、

鐵橘兄妹開團中

、

減法：少即是多

、

恐龍博士的心情小教室

、

難哄

、

哥吉拉書展

、

段位

、

史坎德3

、

2025線上國際書展

、

特價字典展

、

公務員每月一書

熱搜： 風之谷 豪華版、 鐵橘兄妹開團中、 減法：少即是多、 恐龍博士的心情小教室、 難哄、 哥吉拉書展、 段位、 史坎德3、 2025線上國際書展、 特價字典展、 公務員每月一書

165反詐騙

紅利積點抵現金，消費購書更貼心
篩選商品

縮小範圍

商品類型
簡體書 （1）
商品狀況
可訂購 （1）
庫存狀況
無庫存 （1）
商品定價
$200~$399 （1）
出版日期
2023~2024 （1）
裝訂方式
平裝 （1）
作者
鄧玉欣 （1）
出版社/品牌
清華大學出版社（大陸） （1）

三民網路書店 / 搜尋結果

共1筆，1/1頁
函數式程序設計（簡體書）
滿額折
1.

函數式程序設計（簡體書）

作者：鄧玉欣  出版社：清華大學出版社(大陸)  出版日：2023/07/25 裝訂：平裝
在內容選取上，本講義只涉及 λ-演算，Coq 和 OCaml。毫無疑問，λ-演 算是理解函數式編程語言的基礎和出發點，因此在第一章我們介紹不帶類型 的 λ-演算和簡單類型的 λ-演算，主要討論語法和 β-規約語義。雖然 λ-演算適 合理解函數式編程的一些核心思想，比如數據即函數，但是它的語法構造比較原始，即使表示一個數字都要寫很長的 λ 項，可讀性低，更不用提編寫程序。 Coq 是離 λ-演算比較接近但又能用於編寫一些可讀性較好的計算函數的編程 語言，因此在第二章我們介紹 Coq，重點是從函數式編程的角度展開討論，內 容涉及自然數函數、列表、多態數據結構、高階函數以及柯裡-霍華德關聯。作 者認為 Coq 是來用於講授歸納定義和歸納證明思想的出色工具。雖然 Coq 的 長處在於定理證明，但是深入講解需要很大篇幅，因此**留給專門的書籍， 不適合在入門課程的講義中展開。為滿足適合邏輯證明的需要，Coq 只接受可 終止的函數。這麼強的要求決定它不可能用於日常編程。因此，在第三章我們 介紹一門通用的編程語言 OCaml，除了基本的程序設計概念，我們還會討論 函子和 Monad 這樣比較高級的特徵。講義中選取了一些練習題，希望通過做練習加強 對基本概念的理解。第四章提供了部分習題的參考答案，以方便感興趣的讀者 自行學習。本講義可作為高等院校計算機科學或軟件工程專業的本科教學參 考書。
海外經銷商無庫存，到貨日平均30天至45天
定價：234 元， 優惠價：87 204
  • 共

暢銷榜
客服中心
收藏
會員專區
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品