計算模型導引 pdf epub mobi txt 電子書 下載2025
宋方敏，南京大學計算機科學與技術係教授，博士生導師。主要研究領域是數理邏輯和量子計算，曾主持國傢自然科學基金項目、863項目和中法閤作項目的研究，在國內外核心刊物上發錶論文50餘篇。曾獲國傢教委科技進步三等奬、江蘇省優秀科技工作者稱號和2004年度教育部提名國傢科學技術奬。為本科生主講“離散數學”和“數理邏輯”課程，為研究生主講“計算理論”課程。
出版者:高等教育齣版社
作者:宋方敏
出品人:
頁數:151
译者:
出版時間:2012-6
價格:24.00元
裝幀:
isbn號碼:9787040347371
叢書系列:
圖書標籤:
- 計算機科學
- 數學
- 計算模型
- 元數學
- metamathematics
- TCS
- 計算機科學與技術研究生係列教材
下載連結在頁面底部
《計算機科學與技術研究生係列教材:計算模型導引》主要介紹瞭計算模型領域的主要概念，方法和技術，旨在通過介紹遞歸函數，Lambda演算和Turing機來理解計算理論。本課程講述如下專題：遞歸函數、算盤機、Lambda演算、Turing機和Church論題。計算理論是計算機科學的理論基礎。 書中每章附有適量習題，供讀者選做。
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
宋公的書，確實不易自學
评分人類智慧的結晶
评分符號使用一塌糊塗，跟國外教材差距實在太大
评分提升內力~
评分宋公大作
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有