相關商品
商品簡介
名人/編輯推薦
商品簡介
本書介紹計算模型理論，包括計算的對象、本質、定義、分類、表達、邏輯和機械實現方法，以及計算模型的典型應用。全書共分為6章。章介紹計算的對象和本質，將離散變量作為圖靈計算（離散變量計算）的對象，將其邏輯確定性和機械能行可計算性作為圖靈計算的本質；第2章介紹可計算函數——遞歸函數；第3章介紹計算機的數學原理；第4章介紹語言的計算；第5章介紹判定問題的可計算性；第6章介紹計算模型的典型應用。本書是計算理論（計算模型、形式語言與自動機）、計算機科學技術史、邏輯學、語言學、數學、哲學的交叉研究，也是通過淺顯易懂的講解方式進行計算機核心理論教學的嘗試。作者力圖為計算機相關人員提供一個計算的本質特征的“靈魂”描述及其通俗解釋，以使得計算機軟硬件的所有任務、過程，特別是軟件的表達與執行歸結為數學原理和邏輯本質。本書適合作為高等院校計算機、通信、自動化、軟件工程、信息管理、數理邏輯與數學基礎、生成轉換語言學等專業本科生和研究生的教材。同時，由于本書內容深入淺出，能夠被僅具有基本數學知識的人讀懂，因此也可供對計算機理論感興趣的廣大科技工作者參考。
名人/編輯推薦
導語_點評_推薦詞
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。