Syllabus

 

Fall 2019 Schedule
DATE
TOPIC
READINGS
ASSIGNMENT
LINKS
08/30 Intro to Comp. Semantics Van Eijck/Unger Chapter 1   Meaning Representations and Predicate Logic Slides
09/03 Lambda Calculus and Types 1/2 (sections 1-2) Van Eijck/Unger Chapter 2   Lambda Calculus Slides
09/06 Lambda Calculus and Types 2/2 (section 3) Van Eijck/Unger Chapter 3 HW1 out Rules for manipulating lambda terms, Haskell Slides
09/10 Quantifiers (section 4) Van Eijck/Unger Chapter 7.1-7.2   Constructing data types
09/13 Formal Grammars 1/2 Van Eijck/Unger Chapter 4   Briscoe’s Formal Semantics, Map and Filter Slides
09/17 Formal Grammars 2/2    
09/20 Compositionality and Typing 1/2 Van Eijck/Unger Chapter 5 HW1 due, HW2 out Data Type Slides
09/24 Compositionality and Typing 2/2 Van Eijck/Unger Chapter 7.3-7.6 Polymorphism Slides, Russell “On Denoting”
09/27 Ambiguity, Extension, and Intension Van Eijck/Unger Chapter 7.7-8.3   Montague (1973)
10/04 Modal Logic and Intensionality Van Eijck/Unger Chapter 8.4-8.6 HW2 due 10/6, HW3 out John seeks a unicorn
10/08 Modal Logic 1/2   Slides
10/11 Modal Logic 2/2     Eric Pacuit’s Slides on Modal Logic
10/18 Modal Logics for Time: LTL and CTL Van Eijck/Unger Chapter 9 HW3 due, HW4 out Slides, More Slides
10/22 Monads and Continuations   Functors, Applicatives, And Monads in Pictures, Introducing Continuations
10/25 Continuations Van Eijck/Unger Chapter 11.1-11.3 Quantifier Substitutions
10/29 Continuations and Quantifiers Van Eijck/Unger Chapter 11.4-11.6 Every princess helped some dwarf
11/01 Dynamic Semantics and Continuations   HW4 due Slides, More Slides
11/05 Discourse Representation Theory 1/3     DRT Slides-1, DRT Slides-2
11/08 Discourse Representation Theory 2/3 Van Eijck/Unger Chapter 12 HW5 out, Final Project Options out de Groote (2006), Asher and Pogodalla (2010)
11/12 Discourse Representation Theory 3/3     Mann and Thompson (1988)
11/15 Multimodal Simulation Semantics     Slides
11/19 Encoding Context and Presuppositions Van Eijck/Unger Chapter 13   Presupposition in DRT
11/22 Presupposition and Context Change   HW5 due SDRT Slides, Epistemic Logic Slides, PAL Slides
11/26 Public Announcement Logic     Slides
12/03 Snow Day      
12/06 The Meaning of Meaning Westera and Boleda (2019)   Vector Semantics Slides
12/10 Final Project Presentations 1/2      
12/13 Final Project Presentations 2/2   Final Project due 12/19 at 4:30pm