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