国产第1页_91在线亚洲_中文字幕成人_99久久久久久_五月宗合网_久久久久国产一区二区三区四区

讀書月攻略拿走直接抄!
歡迎光臨中圖網 請 | 注冊

包郵 函數式程序設計

作者:鄧玉欣
出版社:清華大學出版社出版時間:2023-07-01
開本: 16開 頁數: 124
本類榜單:教材銷量榜
中 圖 價:¥33.4(8.6折) 定價  ¥39.0 登錄后可看到會員價
加入購物車 收藏
開年大促, 全場包郵
?新疆、西藏除外
本類五星書更多>

函數式程序設計 版權信息

函數式程序設計 本書特色

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
展開全部

函數式程序設計 作者簡介

鄧玉欣 華東師范大學軟件工程學院 教授 ,長期從事形式化方法領域的基礎研究,主要研究方向包括并發計算模型和程序理論。代表性工作包括一個已經被國外學者寫進教科書的“鄧引理”(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的程序委員會委員。

商品評論(0條)
暫無評論……
書友推薦
本類暢銷
返回頂部
中圖網
在線客服
主站蜘蛛池模板: 国产精品第9页 | 久久视频精品线视频在线网站 | 国产丰满老熟妇乱xxx1区 | 巨大乳女人做爰视频在线看 | 男女一级特黄a大片 | 好了av在线第四综合网站 | 国产叼嘿视频免费网站 | 97在线观看永久免费视频 | 欧美人与动牲交zooz3d | 欧美一级毛片视频 | 国产在线视频福利 | 国产一区二区精品 | 人人妻人人做人人爽 | 久久凹凸 | 欧美精品首页 | 一区二区在线免费观看 | 粗大的内捧猛烈进出小视频 | 黄色的视频免费看 | 国产精品久久久久久久久久久威 | 欧美天天 | 久草视频免费看 | 尤物视频在线免费观看 | 国产丝袜在线精品丝袜 | 国产欧美日韩精品第一区 | 女性一级全黄生活片在线播放 | 国产玖玖在线 | 91久久亚洲国产成人精品性色 | 中文字幕+乱码+中文字幕无忧 | 麻豆国产97在线 | 欧美 | 久久精品国产亚洲高清 | 色综合精品久久久久久久 | 日韩精品无码免费专区网站 | 亚洲精品久久久久久动漫器材一区 | 国产精品原创永久在线观看 | 日本三线免费视频观看 | 欧美日韩久久中文字幕 | 天天拍久久 | 欧洲成人午夜精品无码区久久 | 亚洲w码欧洲s码免费 | 国产精品视频免费在线观看 | 欧美成人一品道免费视频 |