NMTS Meeting 13: Difference between revisions
Jump to navigation
Jump to search
Line 23: | Line 23: | ||
= Homework = | = Homework = | ||
For next week: Work through '''all''' exercises on [[NMTS_Meeting_14|next week's meeting's page]]! | For next week: | ||
# Work through '''all''' exercises on [[NMTS_Meeting_14|next week's meeting's page]]! | |||
# Prepare an example solution for those questions that concern the topic of your group. | |||
<hr /> | <hr /> | ||
Back to the [[NMTS_Course_Overview|course overview]]. | Back to the [[NMTS_Course_Overview|course overview]]. |
Revision as of 08:05, 29 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
- Create three exercises of different type and degree of complication on your topic. Each exercise should have at least 4 to 5 instantiations.
- Read: Chapter 6 of Kearns 2000; Chapter 6 of Lohnstein 2011 (Formale Semantik und natürliche Sprache)
Group 8: Sorts and types
Back to the course overview.
Online exercises
- Go through my comments on your group
Homework
For next week:
- Work through all exercises on next week's meeting's page!
- Prepare an example solution for those questions that concern the topic of your group.
Back to the course overview.