|
第 1 週 (Week 1) - 第 5 週 (Week 5) (06/24 - 07/28) |
|
|
|
資訊管理學系 |
|
程式語言理論與型態系統
|
|
穆信成 |
|
|
|
725 U3500 |
|
S1 |
|
: 9 : 0 |
|
3 |
|
|
|
|
|
|
|
|
|
|
|
2, 3, 4, 7, 8, 9
| 2, 3, 4, 7, 8, 9
| 2, 3, 4, 7, 8, 9
| 2, 3, 4, 7, 8, 9
| 2, 3, 4, 7, 8, 9
| |
|
|
管理學院壹號館103教室 |
|
40 |
|
|
|
1 不開放網路選課,請至開課單位登記。 外校學生限30人。
本課程為暑期密集課程,部份時段以英文授課。上課時間為7/1至7/12之每週一至每週五全日且需全程參與。學生選課請至以下課程網站詳閱內容,並於6/9前報名:https://flolac.iis.sinica.edu.tw。經課程規定篩選通過後,方能選修本課程。
|
|
本課程將講授程式語言領域之入門理論與知識,希望培養學生以型式邏輯進行清晰思考的能力,了解邏輯與程式語言、型別系統的密切關係,以及型別系統在程式語言中扮演的角色,使學生能以遞迴/迭構方式理解並解決程式設計問題,能運用軟體工具輔助邏輯推理及證明程式正確性,並具備進一步探索程式語言相關領域的知識基礎。
|
|