Vorlesung Logik (WS 2006/07)

Hörerkreis: 1. Semester
Informatik, Softwaretechnik

Vorlesung: Di 09:45-11:15,
Do 09:45-11:15 (14-tägig)
Raum V38.01

Zur Vorlesung "Logik" gehören Übungen in Tutorgruppen (zweistündig, alle 14 Tage).

Übungsblätter:

• Blatt 1 [PostScript] [PDF] (Musterlösung [PostScript], [PDF])
• Blatt 2 [PostScript] [PDF] (Musterlösung [PostScript], [PDF])
• Blatt 3 [PostScript] [PDF] (Musterlösung [PostScript], [PDF])
• Blatt 4 [PostScript] [PDF] (Musterlösung [PostScript], [PDF])
• Blatt 5 [PostScript] [PDF] (Musterlösung [PostScript], [PDF]) (Sudoku-Programmieraufgabe)
• Blatt 6 [PostScript] [PDF] (Musterlösung [PostScript], [PDF])
• Blatt 7 [PostScript] [PDF] (Musterlösung [PostScript], [PDF]) (Formeln für Tarski's World)
Blatt 8 [PostScript] [PDF] (Musterlösung [PostScript], [PDF])

Die Abgabe der Übungsblätter erfolgt in der Regel bis Dienstag, 9:45 Uhr, eine Woche nach der Ausgabe.
Die Übungen können in Gruppen von 2-4 Personen gelöst werden. Vermeiden Sie Übungsgruppen übergreifende Abgaben. Geben Sie nur eine Lösung pro Gruppe ab. Bitte versehen Sie Ihre Lösungsblätter mit Namen und Gruppennummer und heften Sie sie zusammen. Werfen Sie Ihre Lösung in die entsprechenden Kisten auf den Tischen gegenüber dem Raum 1.024 (1.Stock). Dort gibt es auch einen Tacker.

Beachten Sie auch die Scheinkriterien. Wir geben keine Auskunft über momentane Punktestände; notieren Sie sich deswegen bitte die erhaltenen Punkte.

Die Einteilung in Übungsgruppen ist abgeschlossen und ergibt sich aus dem Web-Formular mit dem Login "logik" und dem Passwort "hintikka". Der Zugriff ist nur von Rechnern der Fakultät aus möglich. Wünsche, die Gruppenzugehörigkeit zu ändern, sind bei den betroffenen Tutoren gut zu begründen und nur mit deren Einverständnis möglich. Wenn es um Gruppenzugehörigkeit geht, wenden Sie sich nur bei Streitfällen an die oben angegebene E-Mail-Adresse.