Logik

Die Nachklausur "Logik" findet am 13.10.2010 von 9:00-11:00 Uhr im H22 statt.

Die vorläufigen Ergebnisse der Klausur "Logik" vom 26.07.2010 sind im LSF eingetragen.( Der Bonus ist berücksichtigt).

Klausureinsicht: Freitag, 30.07.2010 11:00-12:00 Uhr im Raum: O27/531

Klausurtermin: 26. Juli ab 12:00 Uhr in H20/H11/H12 (Raum- und Zeitänderung!)
Verteilung auf Hörsäle: H11 A-L,    H12: M-Z,    (H20 wird nicht benötigt)

 

Aussagenlogik

• Syntax und Semantik
• Normalformen
• Resolution, Vollständigkeits- und Korrektheitsbeweise

Prädikatenlogik

• Syntax und Semantik
• Normalformen
• Resolution, Vollständigkeits- und Korrektheitsbeweise

Literatur: 

• Uwe Schöning: Logik für Informatiker, 5. Auflage. Spektrum Verlag, 2000.
• Skript    

Folien:

   Aussagenlogik

   Prädikatenlogik

Die Tutorien finden wöchentlich statt und beginnen in der Woche ab Mo. 26. April.
Tutoriumstermine:
Mo 12:00 - 14:00, Raum 122, Tutor Timo Beller
Di 10:00 - 12:00, Raum 2202, Tutor Jan-Hendrik Lorenz
Mi 10:00 - 12:00, Raum 2201, Tutor Timo Beller
Fr 8:00 - 10:00, Raum 3211, Tutor Jan-Hendrik Lorenz

Für die Teilnahme an den Übungen melden Sie sich bitte im rubikon2-System an unter
http://rubikon2.informatik.uni-ulm.de
Melden Sie sich für diese Veranstaltung bis Do. 22. April an.
Schreiben Sie sich in ein freies Tutorium während der Einschreibungsphase ein.

Übungsblätter werden in der Vorlesung ausgeteilt und werden auch im rubikon2-System
freigeschaltet.

Übungsblatt 1
Übungsblatt 2 Hinweis zu Aufgabe 2.3(a): Ergänzen Sie die Formel X um die Klausel (E oder nicht A)
Übungsblatt 3 Hinweis zu Aufgabe 3.2(a): Ändern Sie die letzte Klausel in (nicht G oder D)
Übungsblatt 4
Übungsblatt 5
Übungsblatt 6
Übungsblatt 7
Übungsblatt 8
Übungsblatt 9
Übungsblatt 10
Übungsblatt 11 Hinweis zu Aufgabe 11.3 (b): a ist ein 0-stelliges Prädikat.
Hinweis zu Aufgabe 11.4: 5. Satz: Verwenden Sie "Wo keine Traktoren fahren, handelt es sich um eine Autobahn."
Übungsblatt 12 Hinweis zu Aufgabe 12.3 d) und e): climb und grasp sind einstellige Funktionen.
Hinweis zu Aufgabe 12.5: Leiten Sie für die Aufgaben 12.2 und 12.3 durch Resolution die Antwortklauseln: {Antwort(...)} ab.


Die Vergabe von Punkten wird wie folgt geregelt:
a) durch Abgabe und Korrektur von einem Teil der Aufgaben und
b) nach dem Votiersystem für alle anderen Aufgaben. Ein Student erhält für eine Aufgabe keinen Punkt, wenn er diese nicht bearbeitet hat oder er nicht in der Lage ist, diese an der Tafel zu erklären/vorzurechnen.

Die Abgabe (siehe a))  erfolgt im Tutorium für das Tutorium am Montag, bzw.
bis Montag 12:00 Uhr in den Fächern vor dem H20 für alle anderen Tutorien.

Einen Übungsschein erhält ein Student, falls er am Ende mindestens 60% der Gesamtpunkte aller Aufgaben gesammelt hat. Studenten, die einen Übungsschein erhalten haben, bekommen einen Klausurbonus, d.h. die Note der Abschlußklausur verbessert sich um eine Notenstufe (ausgenommen: 1,0 und 5,0).