"計算理論"的搜尋報告

...找到真正的程式碼, 不巧又有用到別處的多型就真的有大麻煩了, 因為光是知道i和j宣告的型別並不夠, 還得知道它們此刻的型別, 這不知道要看多少的程式碼, 而且依照計算理論的停機問題, 你永遠都不能真的百分之百確定自己已經看完所有地方了(啊啊啊啊啊!...

開始於: 2009-04-24 13:56. 結束於: 2009-04-25 13:56. 地點. 內容. 主辦單位：嘉義大學. 承辦單位：嘉義大學資訊工程系. 時間：９８年４月２４～２５日. 地點：嘉義大學圖書資訊館. 網址：http://algo2009.csie.ncyu.edu.tw/

第二十六屆組合數學與計算理論研討會主辦單位：國立嘉義大學承辦單位：國立嘉義大學資訊工程學系協辦單位：國科會工程中心、中央研究院資訊科學研究所、嘉義大學應用數學系、 嘉義大學電機工程學系、嘉義大學電算中心、嘉義大學圖...

(3)計算機科學:計算機組目前發展重點以電腦系統與網路為主軸，涵括先進網路技術、資訊勘測、行動通訊計算、資訊安全技術、即時微核心作業系統、嵌入式系統、自動驗證、智慧型系統、系統容錯技術、軟體可靠度、計算理論、積體電路設計與測試，乃至電腦音樂...

本書的內容並非空談，而是基於數學、邏輯所導出的結論。但書中不會有數學證明，以接近白話的方式表達最基本的概念。（為什麼我說「接近白話」呢？比起一般的科普書，我覺得本書內容還是硬了一點，更別提學資訊的學生大部分都曾在計算理論這門課中掙扎過。...