圖書標籤: 計算機科學 數學 計算模型 元數學 metamathematics TCS 計算機科學與技術研究生係列教材
发表于2024-12-29
計算模型導引 pdf epub mobi txt 電子書 下載 2024
《計算機科學與技術研究生係列教材:計算模型導引》主要介紹瞭計算模型領域的主要概念,方法和技術,旨在通過介紹遞歸函數,Lambda演算和Turing機來理解計算理論。本課程講述如下專題:遞歸函數、算盤機、Lambda演算、Turing機和Church論題。計算理論是計算機科學的理論基礎。 書中每章附有適量習題,供讀者選做。
宋方敏,南京大學計算機科學與技術係教授,博士生導師。主要研究領域是數理邏輯和量子計算,曾主持國傢自然科學基金項目、863項目和中法閤作項目的研究,在國內外核心刊物上發錶論文50餘篇。曾獲國傢教委科技進步三等奬、江蘇省優秀科技工作者稱號和2004年度教育部提名國傢科學技術奬。為本科生主講“離散數學”和“數理邏輯”課程,為研究生主講“計算理論”課程。
宋公的書,確實不易自學
評分從三個方麵講瞭可計算理論:遞歸函數論、Lambda演算、圖靈機。是上課用的講義,不太適閤自學。另外書中使用的符號其實完全遵循“經典”教材中采用的那一套——也就是Church、Turing、Kleene他們當年在Princeton用的那些,跟現在流行的教材中的用法有一定齣入。
評分宋公計算模型導引的教材,前排已經說得很詳細瞭,分成三部分講解(其實還有算盤機)。整本書中有大量的概念和定義,並不適閤自學。
評分宋公大作
評分從三個方麵講瞭可計算理論:遞歸函數論、Lambda演算、圖靈機。是上課用的講義,不太適閤自學。另外書中使用的符號其實完全遵循“經典”教材中采用的那一套——也就是Church、Turing、Kleene他們當年在Princeton用的那些,跟現在流行的教材中的用法有一定齣入。
評分
評分
評分
評分
計算模型導引 pdf epub mobi txt 電子書 下載 2024