Vorlesung "Logik für Informatiker"

4.1.6 V3 b In, b CV
Jun.-Prof. Dr. Bernhard Beckert

4.1.7 Ü2 b In, b CV
Vladimir Klebanov
Claudia Obermaier
Christoph Gladisch

Aktuelles

25.09.06: Aufgaben und Lösungen der Klausur vom 10.08.06 können hier heruntergeladen werden.
24.07.06: Lösung zum 12. Übungsblatt ist online.
24.07.06: Lösung zum 11. Übungsblatt ist online.
20.07.06: Wer noch keine TAN zur Teilnahme an der Vorlesungsbefragung hat, kann bei mir (Raum B218) oder im Sekretariat eine bekommen.
20.07.06: Die Folien zur heutigen Vorlesung stehen zur Verfügung.
19.07.06: Die Folien der gestrigen Vorlesung stehen zur Verfügung.
19.07.06: 12. Übungsblatt online
18.07.06: Lösung zum 10. Übungsblatt ist online.
12.07.06: 11. Übungsblatt online
11.07.06: Lösung zum 9. Übungsblatt ist online.
06.07.06: Das Beispiel (Umformung in Klauselnormalform und prädiaktenlogische Resolution), das ich heute in der Vorlesung an der Tafel vorgerechnet habe, habe ich geTeXt und in Foliensatz 12 aufgenommen (am Ende vor der Zusammenfassung).
06.07.06: Die Folien der heutigen Vorlesung stehen zur Verfügung.
05.07.06: Am Ende der Vorlesung führe ich eine (elektronische) Vorlesungsbefragung über Evali durch. Die dafür notwendigen TANs werden in den verbleibenden drei Vorlesungen und den Übungen ausgegeben, Sie erhalten sie aber auch im Sekretariat bei Frau Körner (Raum B226). An der Befragung können Sie ab sofort bis zum Ende des Semesters teilnehmen. Die Befragung ist anonym. Die TANs dienen lediglich dazu, sicherzustellen, dass niemand mehr als einmal abstimmt. Bitte machen Sie von dieser Möglichkeit Gebrauch. Beteiligen Sie sich an der Befragung! Dies ist die beste Möglichkeit für Sie, ein Feedback zu geben.
05.07.06: Die Folien der gestrigen Vorlesung sind online.
05.07.06: 10. Übungsblatt online
29.06.06: Die Folien der heutigen Vorlesung stehen zur Verfügung.
28.06.06: Die beiden Termine für die Abschlussklausur stehen jetzt fest: Die Hauptklausur findet am Donnerstag, dem 10.08.06, 10 Uhr s.t., in Hörsaal D028 statt; die Nachklausur am Donnerstag, dem 28.09.06, 10 Uhr s.t. in Hörsaal D028. Teilnahmeberechtigt ist, wer die Zwischenklausur bestanden hat oder schon im letzten Jahr die Teilnahmeberechtigung zur Logik-Klausur erworben hatte (wer danach nicht teilnahmeberechtigt ist und dennoch teilnehmen will, möge sich unverzüglich bei Bernhard Beckert oder Claudia Obermaier melden). Zur Teilnahme ist zudem eine Anmeldung über MeToo erforderlich.
28.06.06: Die Ergebnisse der Zwischenklausur sind inzwischen per Email verschickt. Wer die Zwischenklausur nicht bestanden hat oder nicht teilgenommen hat (auch keine Teilnahmeberechtigung aus dem letzten Jahr hat) und dennoch an der Abschlussklausur teilnehmen will, möge sich unverzüglich bei Bernhard Beckert oder Claudia Obermaier melden.

Frühere aktuelle Informationen

Überblick

Zielgruppe

Studierende der Diplomstudiengänge Informatik und Computervisualistik im 3. und 4. Semester

Inhalte

  1. Einführung
  2. Aussagenlogik
  3. Prädikatenlogik

Literatur


Folien


Sonstige Materialien


Übungsblätter

Jede Woche erscheint ein Übungsblatt (hier im Web). Bitte bearbeiten Sie die darin enthaltenen Aufgaben bis zur darauffolgenden Übung (dann werden die Lösungen in der Übung besprochen).

