數學.計算.邏輯 在線電子書 圖書標籤: 計算機科學 數學 邏輯 數理邏輯 科普 計算機 陸汝鈐 語義
發表於2024-12-26
數學.計算.邏輯 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
總的來說,還是科普性更強一點!
評分總的來說,還是科普性更強一點!
評分總的來說,還是科普性更強一點!
評分這書不錯,講的挺明白。
評分圖靈機, 遞歸函數, λ演算 ,命題和謂詞邏輯演算,文法 語言和自動機 五種理論計算模型等價。零型 一型 二型 三型 文法的計算能力分彆對應與非確定性 圖靈機 綫性遊街自動機 下推自動機 有窮自動機 代兩個下推棧的有窮自動機等於圖靈機,確定性下推自動機 的計算能力小於非確定性下推自動機的計算能力。待數據是圖靈帶子上的數據 ,程序 解題步驟 相當於圖靈機的控製函數也放在計算機裏,這樣就不用改結構 而隻需改變計算機的程序的軟辦法(類比信號處理過程都是軟方法而不是改變硬件的方法)。偏序和格 不動點與遞歸函數等價性
本書以計算機科學中的可計算性理論和計算復雜性理論為背景,以生活的比喻,介紹這一領域的基礎知識和主要研究成果。
評分
評分
評分
評分
數學.計算.邏輯 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024