Syllabus and Handouts

• Syllabus.
• Week 01 (2024/09/05)
  • 概論 Introduction
    • Handouts 00, Slides 00.
  • Guarded Command Language, Hoare Logic, and Weakest Precondition.
    • 設值 Assignment.
    • Handouts 01, Slides 01, Practicals 01, , Practicals 01 Solutions.
• Week 02 (2024/09/12): Guarded Command Language, Hoare Logic, and Weakest Precondition.
  • 條件判斷 Conditional Branching, 最弱前提 Weakest Precondition.
• Week 03 (2024/09/19): 命題邏輯 Propositional Logic.
  • Handouts 02, Slides 02, Practicals 02, Practicals 02 Solutions.
  • Axioms and Theorems of the Propositional Calculus.
• Week 04 (2024/09/26): 命題邏輯 Propositional Logic.
• Week 05 (2024/10/03): (Cancelled due to typhoon)
• Week 06 (2024/10/10): National Day.
• Week 07 (2024/10/17): 量詞 Quantifications.
  • Handouts 03, Slides 03, Practicals 03, Practicals 03 Solutions.
• Week 08 (2024/10/24)：期中考 Mid-Term Exam。
  • Solutions to Mid-Term Exam.
• Week 09 (2024/10/31): 迴圈與恆式 Loops and Loop Invariants.
  • Quantifications, continued.
• Week 10 (2024/11/07): 迴圈建構一般技巧 General Loop Construction.
  • Handouts 04, Slides 04, Practicals 04, Practicals 04 Solutions.
  • Summary of the Guarded Command Language.
• Week 11 (2024/11/14): 迴圈建構一般技巧 General Loop Construction.
  • 合取拆恆式 Taking Conjuncts as Invariants
  • 設值與代換 Assignment and Substitutions
  • 常數換變數 Replacing Constants by Variables
  • Handouts 05, Slides 05, Practicals 05, Practicals 05 Solutions.
• Week 12 (2024/11/21): 迴圈建構一般技巧 General Loop Construction.
  • 增強恆式 Strengthening the Invariant
  • Handouts 06, Slides 06, Practicals 06, Practicals 06 Solutions.
• Week 13 (2024/11/28): 迴圈建構一般技巧 General Loop Construction.
  • 利用結合律 Associative Invariants
  • Handouts 07, Slides 07, Practicals 07, Practicals 07 Solutions.
• Week 14 (2024/12/05)
  • Case Study.
    • 快速除法 Fast Division.
    • 二元搜尋 Binary Search.
  • Handouts 08, Slides 08, Practicals 08, Practicals 08 Solutions.
• Week 15 (2024/12/12)
  • 陣列操作 Array Manipulation.
  • 陣列元素交換 Swaps in Arrays.
  • Handouts 09, Slides 09, Practicals 09, Practicals 09 Solutions.
• Week 16 (2024/12/19): 期末考 Final Exam。