Tutorium Formale Logik SoSe 2012 | Malvin Gattinger

Termine

Vorlesung: Donnerstags 8-10 Uhr, Raum 00/0070 (Hörsaalgebäude)
Tutorium: Donnerstags 18-20 Uhr, Raum 03B07 (Philfak)

Extra-Tutorium am Montag, 16.7. ab 12 Uhr, Raum 03B07 (Philfak)

Klausur: Donnerstag, 19.7. - 9 bis 11 Uhr - Hörsaal H (Philfak)

Wiederholungs-Klausur: voraussichtlich zwischen dem 14.9 und 27. 9.

Kontakt

E-Mail: malvin@w4eg.de

Anonymes Feedback: contact form ← ← Ich freue mich über Kritik, Verbesserungsvorschläge und Kommentare aller Art!

Vorlesungsfolien und Übungsaufgaben

Download der Vorlesung, Übungszettel etc. → siehe ILIAS
Abgabe der Zettel bis Donnerstag 10:00 Uhr in der Vorlesung oder per E-Mail.
(Ich akzeptiere PDF, ODT, DOC, TeX, JPG und sonst nichts.)

Materialien

• Versuch einer Zusammenfassung (Präsentation vom letzten Tutorium am 12.07.): PDF TeX
• Regel-Übersicht zu Kalkül (PropLog und PredLog) und semantischen Bäumen (PropLog): PDF ODT
• Noch ein paar Übungsaufgaben zu PredLog: PDF TeX

Musterlösungen

Die Aufgaben finden sich in ILIAS!

• Übungsblatt 1: PDF TeX
• Übungsblatt 2: PDF TeX
• Übungsblatt 3: PDF TeX
• Übungsblatt 4: PDF TeX
• Übungsblatt 5: PDF TeX
• Übungsblatt 6: PDF TeX
• Übungsblatt 7: PDF TeX
• Übungsblatt 8: PDF TeX
• Übungsblatt 9: PDF TeX

Sonstiges

• Buchtipp 1
• Buchtipp 2
• Comictipp

back to: Malvin Gattinger