Linguistics 680: Formal Foundations (Autumn 2011)

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 676 Biological Sciences (led by instructor)
Recitation
F 11:30—1:18 in 676 Biological Sciences (led by TA)

Readings

Linguistics Background

Textbook

Other Interesting Stuff

Slides

9/22 and 9/27: Introduction to Set Theory
Slides
Handout
10/4: Mathese
Slides
Handout
10/11: Relations
Slides
Handout
10/13: Functions
Slides
Handout
10/18: Induction, Recursive Definition, and Infinity
Slides
Handout
10/20 and 10/25: (Pre-)Algebras
Slides
Handout
10/27 and 11/1: Formal Languages
Slides
Handout
11/3: Trees
Slides
Handout
11/8: Introduction to Natural Deduction
Slides
Handout
11/15: Positive Intuitionistic Propositional Logic
Slides
Handout
11/17: (Pre-)Lattices
Slides
Handout
11/22: Introduction to Typed Lambda Calculus
Slides
Handout
11/29: Introduction to Higher Order Logic
Slides
Handout
12/1: Introduction to Linear Grammar
Slides
Handout

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
  9. Problem Set 9