ENG6206 의미론 I


The goal of this course is to deepen our understanding of the underpinnings of semantic theory gained in ENG3307.
Home
 
Textbook: Click here and click on Invitation to Formal Semantics.

Homework:
PS1 has been posted. The due date has changed to Sept. 23rd.

Schedule:
lecture date contents homework reading
1 Sept 2nd Introduction Chapter 1
2 Sept 9th Set Theory and Functions Chapter 2
3 Sept 16th Propositional Logic Chapter 3
4 Sept 23rd Predicate Logic
 PS1 Chapter 4
5 Sept 30th Typed Lambda Calculus Chapter 5
6 Oct 14th Function Application I Chapter 6
7 Oct 21st Midterm
7 Oct 28th Function Application II Chapter 6
8 Nov 4th Function Application III Chapter 6
9 Nov 11th Beyond Function Application I PS2 Chapter 7
10 Nov 18th Beyond Function Application II Chapter 7
11 Nov 25th Presupposition Chapter 8
12 Dec 2nd Dynamic Semantics Chapter 9
13 Dec 9th Coordination and Plurals Chapter 10