計算機(jī)、邏輯和集合論

內(nèi)容概要

本書是為大學(xué)三、四年級學(xué)生而寫，并且曾在南開大學(xué)計算機(jī)系、數(shù)學(xué)系作為教材講授多年。重點(diǎn)介紹了計算機(jī)科學(xué)與技術(shù)的數(shù)學(xué)基礎(chǔ)――可計算理論、數(shù)理邏輯與集合論，以及三者之間的關(guān)系，主要內(nèi)容包括：理想計算機(jī)與有窮性原則、有窮性邏輯和有窮性數(shù)學(xué)、一般邏輯與一般數(shù)學(xué)、集合論等。書末還附有一定的習(xí)題。
    本書讀者對象：高校計算機(jī)系、數(shù)學(xué)系、哲學(xué)系師生，計算機(jī)工作者。

書籍目錄

第一章引言
第二章理想計算機(jī)與有窮性原則
第一節(jié)遞歸函數(shù)
1.1原始遞歸函數(shù)集
1.2原始遞歸算子
1.3原始遞歸函數(shù)集的分層
1.4Arckermann函數(shù)
1.5遞歸函數(shù)
1.6遞歸函數(shù)集的分層
第二節(jié)理想計算機(jī)
2.1幾個計算實(shí)例
2.2計算的分析和理想計算機(jī)
第三節(jié)Turing機(jī)器
3.1Turing機(jī)定義
3.2Turing機(jī)和遞歸函數(shù)
3.3通用函數(shù)和遞歸

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    計算機(jī)、邏輯和集合論 PDF格式下載

---