形式語言與自動機理論 在線電子書 圖書標籤: 形式語言與自動機 自動機 計算機 形式語言 計算機科學 編譯原理 算法 CS
發表於2024-12-23
形式語言與自動機理論 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
讀瞭前七章,後麵的大段大段證明放棄瞭
評分我是初學者,仔細看瞭一遍,是非常嚴密的一本書,可以看齣作者對書中的每一個字都經過瞭細細推敲。所有證明過程找不到任何邏輯紕漏,隻有少數的地方有不易察覺的可能是印刷上錯誤(還有作者證明時老是喜歡用“往證”也是醉瞭)。書中作者喜歡以具體例子引導讀者思考並為定義和理論引入鋪墊,語言非常有啓發性,適閤初學者結閤這個北大的教學視頻來理解(https://www.bilibili.com/video/av17253679?from=search&seid=2924720326675095376)
評分讀瞭前七章,後麵的大段大段證明放棄瞭
評分算是編譯原理的預備課程的教材吧
評分大學最後一門考試啊,看的崩潰死瞭 被逼著看的。 重修完瞭。尼瑪再也不想再看到這本書瞭。
《普通高等教育"十一五"國傢級規劃教材•21世紀大學本科計算機專業係列教材:形式語言與自動機理論(第2版)》是作者結閤其20餘年來在大學講授該門課程的經驗和體會,選擇和組織有關內容撰寫而成。不僅含有有關正則語言、上下文無關語言的文法、識彆模型及其性質、圖靈機的基本知識,更涉及到本學科方法論中所包含的3個學科形態。其內容特點是抽象和形式化,既有嚴格的理論證明,又具有很強的構造性,從而培養學生的形式化描述和抽象思維能力,使學生瞭解和初步掌握“問題、形式化、自動化(計算機化)”的解題思路。為瞭便於學生對內容的掌握,附錄A還給齣瞭建議的教學設計。
感慨一点: 国外书一般是引用参考论文写的, 国内书一般引用参考国外书而写。 这本书相比于它的主要参考书比如离散数学及其应用,最大的好处在与个头厚度小,方便拿在路上看,呵呵。 有国内教科书的一般特征,偏证明。但各个概念的连接做的不错。 总体来说推荐。
評分感慨一点: 国外书一般是引用参考论文写的, 国内书一般引用参考国外书而写。 这本书相比于它的主要参考书比如离散数学及其应用,最大的好处在与个头厚度小,方便拿在路上看,呵呵。 有国内教科书的一般特征,偏证明。但各个概念的连接做的不错。 总体来说推荐。
評分感慨一点: 国外书一般是引用参考论文写的, 国内书一般引用参考国外书而写。 这本书相比于它的主要参考书比如离散数学及其应用,最大的好处在与个头厚度小,方便拿在路上看,呵呵。 有国内教科书的一般特征,偏证明。但各个概念的连接做的不错。 总体来说推荐。
評分感慨一点: 国外书一般是引用参考论文写的, 国内书一般引用参考国外书而写。 这本书相比于它的主要参考书比如离散数学及其应用,最大的好处在与个头厚度小,方便拿在路上看,呵呵。 有国内教科书的一般特征,偏证明。但各个概念的连接做的不错。 总体来说推荐。
評分感慨一点: 国外书一般是引用参考论文写的, 国内书一般引用参考国外书而写。 这本书相比于它的主要参考书比如离散数学及其应用,最大的好处在与个头厚度小,方便拿在路上看,呵呵。 有国内教科书的一般特征,偏证明。但各个概念的连接做的不错。 总体来说推荐。
形式語言與自動機理論 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024