Warning: The topics included in the schedule is neither sound (some of the listed topics may not be covered) nor complete (some unlisted topic may be included)!

Lectures Theme Slides Recording Comments
Jan 21 Admin. Intro. Paradigms. [pdf] [Zoom]  
  Functional Programming [pdf] [Zoom]  
Jan 25 Working with OCaml [pdf] [Zoom] Chapter 2 CS3110 text book
  Expressions/Functions [pdf] [Zoom] Chapter 2 CS3110 text book
Jan 28 Expressions/Functions (cont’d) [pdf] [Zoom] Chapter 2 CS3110 text book
Feb 01 OCaml Lists [pdf] [Zoom] Chapter 3 CS3110 text book
Feb 04 OCaml Lists (cont’d) [pdf] [Zoom] Chapter 3 CS3110 text book
Feb 08 OCaml Tuples and Records [pdf] [Zoom] Chapter 3 CS3110 text book
Feb 11 Higher-order Functions [pdf] [Zoom] Chapter 4 CS3110 text book
Feb 15 Higher-order Functions (cont’d) [pdf] [Zoom] Chapter 4 CS3110 text book
Feb 18 Tail Recursion [pdf] [Zoom] Chapter 3 CS3110 text book
Feb 22 Datatypes [pdf] [Zoom] Chapter 3 CS3110 text book
Feb 25 Closures [pdf] [Zoom] Chapter 4 CS3110 text book
Mar 01 Operational Semantics [pdf] [Zoom] Chapter 9 CS3110 text book
Mar 04 Operational Semantics (cont’d) [pdf] [Zoom] Chapter 9 CS3110 text book
Mar 08 Lambda Calculus [pdf] [Zoom] TAPL Chap. 5, Peter Selinger’s lecture notes on lambda calculus Chap. 2
Mar 11 Lambda Calculus (cont’d) [pdf] [Zoom] TAPL Chap. 5, Peter Selinger’s lecture notes on lambda calculus Chap. 2
  Lambda Calculus Encoding [pdf] [Zoom] TAPL Chap. 5, Peter Selinger’s lecture notes on lambda calculus Chap. 2
Mar 22 Lambda Calculus Review [pdf] [Zoom]  
  Prolog Basics [html] [Zoom] Chapter 1 in AoP
Mar 25 Prolog Basics (cont’d) [html] [Zoom] Chapter 1 in AoP
  Prolog Lists [html] [Zoom] Chapter 3 in AoP
Mar 29 Prolog Lists (cont’d) [html] [Zoom] Chapter 3 in AoP
April 1 Generate and Test [html] [Zoom] Chapter 14.1 in AoP
April 5 Control in Prolog [html] [Zoom] Chapter 4 in AoP
April 8 Control in Prolog (Final Project Topic) [html] [Zoom] Chapter 4 in AoP
April 12 Control in Prolog (Final Project Topic) [pdf] [Zoom] Chapter 4 in AoP
April 15 Graph Search [html] [Zoom] Chapter 14.2 in AoP
  Python Intro (1) [html] [Zoom]  
April 19 Python Intro (2) [html] [Zoom]  
April 22 Python Objects [html] [Zoom]  
April 26 Python Objects (cont’d) [html] [Zoom]  
April 29 Wrap Up [pdf] [Zoom]  
April 29 Program Synthesis [pdf] [Zoom]  
May 3 Program Synthesis (cont’d) [pdf] [Zoom]