同類熱銷排行榜

函數式程序設計(高等學校電腦專業系列教材)

作者：編者:鄧玉欣|責編:龍啟銘//常建麗
出版社：清華大學
ISBN：9787302626909

出版日期：2023/07/01
裝幀：平裝
頁數：114

人民幣：RMB 39 元售價：元

內容大鋼

    本書是一本介紹函數式程序設計理論的入門讀物。在內容選取上，先以λ-演算作為背景知識，然後介紹Coq和OCaml的基本用法及其主要語言特徵。本書的重點是介紹函數式程序設計的基本思想和方法，讓讀者了解、欣賞，進而喜歡函數式程序設計。
    本書共分4章：第1章介紹不帶類型的λ-演算、簡單類型的λ-演算和F系統，主要討論語法和β-歸約語義；第2章介紹Coq，重點從函數式程序設計的角度展開討論，內容涉及列表、多態列表、依賴類型、高階函數、柯里一霍華德關聯及余歸納類型等；第3章介紹OCaml這門通用程序設計語言，除了基本的程序設計概念，還討論函子和單子這樣比較高級的語言特徵；第4章提供了部分習題的參考答案，方便感興趣的讀者自行學習。
    本書循序漸進，從基礎原理到高級的語言特徵，具有通俗、系統、寬廣的特點，適合作為普通高等院校電腦科學和軟體工程專業的本科生教學參考書，同時也可作為軟體理論方向研究人員的入門讀物。

作者介紹

編者:鄧玉欣|責編:龍啟銘//常建麗

第1章  λ-演算
  1.1  λ-演算的起源
  1.2  不帶類型的λ-演算
    1.2.1  語法
    1.2.2  α-等價
    1.2.3  替換
    1.2.4  β-歸約
    1.2.5  表達能力
    1.2.6  不動點
    1.2.7  其他數據類型
    1.2.8  邱奇-羅索定理
    1.2.9  歸約策略
  1.3  簡單類型的λ-演算
    1.3.1  簡單類型的項
    1.3.2  歸約
    1.3.3  正規化
  1.4  F系統
    1.4.1  語法
    1.4.2  語義
第2章  Coq
  2.1  基本的函數式編程
  2.2  歸約規則
  2.3  列表
  2.4  規則歸納
  2.5  多態列表
  2.6  依賴類型
  2.7  高階函數
  2.8  柯里-霍華德關聯
  2.9  歸納證明
  2.10  常用證明策略
  2.11  證明自動化
  2.12  余歸納類型
  2.13  代碼抽取
第3章  OCaml
  3.1  安裝和使用OCaml
  3.2  數據類型與函數
  3.3  控制結構
  3.4  高階函數
  3.5  記憶
  3.6  異常
  3.7  排序
  3.8  隊列
  3.9  模塊
  3.10  函子
  3.11  單子
第4章  部分習題參考答案
  4.1  第1章練習題
  4.2  第2章練習題
  4.3  第3章練習題
參考文獻

索引

Δ訂單支付
付款方式
運費計算方式

Δ關於我們
關於美商天龍
聯絡我們

首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032

同類熱銷排行榜

最近瀏覽的商品

函數式程序設計(高等學校電腦專業系列教材)