差異處

這裏顯示兩個版本的差異處。

連向這個比對檢視

Both sides previous revision 前次修改
start [2015/07/08 11:03]
bridge [表格]
start [2015/07/12 12:42] (目前版本)
bridge [表格]
行 21: 行 21:
 ====== 課程與講者 ====== ====== 課程與講者 ======
 ===== 課程內容 ===== ===== 課程內容 =====
-^ 課程內容 ​                                                                                                               ^ 講者 ​                                                                                              ^ 時數 ​ +^ 課程內容 ​                                                                                                               ^ 講者 ​                                                                                              ^ 時數 ​  ​
-^ 型式邏輯簡介 Introduction to Formal Logic                                                                                                                                                                                        ||| +^ 型式邏輯簡介 Introduction to Formal Logic                                                                                                                                                                                         ​||| 
-| [[download#​型式邏輯簡介 Introduction to Formal Logic|命題邏輯 ​Propositional Logic]]                                           | [[https://​www.yale-nus.edu.sg/​about/​faculty/​anthony-widjaja-lin/​|Anthony W. Lin]] \\ 耶魯-新加坡國大學院 ​ |  6  +| [[download#​型式邏輯簡介 Introduction to Formal Logic|命題邏輯]] ​Propositional Logic                                           | [[https://​www.yale-nus.edu.sg/​about/​faculty/​anthony-widjaja-lin/​|Anthony W. Lin]] \\ 耶魯-新加坡國大學院 ​ |  6   ​
-| [[download#​型式邏輯簡介 Introduction to Formal Logic|一階邏輯]] First Order Logic                                             | :::                                                                                              |  6  +| [[download#​型式邏輯簡介 Introduction to Formal Logic|一階邏輯]] First Order Logic                                             | :::                                                                                              |  6   ​
-^ 布林可滿足性及其應用 Boolean Satisfiability and Its Applications ​                                                                                                                                                                    ​||| +^ 布林可滿足性及其應用 Boolean Satisfiability and Its Applications ​                                                                                                                                                                     ||| 
-| [[download#​布林可滿足性及其應用 Boolean Satisfiability and Its Applications|布林可滿足性演算法]] \\ Boolean Satisfiability Algorithms ​ | [[http://​cc.ee.ntu.edu.tw/​~ric/​|黃鐘揚 Chung-Yang (Ric) Huang]] \\ 台灣大學電機工程學系 ​                      ​| ​ 9  +| [[download#​布林可滿足性及其應用 Boolean Satisfiability and Its Applications|布林可滿足性演算法]] \\ Boolean Satisfiability Algorithms ​ | [[http://​cc.ee.ntu.edu.tw/​~ric/​|黃鐘揚 Chung-Yang (Ric) Huang]] \\ 台灣大學電機工程學系 ​                      ​| ​ 9   ​
-| [[download#​布林可滿足性及其應用 Boolean Satisfiability and Its Applications|邏輯合成]] \\ Logic Synthesis ​                        | [[http://​cc.ee.ntu.edu.tw/​~jhjiang/​|江介宏 Jie-Hong Roland Jiang]] \\ 台灣大學電機工程學系 ​                   |  9  +| [[download#​布林可滿足性及其應用 Boolean Satisfiability and Its Applications|邏輯合成]] \\ Logic Synthesis ​                        | [[http://​cc.ee.ntu.edu.tw/​~jhjiang/​|江介宏 Jie-Hong Roland Jiang]] \\ 台灣大學電機工程學系 ​                   |  9   ​
-^ 一階邏輯可滿足性及其應用 First Order Logic Satisfiability and Its Applications ​                                                                                                                                                        ​||| +^ 一階邏輯可滿足性及其應用 First Order Logic Satisfiability and Its Applications ​                                                                                                                                                         ||| 
-Quantified Linear Arithmetic ​                                                                                       ​| [[http://​www.iis.sinica.edu.tw/​~yfc/​|陳郁方 Yu-Fang Chen]] \\ 中央研究院資訊科學研究所 ​                         |  6  | +[[download#​一階邏輯可滿足性及其應用 First Order Logic Satisfiability and Its Applications|Satisfiability Modulo Theories]] ​     ​| [[http://​www.iis.sinica.edu.tw/​~yfc/​|陳郁方 Yu-Fang Chen]] \\ 中央研究院資訊科學研究所 ​                         |  6   | 
-| Quantifier-Free Linear Arithmetic ​                                                                                  | [[http://​www.iis.sinica.edu.tw/​~bywang/​|王柏堯 Bow-Yaw Wang]] \\ 中央研究院資訊科學研究所 ​                      ​| ​ 6  +| Quantified Linear Arithmetic ​                                                                                       | :::                                                                                              | :::  | 
-| Quantifier-Free Equality and Data Structures ​                                                                       | [[https://​sites.google.com/​site/​mhtsai208/​|蔡明憲 Ming-Hsien Tsai]] \\ 中央研究院資訊科學研究所 ​                ​| ​ 6  +| Quantifier-Free Linear Arithmetic ​                                                                                  | [[http://​www.iis.sinica.edu.tw/​~bywang/​|王柏堯 Bow-Yaw Wang]] \\ 中央研究院資訊科學研究所 ​                      ​| ​ 6   ​
-| Combining Decision Procedures ​                                                                                      | [[http://​www3.nccu.edu.tw/​~yuf/​|郁方 Fang Yu]] \\ 政治大學資訊管理學系 ​                                      ​| ​ 6  |+| Quantifier-Free Equality and Data Structures ​                                                                       | [[https://​sites.google.com/​site/​mhtsai208/​|蔡明憲 Ming-Hsien Tsai]] \\ 中央研究院資訊科學研究所 ​                ​| ​ 6   ​
 +| Combining Decision Procedures ​                                                                                      | [[http://​www3.nccu.edu.tw/​~yuf/​|郁方 Fang Yu]] \\ 政治大學資訊管理學系 ​                                      ​| ​ 6   ​|
  
  
  • 顯示頁面