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