2007 「邏輯、語言與計算」暑期研習營暨碩士學分班

[2007/07/17] 七月十三日特別演講投影片上網
[2007/07/13] 七月十二日--十三日照片集
[2007/07/12] 請注意: 週五演講提前至下午 1:30
[2007/07/11] 課程資料、習題、解答等陸續上網，詳見各課程網頁
[2007/07/11] 七月九日--十一日照片集
[2007/07/06] 七月四日--六日照片集
[2007/07/06] 部份課程資料上網
[2007/07/03] 七月二日、三日照片集
[2007/07/02] 研習營正式開始！
[2007/06/26] 特別演講公佈
[2007/06/12] 學員注意事項
[2007/06/11] 96學年「邏輯、語言與計算」暑期碩士學分班放榜公告

宗旨

近年來，從事基礎計算科學研究的台灣學者們已在各校各自成立了數個研究團隊，並在一些題目上相互合作。和任何領域一樣，對基礎計算科學有興趣的學生必須透過一系列課程學習基本知識。然而，國內從事此類研究的學者分散在各校，難以僅靠一己之力開設整套課程。因此，我們希望有相同興趣的學者，一同開課，訓練下一代的研究人才。

本研習營將開設一系列課程，希望修習後的學員們能有獨立進行基礎計算科學研究之能力。今年的課程將包含邏輯、函數式程式語言、型態理論、模型檢查、驗證、與程式推導。我們希望這第一次的研習營將是往後更多相關活動的開始，並藉此促進學界的交流。

本課程研習時數（含考試）共 54 小時，修習結束經考試及格後，授予碩士學分三學分。也歡迎有興趣之社會、業界人士參加。

時間與地點

日期: 2007 年七月二日（週一）至七月十三日（週五）
時間: 每週一至週五早上九點至下午五點，依課程排定時間上課
地點: 中央研究院資訊科學研究所新館一樓 106 教室

交通、停車資訊請參考交通資訊頁。

課程與講者

課程	講者	時數
邏輯 Logic	謝邁思 Max Schaefer (1)	6 + 3
模型檢查, 時態邏輯, 與自動機理論 Model Checking, Temporal Logic, and Automata Theory	王柏堯 Bow-Yaw Wang (1,2)	6 + 3
演繹式程式驗證 Deductive Program Verification	蔡益坤 Yih-Kuen Tsay (2)	6 + 3
函數式程式 Functional Programming	莊庭瑞 Tyng-Ruey Chuang (1)	6 + 3
型態系統 Type Systems	陳恭 Kung Chen (3)	4 + 2
程式推導 Program Derivation	穆信成 Shin-Cheng Mu (1)	4 + 2

1. 中央研究院資訊科學研究所 | 2. 台灣大學資訊管理學系 | 3. 政治大學資訊科學系

時數表示為（授課時數 + Lab/Tutor 時數）

課表

	7/2	7/3	7/4	7/5	7/6	7/9	7/10	7/11	7/12	7/13
	Mon	Tue	Wed	Thu	Fri	Mon	Tue	Wed	Thu	Fri
09:30 - 10:30		邏輯	函數程式	型態系統	型態系統	邏輯	程式驗證	程式驗證	程式驗證	考試
10:30 - 11:30		邏輯	函數程式	型態系統	型態系統	邏輯	程式驗證	程式驗證	程式驗證	考試
11:30 - 12:30		L/T	L/T	L/T	L/T	L/T	L/T	L/T	L/T	考試
12:30 - 2:00	午餐					午餐
2:00 - 3:00	邏輯	函數程式	程式推導	程式推導	特別演講1	函數程式	模型檢查	模型檢查	模型檢查	特別演講2
3:00 - 4:00	邏輯	函數程式	程式推導	程式推導	特別演講1	函數程式	模型檢查	模型檢查	模型檢查	特別演講2
4:00 - 5:00	L/T	L/T	L/T	L/T	綜合討論	L/T	L/T	L/T	L/T	綜合討論

(L/T = Lab/Tutor)

特別演講

董世平 Shih-Ping Tung (中原大學數學系): Gödel's Incompleteness Theorem.
呂育道 Yuh-Dauh Lyuu (台灣大學資訊工程系）: Logic, Language, and Computation --- a Historic Journey.

報名資訊

96學年「邏輯、語言與計算」暑期碩士學分班放榜公告

報名資格
1. 資訊、電機、數學相關學系在學大學生，修業兩年（含）以上，或
2. 資訊、電機、數學相關學系研究所在學學生，或
3. 專科或大學畢業，現從事資訊相關行業工作者。
招收班別及人數: 一班 40 名為原則，共一班。得不足額錄取。
報名日期: 即日起至 2007 年 5 月 31 日止（通訊報名請於 5 月 31 前寄達）。
報名手續: 線上報名、傳真、或通訊報名
- 報名表格請至台灣大學進修推廣部網站下載或電話(02-23620502#10)索取
- 傳真或通訊報名請將下列資料以傳真(02-23691236)方式傳送，或限時掛號寄交
  1. 報名表（共兩張）
  2. 學歷證件影印本兩份
- 線上報名者，請依線上操作步驟完成報名程序後，郵寄學歷證件影印本至台灣大學進修推廣部.
- 如在 6 月 4 日前未收到本部確認收到報名文件之訊息，請主動電話詢問。電話: 02-23620502 分機 11 俞小姐
甄選方式: 依相關學經歷審查成績高低決定。
放榜日期: 2007 年 6 月 11 日於本網站公佈錄取名單並寄發入學通知。