Linguistics 680: Formal Foundations (Autumn 2009)

Instructor
Carl Pollard
Email
pollard ling osu edu
Office Hours
By appointment in 18 Oxley Hall
Office Phone
(614) 292-7590
Emergency Phone
(614) 975-9789
Teaching Assistant
Scott Martin
Email
scott ling osu edu
Office Hours
By appointment in 24b Oxley Hall
Office Phone
(614) 292-8878
Course Information
(subject to change)
Class Meetings
Lecture
TR 3:30—5:18 PM in 47 University Hall (led by instructor)
Recitation
F 11:30—12:30 in 351 Hagerty Hall (led by TA)

Readings

Linguistics Background

Textbook Chapters

  1. Introduction
  2. Sets
  3. Mathese
  4. Relations and Functions
  5. The Natural Numbers, Induction, and Recursive Definition
  6. Infinities
  7. Introduction to Formal Languages

Other Interesting Stuff

Slides

9/29
Assumptions of (a) Set Theory
11/10
Context-Free Grammars
11/12
More about Preorders
11/17
Preordered Algebras
11/19
Residuation
11/24
The Algebra of Meanings
12/1
Meanings and their Extensions

Problem Sets

  1. Problem Set 1
  2. Problem Set 2
  3. Problem Set 3
  4. Problem Set 4
  5. Problem Set 5
  6. Problem Set 6
  7. Problem Set 7
  8. Problem Set 8