計(jì)算機(jī)科學(xué)導(dǎo)論課程簡介-資料下載頁
2024-10-11 09:50本頁面
【導(dǎo)讀】計(jì)算機(jī)科學(xué)技術(shù)學(xué)院。教學(xué)目標(biāo)和基本要求。–是計(jì)算機(jī)科學(xué)基礎(chǔ)知識(shí)的引導(dǎo)課。–目的是讓學(xué)生對(duì)計(jì)算機(jī)科學(xué)中的理論計(jì)算機(jī)科學(xué)。（即有關(guān)計(jì)算的相對(duì)更抽象化、邏輯化和數(shù)學(xué)化。的問題），有一個(gè)概括了解。術(shù)的興趣，鼓勵(lì)學(xué)生去發(fā)現(xiàn)自己感興趣的研究或。概念進(jìn)行問題求解和系統(tǒng)設(shè)計(jì)的思維活動(dòng)。理論和計(jì)算理論，安排10次講座而不是講課。–每個(gè)同學(xué)針對(duì)前九個(gè)講座所介紹的某個(gè)領(lǐng)域，寫。一篇讀書報(bào)告，第18周周六晚12點(diǎn)。為提交截止時(shí)間。有宏觀概述和具體問題探討，不強(qiáng)求全面深刻。–分成通過和未通過兩種,預(yù)計(jì)10~20%通不過。–課堂點(diǎn)名兩次，缺課且報(bào)告質(zhì)量低則一定通不過。–程序設(shè)計(jì)語言類型系統(tǒng)。–包含計(jì)算理論、算法、程序設(shè)計(jì)語言理論、自動(dòng)。計(jì)算和交互的統(tǒng)一模型理論尚未出現(xiàn)9. 語義、類型論、程序驗(yàn)證、程序分析等
【正文】 ? 關(guān)心的問題 – 給定模型 M，哪些問題可以由模型 M解決 – 如何比較模型的表達(dá)能力 ? 經(jīng)典計(jì)算 – 確定的圖靈機(jī)，可計(jì)算性理論屬于模型理論 ? 新型計(jì)算 – 本質(zhì)特點(diǎn)是交互 ( 并發(fā)、分布、網(wǎng)絡(luò)、網(wǎng)格、云 ) ? 計(jì)算和交互的統(tǒng)一模型理論尚未出現(xiàn) 9 課 程 簡 介 ? 術(shù)語解釋參考 （課堂上不介紹 ） 5. 程序理論 ? 關(guān)心的問題 – 給定模型 M，如何用模型 M解決問題 ? 包括的領(lǐng)域 – 程序設(shè)計(jì)范型、程序設(shè)計(jì)語言、程序設(shè)計(jì)、形式語義、類型論、程序驗(yàn)證、程序分析等 10 課 程 簡 介 ? 術(shù)語解釋參考 （課堂上不介紹） 6. 計(jì)算理論 ? 關(guān)心的問題 – 給定模型 M和一類問題，解決該類問題需要多少資源 ? 包括的領(lǐng)域 – 計(jì)算復(fù)雜性理論、算法分析 11
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1