NMTS Meeting 13
Jump to navigation
Jump to search
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
Notebook presentation (File:Slides-SortsAndTypes.pdf)
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! (This exercise is not in its final form yet. I'll send around a message once the set of exercises is ready to work on!)
- Prepare an example solution for those questions that concern the topic of your group.
Back to the course overview.