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 edit summary |
||
Line 10: | Line 10: | ||
= Group | = Group 5: Quantifiers = | ||
[[NMTS-Group5|Wiki page of group 5]] | |||
= Group 8: Sorts and types = | = Group 8: Sorts and types = | ||
[[NMTS-Group8|Wiki page of group 8]] | |||
[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Sorttype.notebook Notebook presentation] | [http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Sorttype.notebook Notebook presentation] |
Revision as of 17:45, 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 5: 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.