計算理論解析 在線電子書 圖書標籤: 計算理論 計算機 科普 #JX #
發表於2024-12-27
計算理論解析 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
本書介紹計算模型理論,包括計算的對象、本質、定義、分類、錶達、邏輯和機械實現方法,以及計算模型的典型應用。
全書共分為6章。第1章介紹計算的對象和本質,將離散變量作為圖靈計算(離散變量計算)的對象,將其邏輯確定性和機械能行可計算性作為圖靈計算的本質;第2章介紹可計算函數——遞歸函數;第3章介紹計算機的數學原理;第4章介紹語言的計算;第5章介紹判定問題的可計算性;第6章介紹計算模型的典型應用。
本書是計算理論(計算模型、形式語言與自動機)、計算機科學技術史、邏輯學、語言學、數學、哲學的交叉研究,也是通過淺顯易懂的講解方式進行計算機核心理論教學的嘗試。作者力圖為計算機相關人員提供一個計算的本質特徵的“靈魂”描述及其通俗解釋,以使得計算機軟硬件的所有任務、過程,特彆是軟件的錶達與執行歸結為數學原理和邏輯本質。
本書適閤作為高等院校計算機、通信、自動化、軟件工程、信息管理、數理邏輯與數學基礎、生成轉換語言學等專業本科生和研究生的教材。同時,由於本書內容深入淺齣,能夠被僅具有基本數學知識的人讀懂,因此也可供對計算機理論感興趣的廣大科技工作者參考。
評分
評分
評分
評分
計算理論解析 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024