Logik

Wintersemester 2013/2014

Inhalt:

Ausdrücke, semantische Äquivalenz, Normalformen, Verfahren zur (Semi-)Entscheidbarkeit des Erfüllbarkeitsproblems in der Aussagen- und Prädikatenlogik, theoretische Grundlagen der logischen Programmierung, Ausblick auf weitere informatikrelevante Logiken.

Literatur:

Jon Barwise und John Etchemendy: Sprache, Beweis und Logik. Mentis-Verlag, 2005, ISBN: 978-3-89785-440-6
(siehe auch hier, Achtung, Zugang nur von Rechnern innerhalb des Uni-Netzes).

Software:

Zum Buch gehören die Programme „Tarski's World“, „Fitch“, „Boole“ und „Submit“
(siehe hier, Achtung, Zugang nur von Rechnern innerhalb des Uni-Netzes).
Die Software läuft auf den Plattformen Linux, Windows sowie Mac (auch Mac mit Intel-Prozessor).

Eine ID für den Grade Grinder, der einen Teil der Lösungen automatisch bewerten kann, und zur Nutzumng des Programms „Submit“ ist hier (Zugang nur von Rechnern innerhalb des Uni-Netzes) erwerbbar, dort finden sie weitere Hinweise.

Zu den Übungen gibt es Übungsblätter und Übungsaufgaben aus dem Buch.
Es müssen zu Beginn jeder Übung Aufgaben votiert werden. Damit zeigt der/die Studierende dem Übungsleiter, dass er/sie bereit ist, bei Aufforderung zu den votierten Aufgaben vorzutragen (Lösungsvorschläge werden diskutiert, sie müssen nicht gleich perfekt richtig sein).
Alternativ können auch Lösungen bestimmter (nicht aller) Aufgaben über das Programm „Submit“ automatisch bewertet werden. Für die Zulassung zur Klausur sind folgende Leistungen zu erbringen:

• Mindestens 2/3 der Übungsaufgaben müssen am Ende des Semesters votiert oder über „Submit“ eingereicht worden sein.
• Mindestens zweimal pro Semester muss man in den Übungen vorgetragen haben.

• Im internen Bereich finden Sie ein Glossar deutsch-englisch.
• Im internen Bereich finden Sie eine Übersicht der Beweisregeln.

Übungsblätter:
(Die Aufgabennummern beziehen sich auf das Buch Sprache, Beweis und Logik – Zugang nur von Rechnern innerhalb des Uni-Netzes.)
„Sternchen-Aufgaben“ wie z. B. 3.28^* sind Aufgaben, die Sie lösen und votieren können, die aber nicht zu den zu votierenden Aufgaben zählen.

• Blatt 1 (43. KW): Aufgaben 2 bis 9, 12, 13 aus Kapitel 1,
• Blatt 2 (44. KW): Aufgaben 1 bis 5, 7, 16, 22 bis 25 aus Kapitel 2,
• Blatt 3 (45. KW): Aufgaben 3, 4, 6, 7, 9, 11, 14, 16, 21, 22, 25, 28^* (angepasst für Google) aus Kapitel 3,
• Blatt 4 (46. KW): Aufgaben 2, 8, 14, 16, 17, 22, 24, 27, 30, 31, 39, 40 aus Kapitel 4,
• Blatt 5 (47. KW): Aufgaben 5.11, 5.20 sowie 3, 4, 9, 10, 28, 29, 36, 39 aus Kapitel 6,
• Blatt 6 (48. KW): Aufgaben 7.6, 7.12, 7.13, 7.21, 7.32 sowie 8.18, 8.19, 8.20, 8.24, 8.51, 8.52,
• Blatt 7 (49. KW): Aufgaben 1, 2, 5 (Sätze 3–6, 10–13, 20–26), 6, 11, 14, 16, 17 aus Kapitel 9,
• Blatt 8 (50. KW): Aufgaben 1, 3, 4, 6, 7, 9, 11, 19, 21, 31 aus Kapitel 10,
• Blatt 9 (51. KW): Aufgaben 3, 4, 5, 10, 16, 18^*, 25^*, 37, 39, 40^* aus Kapitel 11,
• Blatt 10 (2. KW): Aufgaben 3, 9, 11, 12, 29, 31, 35, 39, 43^*, 44, 45, 50, 51^*, 54^*, 55^*, 56^*, 57^* aus Kapitel 13,
• Blatt 11 (3. KW): Aufgaben 2, 3, 4 (Fitch-Beweis bitte nur auf Papier aufschreiben), 5, 6, 7, 9, 10, 11, 12, 13^*, 14^* aus Kapitel 17 (Achtung: diese Aufgaben befinden sich in Band 2!),
• Blatt 12 (4. KW): Aufgaben 18, 19, 31, 32 (Beweis nur auf Papier), 35, 38, 43, 44^*, 45^* aus Kapitel 17 sowie
                              Aufgaben 23, 24, 25, 26 aus Kapitel 13 (dabei jeweils Beweis oder Gegenbeipspiel nur auf Papier, bei den Beweisen unbedingt eine Übersicht der Beweisregeln benutzen).
• Blatt 13 (5. KW): Aufgaben 2, 3, 4, 7, 8, 18, 19^* aus Kapitel 18

Webmaster