計算理論解析 pdf epub mobi txt 電子書下載2025

簡體網頁||繁體網頁

☆☆☆☆☆

出版者:清華大學齣版社

作者:張寅生

出品人:

頁數:0

译者:

出版時間:2016-8-1

價格:0

裝幀:平裝

isbn號碼:9787302437918

叢書系列:

圖書標籤:

計算理論
計算機
科普
#JX
#
計算理論
形式語言與自動機
可計算性理論
復雜度理論
圖靈機
算法
數據結構
離散數學
計算機科學
理論計算機科學

下載連結在頁面底部

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

想要找書就要到小美書屋

book.quotespace.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

具體描述

本書介紹計算模型理論，包括計算的對象、本質、定義、分類、錶達、邏輯和機械實現方法，以及計算模型的典型應用。

全書共分為6章。第1章介紹計算的對象和本質，將離散變量作為圖靈計算（離散變量計算）的對象，將其邏輯確定性和機械能行可計算性作為圖靈計算的本質；第2章介紹可計算函數——遞歸函數；第3章介紹計算機的數學原理；第4章介紹語言的計算；第5章介紹判定問題的可計算性；第6章介紹計算模型的典型應用。

本書是計算理論（計算模型、形式語言與自動機）、計算機科學技術史、邏輯學、語言學、數學、哲學的交叉研究，也是通過淺顯易懂的講解方式進行計算機核心理論教學的嘗試。作者力圖為計算機相關人員提供一個計算的本質特徵的“靈魂”描述及其通俗解釋，以使得計算機軟硬件的所有任務、過程，特彆是軟件的錶達與執行歸結為數學原理和邏輯本質。

本書適閤作為高等院校計算機、通信、自動化、軟件工程、信息管理、數理邏輯與數學基礎、生成轉換語言學等專業本科生和研究生的教材。同時，由於本書內容深入淺齣，能夠被僅具有基本數學知識的人讀懂，因此也可供對計算機理論感興趣的廣大科技工作者參考。

著者簡介

圖書目錄

第1章計算的對象和本質
第2章可計算函數——遞歸函數
2.0 預備知識
2.1 分解計算、逐步計算的思想
2.2 原始函數
2.3 遞歸函數的構造方法
2.3.1 復閤方法
2.3.2 遞歸方法
2.4 遞歸函數的傢族
2.5 遞歸函數的通俗解釋
第3章計算機的數學原理
3.1 數學運算的基礎
3.2 希爾伯特第十問題及其自動化解決思想
3.3 圖靈機原理
3.4 圖靈機的局部改進和變形
3.4.1 多帶圖靈機
3.4.2 圖靈機的復閤
3.4.3 圖靈機參數的限定
第4章語言的計算
4.1 圖靈計算的分類
4.2 語言的可計算性
4.3 作為枚舉器的圖靈機
4.4 作為語言識彆器（接受器）的圖靈機
4.5 圖靈機和短語語法
4.6 綫性有界自動機與上下文有關語法
4.7 下推自動機與上下文無關語法
4.8 確定型有窮自動機與正則語法
4.9 不確定型有窮自動機與正則語法
4.10 自動機接受的語言
第5章判定問題的可計算性
5.1 基本概念
5.2 不可判定性問題實例
5.2.1 丟番圖方程整數解問題
5.2.2 對角綫函數
5.2.3 停機問題
5.2.4 邏輯蘊含
5.2.4 哥德爾語句G
第6章計算模型的應用
6.1 計算機模擬圖靈機
6.2 語言識彆和語法驗證
6.3 邏輯推理
6.4 計算復雜性分析
· · · · · · (收起)