NMTS Meeting 12: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
|||
| Line 22: | Line 22: | ||
[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Sorttype.notebook Notebook presentation] | [http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Sorttype.notebook Notebook presentation] | ||
= 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. | * Create '''three''' exercises of different type and degree of complication on your topic. Each exercise should have at least 4 to 5 instantiations. | ||
Revision as of 00:20, 22 January 2013
Warning:
The material on this page has been created as part of a seminar. It is still heavily under construction and we do not guarantee its correctness. If you have comments on this page or suggestions for improvement, please contact Manfred Sailer.
This note will be removed once the page has been carefully checked and integrated into the main part of this wiki.
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 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.