中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
計算機模型導引 版權信息
- ISBN：9787040347371
- 條形碼：9787040347371 ; 978-7-04-034737-1
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
計算機模型導引 本書特色
很久以來，人們一直在問“什么是計算”、“計算的范圍有多大”等問題。宋方敏等編著的《計算模型導引》主要介紹遞歸函數、算盤機、λ-演算、組合邏輯和Turing機等計算模型。這些模型對計算機科學、哲學和數學基礎產生了巨大而深遠的影響。本書可作為高等學校計算機及相關專業高年級本科生和研究生的教材。
計算機模型導引 內容簡介
本書主要介紹了計算模型領域的主要概念，方法和技術，旨在通過介紹遞歸函數，Lambda演算和Turing機來理解計算理論。本課程講述如下專題：遞歸函數、算盤機、Lambda演算、Turing機和Church論題。計算理論是計算機科學的理論基礎。
計算機模型導引 目錄
**章 遞歸函數§1.1 數論函數§1.2 配對函數§1.3 初等函數§1.4 原始遞歸函數§1.5 遞歸函數§1.6 結論習題第二章 算盤機§2.1 算盤機的定義§2.2 算盤機可計算函數§2.3 算盤機的計算能力習題第三章 γ演算§3.1 γ-演算的語法§3.2 轉換§3.3 歸約§3.4 Church-Rosser定理§3.5 不動點定理§3.6 遞歸函數的γ-可定義性§3.7 與遞歸論對應的結果習題第四章 組合邏輯§4.1 組合子的形式系統§4.2 弱歸約§4.3 CL與氳畝雜習題第五章 Turi
展開全部
計算機模型導引 作者簡介
宋方敏，南京大學計算機科學與技術系教授，博士生導師。主要研究領域是數理邏輯和量子計算，曾主持國家自然科學基金項目、863項目和中法合作項目的研究，在國內外核心刊物上發表論文50余篇。曾獲國家教委科技進步三等獎、江蘇省優秀科技工作者稱號和2004年度教育部提名國家科學技術獎。為本科生主講“離散數學”和“數理邏輯”課程，為研究生主講“計算理論”課程。
書友推薦
- >
二體千字文
- >
我與地壇
- >
伊索寓言-世界文學名著典藏-全譯本
- >
羅曼·羅蘭讀書隨筆-精裝
- >
經典常談
- >
大紅狗在馬戲團-大紅狗克里弗-助人
- >
伯納黛特,你要去哪(2021新版)
- >
中國歷史的瞬間
本類暢銷
