中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
闖進數學世界――探秘歷史名題
-
>
中醫基礎理論
-
>
當代中國政府與政治(新編21世紀公共管理系列教材)
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國特色社會主義理論體系概論(2021年版)
-
>
中醫內科學·全國中醫藥行業高等教育“十四五”規劃教材
函數式程序設計 版權信息
- ISBN：9787302626909
- 條形碼：9787302626909 ; 978-7-302-62690-9
- 裝幀：平裝-膠訂
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
函數式程序設計 本書特色
1.一本專門介紹函數式程序設計基本思想和方法的入門級讀物。
2.循序漸進，從基礎原理到高級的語言特征逐步介紹，具有通俗、系統、寬廣的特點。
3.學習門檻低，適合不具備相關知識基礎的初學者閱讀和理解。
4.習題豐富，并對部分有難度的習題給出參考答案，照顧不具備課堂學習條件的讀者自行學習。
5.適合作為普通高等院校計算機科學和軟件工程專業的本科生教學參考書。
函數式程序設計 內容簡介
本書是一本介紹函數式程序設計理論的入門讀物。在內容選取上，先以λ-演算作為背景知識，然后介紹Coq和OCaml的基本用法及其主要語言特征。本書的重點是介紹函數式程序設計的基本思想和方法，讓讀者了解、欣賞，進而喜歡函數式程序設計。本書共分4章：第1章介紹不帶類型的λ-演算、簡單類型的λ-演算和F系統，主要討論語法和β-歸約語義；第2章介紹Coq，重點從函數式程序設計的角度展開討論，內容涉及列表、多態列表、依賴類型、高階函數、柯里-霍華德關聯及余歸納類型等；第3章介紹OCal這門通用程序設計語言，除了基本的程序設計概念，還討論函子和單子這樣比較高級的語言特征；第4章提供了部分習題的參考答案，方便感興趣的讀者自行學習。本書循序漸進，從基礎原理到高級的語言特征，具有通俗、系統、寬廣的特點，適合作為普通高等院校計算機科學和軟件工程專業的本科生教學參考書，同時也可作為軟件理論方向研究人員的入門讀物。
函數式程序設計 目錄
第 1章 ζ-演算 .1
1.1 ζ-演算的起源1
1.2不帶類型的 ζ-演算2
1.2.1語法 3
1.2.2船-等價 .4
1.2.3替換 6
1.2.4 (-歸約 .7
1.2.5表達能力9
1.2.6不動點 .12
1.2.7其他數據類型 .13
1.2.8邱奇-羅索定理 14
1.2.9歸約策略15
1.3簡單類型的 ζ-演算16
1.3.1簡單類型的項 .16
1.3.2歸約 19
1.3.3正規化 .20
1.4 F系統 .21
1.4.1語法 21
1.4.2語義 22
第 2章 Coq 24
2.1基本的函數式編程.24
2.2歸約規則 31
2.3列表.33
2.4規則歸納 39
2.5多態列表 40
2.6依賴類型 42
2.7高階函數 43
2.8柯里-霍華德關聯.45
2.9歸納證明 47
2.10常用證明策略50
2.11證明自動化 .53
2.12余歸納類型 .55
2.13代碼抽取 62
函數式程序設計
第 3章 OCaml .65 3.1安裝和使用 OCaml .65 3.2數據類型與函數 66 3.3控制結構 78 3.4高階函數 82 3.5記憶.84 3.6異常.85 3.7排序.86 3.8隊列.87 3.9模塊.90 3.10函子 .92 3.11單子 .94 第 4章部分習題參考答案 98 4.1第 1章練習題.98 4.2第 2章練習題.99 4.3第 3章練習題. 106 參考文獻 112 索引. 113
第 3章 OCaml .65 3.1安裝和使用 OCaml .65 3.2數據類型與函數 66 3.3控制結構 78 3.4高階函數 82 3.5記憶.84 3.6異常.85 3.7排序.86 3.8隊列.87 3.9模塊.90 3.10函子 .92 3.11單子 .94 第 4章部分習題參考答案 98 4.1第 1章練習題.98 4.2第 2章練習題.99 4.3第 3章練習題. 106 參考文獻 112 索引. 113
展開全部
函數式程序設計 作者簡介
鄧玉欣 華東師范大學軟件工程學院 教授 ，長期從事形式化方法領域的基礎研究，主要研究方向包括并發計算模型和程序理論。代表性工作包括一個已經被國外學者寫進教科書的“鄧引理”(DengLemma)（R.Gorrieri, C. Versari. Introduction to Concurrency Theory – Transition Systemsand CCS. Springer, 2015）和關于概率并發理論的一部英文專著（Y.Deng. Semantics of Probabilistic Processes: An Operational Approach. Springer,2015）。發表學術論文75篇, 其中45篇為第一作者，單篇最高引用118次(GoogleScholar)。多篇論文發表在國際權威期刊和會議如Informationand Computation、TheoreticalComputer Science、CONCUR、ICALP、LICS、POPL等。曾為CONCUR2018作特邀報告，擔任TASE2016程序委員會共同主席，多次擔任理論計算機科學領域著名會議如ICALP2013、ICALP2016、ICALP2018、CONCUR2019、CAV2021的程序委員會委員。
書友推薦
- >
我與地壇
- >
小考拉的故事-套裝共3冊
- >
名家帶你讀魯迅:故事新編
- >
大紅狗在馬戲團-大紅狗克里弗-助人
- >
羅庸西南聯大授課錄
- >
唐代進士錄
- >
人文閱讀與收藏·良友文學叢書:一天的工作
- >
有舍有得是人生
本類暢銷
