NMTS Meeting 12: Difference between revisions
Jump to navigation
Jump to search
(Created page with "== Preparation == === Reading === Read either of the two: * On quantifiers: Chapter 4 of Kearns 2000. * On types and sort: Chapter 6 of Kearns 2000; Chapter 6 of Lohnstein 2...") |
(No difference)
|
Revision as of 17:43, 21 January 2013
Preparation
Reading
Read either of the two:
- On quantifiers: Chapter 4 of Kearns 2000.
- On types and sort: Chapter 6 of Kearns 2000; Chapter 6 of Lohnstein 2011 (Formale Semantik und natürliche Sprache)
(Kearns 2000 and Lohnstein 2011 both are available online via the UB Frankfurt)
Group 6: Quantifiers
Group 8: Sorts and types
Homework
Homework for January 29
- Create three exercises of different type and degree of complication on your topic. Each exercise should have at least 4 to 5 instantiations.
Back to the course overview.