基于事物發展的客觀規律、學科知識的科學基礎等挖掘我國國家制度和國家治理體系背後的理論脈絡,從制度立場、制度價值、制度包容等方面展開比較制度和制度競爭力等研究,但要注意不能套用理論解釋理論。最後,實踐邏輯。鞋子合不合腳,只有穿的人才知道。從實踐是檢驗真理唯一標準的角度出發,探究制度是否真正管用、真正有效的;而不應該一味去抨擊其弊端,或者忽略中國國情而套用某種理論而得出西方的月亮比中國圓的不切實際的謬論。課程簡介計算機科學與其它學科一樣同樣有它自己的基本問題:什麼是算法?什麼是可計算的?在可計算的前提下如何來刻劃計算的難易?多年以來,計算機科學家一直在考慮這些問題並且給出充滿智慧的回答,這一切對計算機科學產生了深刻的影響。本課程的目的是介紹滲透在計算機科學中的一些基本思想、模型和結果,它們是該領域的基本範例,具有眾多值得學習的理由。首先,現代計算機科學中的很多東西直接或間接地以它們為基礎。其次,這些思想和模型是漂亮、有力的,是數學建模的傑出例子,具有長久價值的。此外,它們更是歷史的一部分,是計算機科學領域的理論基石,不了解它們,就很難真正理解計算機科學。成績構成本課程主要是針對計算機科學與技術及相關專業的本科生和研究生開設的一門理論課程,總學時為32學時,重點介紹形式語言與自動機、遞歸函數、可計算性以及計算復雜性的一些內容。本科生的課程評價成績由作業、課堂測驗、閉卷考試三部分組成,其中作業佔10%、課堂測驗佔20%、閉卷考試成績佔70%。課程教材Elements of The Theory of Computation (Second Edition)錛 Harry R. Lweis錛 Christos H. Papadimtriou錛Prentice Hall(教材下載:Elements of the Theory of Computation.pdf)課程資料CH 1 Sets錛 Relations and LanguagesCH 1.pdfCH 2 Finite Automata CH 2.pdfCH 3 Context-free LanguageCH 3.pdfCH 4 Turing Machine CH 4.pdfCH 5 Undecidability CH 5.pdfReviewCT_Review.ppt課程作業 CH 1ch1.pdf CH 2ch2.pdf CH3 ch3.pdf CH 4ch4.pdf往年試卷 2017-2018學年秋冬學期《計算理論》試卷CT-U-17.pdf在線答疑新浪微博:金小剛_ZJUhttps://weibo.com/xiaogangjin,