NMTS Meeting 11: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
|||
| Line 13: | Line 13: | ||
Read either of the two: | Read either of the two: | ||
* On quantifiers: Chapter 4 of Kearns 2000. | * On quantifiers: Chapter 4 of Kearns 2000. | ||
* On types and sort: Chapter 6 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 | (Kearns 2000 and Lohnstein 2011 both are available online via the UB Frankfurt) | ||
<hr /> | <hr /> | ||
Back to the [[NMTS_Course_Overview|course overview]]. | Back to the [[NMTS_Course_Overview|course overview]]. | ||
Revision as of 01:07, 18 December 2012
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
Create three exercises on your topic and think of how you could encode them in our wiki.
Online exercises 1
Homework for January 22
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)
Back to the course overview.