具體描述
本書是為大學三、四年級學生而寫，並且曾在南開大學計算機係、數學係作為教材講授多年。重點介紹瞭計算機科學與技術的數學基礎――可計算理論、數理邏輯與集閤論，以及三者之間的關係，主要內容包括：理想計算機與有窮性原則、有窮性邏輯和有窮性數學、一般邏輯與一般數學、集閤論等。書末還附有一定的習題。
本書讀者對象：高校計算機係、數學係、哲學係師生，計算機工作者。
著者簡介
圖書目錄
第一章引言
第二章理想計算機與有窮性原則
第一節遞歸函數
1.1原始遞歸函數集
1.2原始遞歸算子
1.3原始遞歸函數集的分層
1.4Arckermann函數
1.5遞歸函數
1.6遞歸函數集的分層
第二節理想計算機
2.1幾個計算實例
2.2計算的分析和理想計算機
第三節Turing機器
3.1Turing機定義
3.2Turing機和遞歸函數
3.3通用函數和遞歸
· · · · · · (收起)
第二章理想計算機與有窮性原則
第一節遞歸函數
1.1原始遞歸函數集
1.2原始遞歸算子
1.3原始遞歸函數集的分層
1.4Arckermann函數
1.5遞歸函數
1.6遞歸函數集的分層
第二節理想計算機
2.1幾個計算實例
2.2計算的分析和理想計算機
第三節Turing機器
3.1Turing機定義
3.2Turing機和遞歸函數
3.3通用函數和遞歸
· · · · · · (收起)
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有