大綱與講義

• 課程提綱.
• 參考課本：函數程設與推論.
• Week 01 (2023/09/07)
  • 0. 概論 Overview
    • 講義 0, 投影片 0.
  • 1. Haskell 簡介：值、函數、與型別。 Introduction to Haskell – Values, Functions, and Types.
    • 講義 1, 投影片 1.
    • 練習 1, 練習 1 參考解答.
    • MiniPrelude.hs.
• Week 02 (2023/09/14)
  • 延續上週主題。
• Week 03 (2023/09/21)
  • 2. Haskell 簡介：單純資料型別、串列上之函數。 Introduction to Haskell – Simple Datatypes & Functions on Lists.
    • 講義 2, 投影片 2, 工作單 2.
• Week 04 (2023/09/28)
  • 延續上週主題
    • 練習 2-1: 逆向工程程式設計 – 練習 2-1, practicals_02-1_code.zip, practicals_02-1_code_no_quickcheck.zip, 練習 2-1 參考解答
    • 練習 2-2: 「全麥程設」與 Caesar Cipher – 練習 2-2, CaesarCipher.zip, 練習 2-2 參考解答：CaesarCipher_Complete.zip.
• Week 05 (2023/10/05)
  • 3. 歸納定義與證明。 Definition and Proof by Induction.
    • 講義 3, 投影片 3, 工作單 3, 練習 3, 練習 3 參考解答.
• Week 06 (2023/10/12)
  • 延續上週主題。
• Week 07 (2023/10/19)
  • 延續上週主題。
• Week 08 (2023/10/26):期中考。
  • 參考解答.
• Week 09 (2023/11/02)：
  • 4. 簡單程式推導。 Simple Program Derivation
    • 講義 4, 投影片 4, 練習 4, 練習 4 參考解答.
• Week 10 (2023/11/09)
  • 5. 程式推導：Work Less by Promising More。 Program Calculation: Work Less by Promising More
    • 講義 5, 投影片 5, 練習 5, 練習 5 參考解答.
• Week 11 (2023/11/16)
  • 延續上週主題。
• Week 12 (2023/11/23)
  • 6. 無所不在的「摺」 (參考資料)。 The Ubiquitous Fold (Supplementary).
    • 講義 6, 練習 6, 練習 6 參考解答.
  • 7. 型別與邏輯。 Types and Logic.
    • 講義 7, 投影片 7, 練習 7, 練習 7 參考解答.
• Week 13 (2023/11/30)
  • 延續上週主題。
• Week 14 (2023/12/07)
  • 8. 一階邏輯與依值型別。 First Order Logic and Dependent Type.
    • agda.zip.
    • agda_completed.zip.
• Week 15 (2023/12/14)
  • 延續上週主題。
• Week 16 (2023/12/21): 期末考。