研究生課程教學大綱、教學周曆
課程序号：
| 課程 名稱 | 中文 | 程序設計語言原理 | |||||||||||||
| 英文 | Principle of Programming Language | ||||||||||||||
| 課程編号 | | 課程适用學位級别 | 碩士 | ||||||||||||
| 總學時 | 60 | 課内學時 | 60 | 學分 | 3 | ||||||||||
| 實踐環節 | | 用機小時 | | ||||||||||||
| 開課院(系) | 計算機系 | 開課學期 | 秋 | 考試方式 | 筆試 | ||||||||||
| 主講教師 | 教師姓名 | 徐寶文 | 學位 | 博士 | 博導或碩導 | 博導 | |||||||||
| 職稱 | 教授 | 學曆 | 博士研究生（論文博士） | ||||||||||||
| e-mail | bwxu@seu.edu.cn | 網頁地址 | | ||||||||||||
| 授課語言 | 中文 | 課件地址 | | ||||||||||||
| 适用學科範圍 | 計算機科學與技術 | 适用學科名稱 | 計算機科學與技術 | ||||||||||||
| 實驗(案例)個數 | | 先修課程 | 編譯原理、面向對象程序設計語言 | ||||||||||||
| 教學用書 | 教材名稱 | 教材編者 | 出版社 | 出版年月 | 版次 | ||||||||||
| 主要教材 | 自編講義 | | | | | ||||||||||
| 主要參考書 | Programming in Ada95, | John Barnes | ADDISON-WESLEY | | | ||||||||||
| Ada軟件設計技術 | 王振宇、梁先忠 | 國防工業出版社 | | | |||||||||||
| 程序設計語言――概念和結構 | Ravi Sethi著，裘宗燕譯 | 機械工業出版社 | | | |||||||||||
“程序設計語言原理”一課以命令式語言為主線，輔以函數式程序設計語言、和邏輯式程序設計語言、并發式程序設計語言、語義學等内容，講授程序設計語言的設計目标、原理和效果，比較各種語言的共性和個性。
程序設計語言是計算機學科發展的重要成果，是計算機軟件學科的重要基礎。“程序設計語言原理”一
第一章
第二章
第三章
第四章
第五章
第六章
第七章
第八章
第九章
| 周次 | 教學内容 | 教學方式 |
| 1 | 導論 課程簡介 | |
| 2 | 數據類型 數據類型的發展、設計目标 | |
| 3 | 數據類型 Ada語言的數據類型設計 | |
| 4 | 數據類型 指針類型和内存管理 | |
| 5 | 順序控制 結構化程序設計 子程序 | |
| 6 | 順序控制 異常處理 基于事件的隐式調用 | |
| 7 | 封裝與抽象 封裝設施的發展曆史 | |
| 8 | 封裝與抽象 程序結構和命名空間管理 | |
| 9 | 繼承與多态 Ada語言的面向對象機制 | |
| 10 | 繼承與多态 面向對象的一般問題 | |
| 11 | 并發程序設計 臨界資源管理、信号量、monitor | |
| 12 | 并發程序設計 消息發送機制、郵箱機制、其它并發機制 | |
| 13 | 函數式程序設計 lambda演算與函數式語言 | |
| 14 | 函數式程序設計語言 lisp和ML語言 | |
| 15 | 語義學初步 操作語義、公理語義簡介 | |
| 16 | 語義學初步 指稱語義簡介 | |
| 17 | | |
| 18 | | |