Logik für Informatiker WS '04/05

Aktuelle Informationen und Hinweise

Die Vorlesung beginnt am 03.11.2004, der Übungsbetrieb beginnt in der Woche darauf.
Klausurtermin und -raum: Samstag, 12. Februar 2005, 12:30-15:30 Uhr, ZI 24.1-24.3 (Grotrian-Hörsäle).
Das Klausurergebnis ist da! PDF-Listen (sortiert nach Matrikelnummern), PDF-Listen (sortiert nach Namen).
Das elfte Übungsblatt ist da! Siehe unten .
Vier Folien als Anlagen zur Vorlesung vom 19.01.2005 befinden sich hier.
Vier Folien als Anlagen zur Vorlesung vom 21.01.2005 befinden sich hier.
Laura hat zwei ergänzende Darstellungen zur Aufgabe mit den NAND-Gattern zusammengestellt. Siehe unten .
Die Gruppeninformation ist aktualisiert und hängt unten ; bei Schwierigkeiten bitte zunächst die zuständige BetreuerIn benachrichtigen. Wenn's dann weitere Probleme gibt, füren wir eine zentrale Klärung herbei.
Es lohnt sich, diese Seite im Auge zu behalten!
Literaturhinweise gibt es hier
Für diese Vorlesung gibt es eine eigene Mailingliste. Das Anmeldeformular findet sich hier. Nach der Anmeldung erhält man eine Mail an die eingegebene Adresse. Damit man sich nur selbst anmelden kann, muss man von dieser Adresse noch eine Bestaetigung abschicken. Das klappt normalerweise ganz einfach, indem man "reply" drückt und die Sache abschickt. Bei technischen Schwierigkeiten bitte eine Mail an mich!

Allgemeine technische Hinweise

Die Vorlesung wendet sich an Studierende der Informatik im dritten Semester.
Scheinvoraussetzung ist die erfolgreiche Teilnahme am Übungsbetrieb der Vorlesung. Dieser Erfolg wird durch Bestehen einer Klausur am Ende des Semesters nachgewiesen. Ausreichende Übungspunkte sind dafür erfahrungsgemäß unerläßlich.
Falls es speziellere Fragen, individuelle Schwierigkeiten oder Unklarheiten gibt, so bitte ich ganz einfach um eine Nachfrage; das geht sehr gut per Mail, aber auch in Person nach der Vorlesung oder in meiner Sprechstunde. (Gerade Unklarheiten betreffen oft noch mehrere Teilnehmer, daher bin ich für Nachfragen durchaus dankbar!)

Inhaltliche Hinweise

Im Verlaufe des Semesters werden u.a. (!) folgende Themen behandelt:

Aussagenlogik
Prädikatenlogik
Modelltheorie
Entscheidbarkeit
Mengenlehre

Es ist geplant, Querverbindungen zur Vorlesung Software Engineering I (Softwaretechnik) deutlich zu machen. In diesem Zusammenhang soll es auch die eine oder andere gemeinsame Übung geben.

Termine

Vorlesung:	Mittwoch	09:45 - 11:15 Uhr	PK 2.2	Sándor Fekete
	Freitag	09:45 - 10:30 Uhr	PK 2.2	Sándor Fekete
Übung	Freitag	10:30 - 11:15 Uhr	PK 2.2	Sándor Fekete
Kleingruppe 1	Montag	13:15 - 14:45 Uhr	PK 3.1	Thorsten Rottmann
Kleingruppe 2	Montag	16:45 - 18:15 Uhr	PK 14.3	Timo Streit
Kleingruppe 3	Dienstag	11:30 - 13:00 Uhr	RR 58.1	Christiane Schmidt
Kleingruppe 4	Dienstag	11:30 - 13:00 Uhr	RR 58.2	Susanne Ruppert
Kleingruppe 5	Mittwoch	08:00 - 09:30 Uhr	PK 14.3	Oualid Marzougui
Kleingruppe 6	Mittwoch	13:15 - 14:45 Uhr	PK 3.1	Parisa Aghari
Kleingruppe 7	Mittwoch	16:45 - 18:15 Uhr	PK 14.3	Selim Ajem

Sprechstunden:

		Sprechstunde	Raum	Telefon	email
Dozent:	Sándor Fekete	Fr 11:15 - 12:00 Uhr	F 524	391-7551	sandor.fekete AT tu-bs.de
Assistentin:	Laura Heinrich-Litan	Do 11:15 - 12:00 Uhr	F 302	391-7561	litan AT tu-bs.de
Tutoren:	Parisa Aghari	per Mail	n.V.	-	p.asghari AT tu-bs.de
	Selim Ajem	per Mail	n.V.	-	s.ajem AT tu-bs.de
	Oualid Marzougui	per Mail	n.V.	-	w_marzougui AT yahoo.fr
	Thorsten Rottmann	per Mail	n.V.	-	t.rottmann AT tu-bs.de
	Susanne Ruppert	per Mail	n.V.	-	s.ruppert AT tu-bs.de
	Christiane Schmidt	per Mail	n.V.	-	leseratchr AT aol.com
	Timo Streit	per Mail	n.V.	-	t.streit AT tu-bs.de