Modallogik (SS 2017)
Übungsblätter
- Übungsblatt 1 (rev. 16432). Solutions due: 17.05.
- Übungsblatt 2 (rev.
165511672416996). Solutions due: 24.05. - Übungsblatt 3 (rev. 16787). Solutions due: 31.05.
- Übungsblatt 4 (rev. 16836). Solutions due: 07.06.
- Übungsblatt 5 (rev. 16912). Solutions due: 21.06.
- Übungsblatt 6 (rev. 16993). Solutions due: 21.06.
- Übungsblatt 7 (rev.
1702817103). Solutions due: 28.06. - Übungsblatt 8 (rev.
1722817285). Solutions due: 12.07. - Übungsblatt 9 (rev. 17403). Solutions due: 19.07.
- Übungsblatt 10 (rev.
1741217517). Solutions due: 26.07.
Termine
| Docent | Daniel Hausmann |
| Lecture | Wed, 16:00 – 17:30 (00.131, Cauerstraße 11), first lecture: 26.04. |
| Tutorial | Thu, 16:15 – 17:45 (00.131, Cauerstraße 11) |
| Target audience | WF M-BA ab 3 (ECTS-Credits: 7,5) WPF INF-BA-V-THI ab 4 (ECTS-Credits: 7,5) WPF INF-MA ab 1 (ECTS-Credits: 7,5) WF M-MA ab 1 (ECTS-Credits: 7,5) |
Die Vorlesung wird üblicherweise in englischer Sprache gehalten, kann aber auf Wunsch der Studierenden auch in deutscher Sprache stattfinden.
Die angegebenen Termine sind vorläufig und können auf Wunsch der Studierenden verschoben werden.
(this lecture is suitable as elective course for the secondary subject ‘computer science’ in various degree courses, in particular, mathematics.)
An unofficial script is available: summer term 2016 (english) (rev. 13030); summer term 2017 (german) (rev. 16911 17005 17432 17461 17471 17519 17601 17605 17615 17625)
Literatur
- Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, 554 pages, Cambridge University Press, 2001.
- Sally Popkorn, First Steps in Modal Logic, 314 pages, Cambridge University Press, 1994.
- Alexander Chagrov and Michael Zakharyashev, Modal Logic, 605 pages, Oxford University Press, 1997.