計算模型導引 在線電子書 圖書標籤: 計算機科學 數學 計算模型 元數學 metamathematics TCS 計算機科學與技術研究生係列教材
發表於2024-11-27
計算模型導引 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
提升內力~
評分宋公的書,確實不易自學
評分全是定義的書,為什麼不叫字典呢?
評分提升內力~
評分宋公計算模型導引的教材,前排已經說得很詳細瞭,分成三部分講解(其實還有算盤機)。整本書中有大量的概念和定義,並不適閤自學。
宋方敏,南京大學計算機科學與技術係教授,博士生導師。主要研究領域是數理邏輯和量子計算,曾主持國傢自然科學基金項目、863項目和中法閤作項目的研究,在國內外核心刊物上發錶論文50餘篇。曾獲國傢教委科技進步三等奬、江蘇省優秀科技工作者稱號和2004年度教育部提名國傢科學技術奬。為本科生主講“離散數學”和“數理邏輯”課程,為研究生主講“計算理論”課程。
《計算機科學與技術研究生係列教材:計算模型導引》主要介紹瞭計算模型領域的主要概念,方法和技術,旨在通過介紹遞歸函數,Lambda演算和Turing機來理解計算理論。本課程講述如下專題:遞歸函數、算盤機、Lambda演算、Turing機和Church論題。計算理論是計算機科學的理論基礎。 書中每章附有適量習題,供讀者選做。
評分
評分
評分
評分
計算模型導引 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024