計算機科學導論課程簡介(編輯修改稿)
2024-11-16 09:50 本頁面
【文章內容簡介】 室的機會 4 課 程 簡 介 ? 教材與參考書 – 無合適教材 , 課件 – 部分講座會給出相關的參考書 5 課 程 簡 介 ? 十次講座的題目 – 代數(shù)等式理論的自動定理證明（面向高中背景） – 對程序進行推理的邏輯 （程序理論） – 程序設計語言類型系統(tǒng) （程序理論） – 離散數(shù)學與計算機科學 （程序理論） – 經(jīng)典計算的計算模型 （模型理論） – 計算復雜性和算法分析 （計算理論） – 面向計算機體系結構的程序優(yōu)化（計算理論） – 多核體系結構與并行編程模型 （模型理論） – 新型計算模型和順序交互的數(shù)學（模型理論） – 大數(shù)據(jù)的處理和分析 （綜合應用） 6 課 程 簡 介 ? 術語解釋參考 （課堂上不介紹） 1. 理論計算機
教學課件相關推薦
鄂ICP備17016276號-1