Linguistics 680: Formal Foundations (Autumn 2010)

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 11:30 AM—1:18 PM in 56 Hagerty Hall (led by instructor)
Recitation
F 11:30—1:18 in 50 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
  8. (Pre)Semilattices and Trees

Other Interesting Stuff

Slides

9/23
Assumptions of (a) Set Theory
10/5
Mathese
11/9
Context-Free Grammars
11/16
(Pre-)Algebras for Linguistics: Review of Preorders
11/18
(Pre-)Algebras for Linguistics: Introducing Preordered Algebras
(Pre-)Algebras for Linguistics: Trees
11/23
(Pre-)Algebras for Linguistics: Residuation
(Pre-)Algebras for Linguistics: Prelattices
11/30
(Pre-)Algebras for Linguistics: Modelling Worlds
12/2
(Pre-)Algebras for Linguistics: Modelling Meaning and Reference

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