計算理論解析

　　本書介紹計算模型理論，包括計算的對象、本質(zhì)、定義、分類、表達(dá)、邏輯和機械實現(xiàn)方法，以及計算模型的典型應(yīng)用。全書共分為6章。第1章介紹計算的對象和本質(zhì)，將離散變量作為圖靈計算（離散變量計算）的對象，將其邏輯確定性和機械能行可計算性作為圖靈計算的本質(zhì)；第2章介紹可計算函數(shù)——遞歸函數(shù)；第3章介紹計算機的數(shù)學(xué)原理；第4章介紹語言的計算；第5章介紹判定問題的可計算性；第6章介紹計算模型的典型應(yīng)用。本書是計算理論（計算模型、形式語言與自動機）、計算機科學(xué)技術(shù)史、邏輯學(xué)、語言學(xué)、數(shù)學(xué)、哲學(xué)的交叉研究，也是通過淺顯易懂的講解方式進行計算機核心理論教學(xué)的嘗試。作者力圖為計算機相關(guān)人員提供一個計算的本質(zhì)特征的“靈魂”描述及其通俗解釋，以使得計算機軟硬件的所有任務(wù)、過程，特別是軟件的表達(dá)與執(zhí)行歸結(jié)為數(shù)學(xué)原理和邏輯本質(zhì)。本書適合作為高等院校計算機、通信、自動化、軟件工程、信息管理、數(shù)理邏輯與數(shù)學(xué)基礎(chǔ)、生成轉(zhuǎn)換語言學(xué)等專業(yè)本科生和研究生的教材。同時，由于本書內(nèi)容深入淺出，能夠被僅具有基本數(shù)學(xué)知識的人讀懂，因此也可供對計算機理論感興趣的廣大科技工作者參考。

暫缺《計算理論解析》作者簡介