COGS 543 - Computational Semantics

Informatics Institute, METU

An introductory course on formal and computational approaches to natural language meaning.

Tuesday, 14:40-17:30

Umut Özge

Ali Eren Çetintaş
TA

Weekly Schedule (Fall 2022 - Tentative)

Week	Date	Content	Assignment	Reading
1	Oct 3	First meeting
2	Oct 10	005-015		FOL notes
3	Oct 17	005-015	Study fol-ps (no submission)
4	Oct 24	020-036
5	Oct 31	020-036
6	Nov 7	038-044
7	Nov 14		Assignment 1	Sections 2.1-3 from "Parts of a Whole"
8	Nov 21		Install Lambda Calculator	Ch. 6 of "Invitation"
9	Nov 28			Sections 7.1 and 7.4
10	Dec 5		Ch. 6, Exx. 27, 28 (in LC)
11	Dec 12		Assignment 3
12	Dec 19
13	Dec 26
14	Jan 2

Online content (please download if your browser can't open the video)

ID	Topic
005	First-order Logic: Syntax 1
007	First-order Logic: Syntax 2
009	First-order Logic: Semantics 1
011	First-order Logic: Semantics 2
013	First-order Logic: Interpretation example
015	First-order Logic: Translation examples
020	Lambda Calculus 1: Introduction
022	Lambda Calculus 2: Syntax
024	Lambda Calculus 3: Notational convention exercises
026	Lambda Calculus 4: Binding
028	Lambda Calculus 5: Alpha-conversion
030	Lambda Calculus 6: Substitution
032	Lambda Calculus 7: Beta-reduction
034	Lambda Calculus 8: Composition example
036	Lambda Calculus 9: Eta-conversion
038	Currying
040	Combination
042	Signs
044	Directionality
046	Semantic types
050	Noun Phrase Semantics: Introduction
056	Quantification 1
058	Quantification 2
060	Generalized Quantifiers
070	Coordination 1
072	Coordination 2
074	Coordination 3
076	Coordination 4
080	Type-raising and composition 1
082	Type-raising and composition 2
090	Relativization 1
092	Relativizatoin 2
100	Worlds 1
102	Worlds 2
104	Worlds 3
106	Worlds 4

Resources

• Lecture notes (posted as we go along).

• Videos

• Reference:
  Coppock, E. and Champollion L. (in prep) Invitation to Formal Semantics.
  Winter, Y. (2017) Elements of Formal Semantics, Edinburgh University Press, UK.
  Jacobson, P. (2014) Compositional Semantics, Oxford University Press, UK.
  Champollion, L. (2017) Parts of a Whole. Oxford Unviersity Press, UK.

Communication

• Follow and contribute to odtuclass for announcements and discussion.
• Drop us an email, if you want to be a guest student in this course.

Requirements

• Assignments (min 5, may be more, 50%)
• Term report (in latex, 50%)

Attendance and late submission policies

• You must drop the instructor and the TA an email either before or shortly after you miss a class. Missing 3 classes without a medical excuse proved by a report is fine. Each miss after that takes one letter down from your final grade.
• No late submissions, except in case of a medical issue proved by a medical report.

Special assistance

• Please contact the instructor for any assistance you may require for participating in this course.

License

The textual content of this course is licensed under the Creative Commons Attribution 4.0 International License, and the accompanying source code is licensed under the MIT license, unless otherwise stated.