Lecture Date Topic Slides Video
01 April 21, 2020 Organization and Introduction slides01 video01_part1 video01_part2
02 April 23, 2020 Information Theory I slides02 video02_part1 video02_part2
03 April 28, 2020 Information Theory II slides03 video03
04 April 30, 2020 Formal Semantics I (Propositional Logic) slides04 video04
05 May 05, 2020 Formal Semantics II (Predicate Logic) slides05 video05_part1 video05_part2
06 May 07, 2020 Formal Semantics III (Second-Order Logic) slides06 video06
07 May 12, 2020 Formal Semantics IV (Type Theory) slides07 video07_part1 video07_part2
08 May 14, 2020 Formal Semantics V (Lambda Calculus) slides08 video08
09 May 19, 2020 Formal Semantics (Summary) slides09 video09_1 video09_2 video09_3
10 May 26, 2020 Current Research and Applications slides10 video10
11 May 28, 2020 Modality slides11 video11