可計算函數 pdf epub mobi txt 電子書下載2025

簡體網頁||繁體網頁

☆☆☆☆☆

出版者:高等教育齣版社

作者:A.Shen

出品人:

頁數:159

译者:陳光還

出版時間:2014-1

價格:35.00元

裝幀:

isbn號碼:9787040386929

叢書系列:大學生數學圖書館

圖書標籤:

數學
計算機
數學基礎
CS
可計算性
函數
數學邏輯
遞歸函數
圖靈機
計算理論
形式係統
算法
離散數學
理論計算機科學

下載連結在頁面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製連結

想要找書就要到小美書屋

book.quotespace.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

具體描述

這本生動、簡潔的書基於作者在莫斯科大學力學數學係的本科生課程講義，涵蓋瞭計算的一般理論的基本概念。《可計算函數》從可計算函數的定義和一個算法開始，討論瞭可判定性、可數性、通用函數、編號係統及其性質、m- 完全性、不動點定理、算術分層、oracle計算、不可判定性的度。作者還介紹瞭一些特殊的函數模型，如 turing機和遞歸函數。

《可計算函數》可供數學和計算機專業的本科生閱讀，也可供所有希望學習計算的一般理論的基礎知識的數學傢和程序員使用。

著者簡介

圖書目錄

《可計算函數》
《大學生數學圖書館》叢書序
引言
第一章可計算函數、可判定集與可數集
1.可計算函數
2.可判定集
3.可數集
4.可數集與可判定集
5.可數性與可計算性
第二章通用函數與不可判定性
1.通用函數
2.對角構造
3.可數的不可判定集
4.可數的不可分集
5.單集：post構造
第三章編號與運算
1.godel通用函數
2.可計算函數的可計算序列
3.godel通用集
第四章 godel編號係統的性質
1.編號集
2.舊函數的新編號
3.godel編號係統的同構
4.函數的可數性
第五章不動點定理
1.不動點與等價關係
2.打印程序文本的程序
3.係統的技巧：另一個證明
4.幾點附注
第六章 m-可約性與可數集的性質
1.m-可約性
2.m-完全集
3.m-完全性與有效不可數性
4.m-完全集的同構
5.産生集
6.不可分集的對
第七章 oracle計算
1.oracle機
2.相對可計算性：等價描述
3.相對化
4.0'-計算
5.不可比集
6.friedberg-muchnik定理：構造的一般方案
7.friedberg-muchnik定理：勝齣條件
8.niedberg—muchnik定理：優先方法
第八章算術分層
1.類∑n和ⅱn
2.∑n和ⅱn中的通用集
3.跳躍運算
4.分層中集的分類
第九章 turing機
1.簡單的可計算模型：需要它們做什麼
2.turing機：定義
3.turing機：討論
4.字問題
5.uuring機的模擬
6.thue係統
7.半群、生成元和關係
第十章可計算函數的算術化
1.有限個變量的程序
2.turing機和程序
3.可計算函數是可算術化的
4.tarski定理和godel定理
5.tarski定理和godel定理的直接證明
6.算術分層和量詞交換數
第十一章遞歸函數
1.原始遞歸函數
2.原始遞歸函數的例
3.原始遞歸集
4.遞歸的其他形式
5.turing機和原始遞歸函數
6.部分遞歸函數
7.oracle可計算性
8.生長率的估計、ackermann函數
參考文獻
人名錶
索引
· · · · · · (收起)