| | | Lectures and Readings |
The schedule on the following two pages shows the tentative schedule of topics to be covered at each class meeting during the semester. Because this course was last taught 10 years ago using a very different text, I expect the syllabus is currently very incomplete and will be updated regularly. Consult this page regularly to see the most current version of the schedule of topics and readings.
I expect you to do at least a light reading of the text before each lecture. I will not attempt to cover in lecture all the material in the readings. Instead my goal will be to cover the highlights or particularly difficult material. For this to work, you will need to already be familiar with the simpler aspects of the material. If you keep up your part of the bargain we should be able to have more interesting discussions in class, rather than just listening to me go over the text.
In the table below, CS stands for our textbook.
|
Lecture | Date | Topic | Reading |
| 1. | Jan. 20 | Overview | CS 1 |
| 2. | Jan. 22 | Sets, Functions, & the Lambda Calculus | CS 2.1-2.4 |
| 3. | Jan. 25 | Untyped Lambda Calculus | CS 2.4 |
| 4. | Jan. 27 | Typed Lambda Calculus | CS 2.5-2.7 |
| 5. | Jan. 29 | Programming in Haskell | CS 3 except 3.11 |
| 6. | Feb 1 | More Programming in Haskell | CS 3 except 3.11 |
| 7. | Feb. 3 | Formal Syntax & Propositional Logic | CS 4.1-4.4, 5.2 |
| 8. | Feb. 5 | Semantics & Propositional Logic in Haskell | CS4.4, 5.3 |
| 9. | Feb. 8 | Predicate Logic | CS 4.5 |
| 10. | Feb. 10 | Semantics of Predicate Logic, Predicate Logic in Haskell | CS 5.5-5.6 |
| 11. | Feb. 12 | Translating Language to Logic | CS 5.6,6.1-2 |
| 12. | Feb. 15 | Translating Language to Logic | CS 6.1-6.2 |
| 13. | Feb. 17 | Semantics of predicate logic in Haskell | CS 6.3-6.4 |
| 14. | Feb. 19 | Composition of Meaning: Quantification | CS 6.5-6.6, 7.1-7.2 |
| 15. | Feb. 22 | Quantification, Typed Logic | CS 7.2-7.3 |
| 16. | Feb. 24 | Typed Logic | CS 7.4-7.6 |
|
17. | Feb. 26 | Parsing & Combinators | CS 7.4-7.6 |
| 18. | Feb. 29 | Parsing & Parse Trees | CS 9.3 |
| 19. | March 2 | Recognizing matching features | CS 9.4-9.5 |
| 20. | March 4 | NO CLASS | |
| 21. | March 7 | Possible World Semantics | CS 8.1 |
|
22 | March 9 | Intensional Interpretations | CS 8.2-8.3 |
|
23. | March 11 | Intensionalization | CS 8.4-8.5 |
| March 14-18 | Spring Break | ||
|
24. | March 21 | Continuations1 | CS 11.1-11,3 |
| 25. | March 23 | Continuations 2 | CS 1.4-11.6 |
| March 25 | Chavez Day - no classes | ||
|
26. | March 28 | Discourse Representation Theory | CS 12.1 |
| 27. | March 30 | Discourse Representation Theory | CS 12.2 |
| 28. | April 1 | Discourse Representation Theory | CS 12.3-12.4 |
| 29. | April 4 | Discourse Representation Theory | CS 12.6 |
| 30. | April 6 | Logical Inference | |
| 31. | April 8 | Logical Inference | |
| 32. | April 11 | Out of town - no class | Work on project |
| 33. | April 13 | Out of town - no class | Work on project |
| 34. | April 15 | Common knowledge | CS 13 |
| 35. | April 18 | Common knowledge | CS 13 |
| 36. | April 20 | Common knowledge | CS 13 |
| 37. | April 22 | Conversation State | |
| 38. | April 25 | Final Project Reports | |
| 39. | April 27 | Final Project Reports | |
| 40. | April 29 | Final Project Reports | |
| 41. | May 2 | Final Project Reports | |
| 42. | May 4 | Summary | |
| | | Lectures and Readings |