《計算機科學數學》教學大綱
考試專題 來源: 計算機科學數學 教學大綱 2025-03-24 大 中 小
學時 | 教學內容 | 教學方式 |
8 | 計算機科學的縮影_圖靈獎成就介紹 | |
2 | 數理邏輯簡介 | |
2 | 多值邏輯、模糊邏輯、模態邏輯 | |
2 | 時態、線性、組合、非單調、直覺主義邏輯 | |
2 | 抽象代數、范疇論 | |
2 | 組合學、密碼學 | |
2 | 算法、算法學 | |
2 | 隨機化算法 | |
2 | 自動機理論、形式語言理論 | |
2 | 可計算性理論 | |
2 | 計算復雜性理論 | |
4 | 形式語義、類型論 | |
2 | 并發模型、程序邏輯 | |
2 | 混合計算模型 | |
2 | 程序驗證 | |
6 | 數理統計 | |
4 | 量子計算與量子信息學簡介 |
學習關鍵字:
高考頻道 | 高中學考網 | 高考成績查詢網 | 高考志愿填報系統入口 | 高考報名系統入口 | 學習地圖 | 天津學習網 | 上海高中學習網 | 北京高中學習網 | 湖南學習網 | 福建高考學習網 | 考試專題 | 寧夏學習經驗分享 | 四川高考學習網 | 河北高考學習網 | 廣東高考學習網 | 學習專題 | 江蘇高考學習網 | 內蒙古高考學習網 | 江西學習網 | 廣西高考學習網 | 中考招生信息網 | 山西高考學習網 | 貴州學習網 | 河南高考學習網 | 山東中考學習網 | 安徽高考學習網 | 云南高考學習網 | 遼寧高中學習網 | 高中學生綜合素質評價平臺入口 | 山東省普通高等學校招生考試信息平臺 | 河北中考信息網 | 四川中考招生信息網 | 廣東中考招生信息網 | 學習文檔 | 陜西中考招生信息網