Computational Semantics

Fall 2026
Umut Özge (✉️) , Anıl Öğdül (TA, ✉️)
⏰ T 2:40-5:30, II04
Check the current syllabus for course information and policies.
Make sure you are on odtuclass to get announcements and updates.
📖: reading | 📝: exercise | 🧩: optional/advanced material

Week Content
1 (29/9)
  1. Language primer (Just the post itself; the readings listed at the end are not meant to be read until next week.)
  2. Martin & Baggio (2019), Sections 1 and 2. The rest can be read now or later, for guidance on how to connect the content of this course with cognitive nueroscience, neural network modeling, or Bayesian probabilistic modeling, in case you are interested in persuing such a research direction in your thesis at our department.
  3. Read the first chapter of Davis etal. (1994) if you are coming from a non-mathematical background.
4 (20/10)

Propositonal logic notes, up to Section 5. This is a more detailed and slower exposition of some of the material we discussed in class.

Get prepared for a quiz. Make sure you understand Section 4 thoroughly, and be prepared to be able to eliminate or restore the parentheses in a formula.

The aximomatization of propositional logic we saw in class is from Thomason (1969), first chapter.

5 (27/10)

First-order logic notes. You may start looking at this, we will start on this next session.
No quiz.