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

Frühere aktuelle Informationen

28.06.06: Lösung zum 8. Übungsblatt ist online.
28.06.06: 9. Übungsblatt online
28.06.06: Die Folien der gestrigen Vorlesung stehen zur Verfügung.
22.06.06: Die Folien der heutigen Vorlesung stehen zur Verfügung.
21.06.06: 8. Übungsblatt online
20.06.06: Die Folien der heutigen Vorlesung stehen zur Verfügung.
20.06.06: In der Woche 10.-16.07. können keine Vorlesungen stattfinden, d.h., die Vorlesungen am Dienstag, dem 11.07., und am Donnerstag, dem 13.07., entfallen. Statt dessen finden zusätzlich Vorlesungen am Donnerstag, dem 29.06., und am Donnerstag, dem 20.07. statt.
20.06.06: Lösungen der Übungsblätter 6 und 7 sind online.
16.06.06: Am kommenden Dienstag, dem 20.06. beginnt die Vorlesung schon s.t. um 14:00 Uhr, damit alle, die das Fussballspiel um 16:00 sehen wollen, etwas mehr Zeit haben, rechtzeitig zu einem Fernseher zu kommen.
13.06.06: 7. Übungsblatt online
10.06.06: Christoph Gladisch hat Lösungen zu den Übungsblättern 1-4 aufgeschrieben (Erratum dazu).
01.06.06: 5. Übungsblatt und 6. Übungsblatt online. Blatt 5 dient der Wiederholung des bisherigen Vorlesungsstoffes und der Vorbereitung auf die Zwischenklausur; diese Aufgaben werden am 12.06. besprochen. Blatt 6 enthält Aufgaben zum Thema Tableaukalkül; diese werden am 19.06. besprochen.
01.06.06: Die Folien der heutigen Vorlesung stehen auf der Webseite zur Verfügung.
30.05.06: Die Folien der heutigen Vorlesung stehen auf der Webseite zur Verfügung.
25.05.06: Die Folien der Vorlesung vom 23.05. stehen auf der Webseite zur Verfügung.
23.05.06: 4. Übungsblatt online
19.05.06: Die Folien der Vorlesung vom 18.05. stehen auf der Webseite zur Verfügung.
16.05.06: Die Folien der heutigen Vorlesung stehen auf der Webseite zur Verfügung.
16.05.06: 3. Übungsblatt online
11.05.06: Ab kommenden Montag (15.05.) gibt es zwei zusätzliche Übungsgruppen C und D. Diese werden von Christoph Gladisch (gladisch@uni-koblenz.de) betreut. Sie finden in Raum B017 zu den gleichen Zeiten wie die Gruppen A und B statt (Montags 10 Uhr c.t. bzw. 12 Uhr s.t.). Damit die Gruppen A bis D gleich groß werden, bitte ich alle, deren Matrikel-Nummern in den Ziffern 0,1,2,3,4 enden, in die Gruppen C bzw. D zu wechseln und diejenigen mit den Endziffern 5,6,7,8,9 in den Gruppen A und B zu bleiben.
11.05.06: Link auf die Logic Workbench unter Sonstige Materialien.
09.05.06: Die Folien der heutigen Vorlesung stehen auf der Webseite zur Verfügung.
08.05.06: 2. Übungsblatt online
04.05.06: Die Folien der heutigen Vorlesung stehen auf der Webseite zur Verfügung.
02.05.06: Die Folien der heutigen Vorlesung stehen auf der Webseite zur Verfügung.
01.05.06: 1. Übungsblatt online
01.05.06: Auf der Webseite gibt es nun eine Übersicht über die Termine des Semesters
25.04.06: Newsgroup zur Vorlesung: infko.logik
25.04.06: Am Donnerstag, dem 27.04. findet keine Vorlesung statt. Die nächste Vorlesung ist am Dienstag, dem 02.05.
25.04.06: Die Folien der heutigen Vorlesung stehen auf der Webseite zur Verfügung.
19.04.06: Die Vorlesung findet erstmals am Dienstag, dem 25.04., 14 Uhr c.t. statt. Wegen des Maifeiertags findet die Übung erstmals am Montag, dem 08.05. statt.

Bernhard Beckert