Die Lösungen können und sollen - müssen aber nicht - schriftlich abgegeben werden, was die Gefahr in sich birgt, dass sich die Studenten nicht damit beschäftigen, sondern im schlimmsten Falle lediglich in der nächsten Übungsstunde die Lösungen unverstanden abschreiben. Das führt nicht zum Erfolg! Bitte lösen Sie die Aufgaben selbständig, am besten in kleinen(!) Lerngruppen von zwei, allenfalls drei Teilnehmern. So sind Sie für die Übung und die Klausuren gut vorbereitet.

Scheinerwerb (Klausuren)

Zwischenklausur

Im Laufe des Semesters (am Dienstag, dem 13.06.) wird eine Zwischenklausur geschrieben. In dieser Zwischenklausur werden einige der bis dahin auf Übungszetteln erschienenen Aufgabentypen schriftlich abgefragt. Die Zwischenklausur muss bestanden werden.

Die Ergebnisse der Zwischenklausur sind inzwischen per Email verschickt. Wer die Zwischenklausur nicht bestanden hat oder nicht teilgenommen hat (auch keine Teilnahmeberechtigung aus dem letzten Jahr hat) und dennoch an der Abschlussklausur teilnehmen will, möge sich unverzüglich bei Bernhard Beckert oder Claudia Obermaier melden.

Abschlussklausur

Zulassungsvoraussetzung für die Abschlussklausur ist das Bestehen der Zwischenklausur; zudem ist teilnahmeberechtigt, wer schon im letzten Jahr die Teilnahmeberechtigung zur Logik-Klausur erworben hatte (wer danach nicht teilnahmeberechtigt ist und dennoch teilnehmen will, möge sich unverzüglich bei Bernhard Beckert oder Claudia Obermaier melden).

Die Abschlussklausur besteht nicht wie die Zwischenklausur aus Aufgaben, die von den Übungsblättern bekannt sind, sondern aus neuen Aufgaben. Nur wer die Abschlussklausur besteht, erhält einen Schein. Die Abschlussklausur bestimmt allein die Note für den Schein.

Die beiden Termine für die Abschlussklausur stehen jetzt fest: Die Hauptklausur findet am
statt; die Nachklausur am
Zur Teilnahme ist zudem eine Anmeldung über MeToo erforderlich.

Aufgaben und Lösungen der Klausur vom 10.08.06 können hier heruntergeladen werden.

Zeit und Ort

Vorlesung

Dienstags, 14 Uhr c.t., Raum D028
Donnerstags, 8 Uhr c.t., Raum D028

Übung

Gruppe A: Montags, 10 Uhr c.t., Raum F313 (Claudia Obermaier)
Gruppe B: Montags, 12 Uhr s.t., Raum F313 (Claudia Obermaier)
Gruppe C: Montags, 10 Uhr c.t., Raum B017 (Christoph Gladisch)
Gruppe D: Montags, 12 Uhr s.t., Raum B017 (Christoph Gladisch)

Bitte melden Sie sich zu den Übungen über MeToo an (die Anmeldung Endet am Mittwoch, dem 03.05.06).

Semesterübersicht

Übung (Montag)
 Vorlesung (Dienstag, 14-16 Uhr)
 Vorlesung (Donnerstag, 8-10 Uhr)
24.04. ---
 25.04. Vorlesung
 27.04. ---
01.05. --- (Maifeiertag)
 02.05. Vorlesung
 04.05. Vorlesung
08.05. Übung
 09.05. Vorlesung 11.05. ---
15.05. Übung 16.05. Vorlesung 18.05. Vorlesung
22.05. Übung 23.05. Vorlesung 25.05. --- (Chr. Himmelfahrt)
29.05. Übung 30.05. Vorlesung 01.06. Vorlesung
05.06. --- (Pfingstferien) 06.06. --- (Pfingstferien)
 08.06. --- (Pfingstferien)
12.06. Übung 13.06. Zwischenklausur
 15.06. --- (Fronleichnam)
19.06. Übung 20.06. Vorlesung 22.06. Vorlesung
26.06. Übung 27.06. Vorlesung 29.06. Vorlesung (statt 11.07.)
03.07. Übung 04.07. Vorlesung 06.07. Vorlesung
10.07. Übung 11.07. --- (verlegt auf 29.06.) 13.07. --- (verlegt auf 20.07.)
17.07. Übung 18.07. Vorlesung 20.07. Vorlesung (statt 13.07.)
24.07. Übung 25.07. --- (Sommerschule des Fachbereichs)
 27.07. --- (Sommerschule des Fachbereichs)

Newsgroup

Newsgroup zur Vorlesung: infko.logik

Bernhard Beckert