University of Ulm , Faculty of Computer Science , Theoretical Computer Science Department

Vorlesung (SS 2007):
Boolesche Funktionen und Schaltkreise

Vorlesungszeiten und Ankündigung

Vorlesung: Prof. Dr. Uwe Schöning, montags und donnerstags jeweils von 14-16 Uhr im O27/123.
Übung: Henning Wunderlich, dienstags von 14-16 Uhr im O27/123.

Vorlesungsankündigung im LSF.

Inhalt

Literatur

I. Wegener: The Complexity of Boolean Functions. Wiley-Teubner.
H. Vollmer: Introduction to Circuit Complexity. Springer.
I. Wegener: Branching Programs and Binary Decision Diagrams. SIAM.
I. Wegener: Effiziente Algorithmen für grundlegende Funktionen. Teubner.
M.S. Paterson: Boolean Function Complexity. Cambridge.
U. Zwick: Vorlesungsskript.

Material zur Vorlesung

Hier finden sie zukünftig Materialien zur Vorlesung.

Übungen zur Vorlesung

Die Übungsblätter werden in der Regel hier eine Woche vor der Übung veröffentlicht. Auf den abgegebenen Übungen darf nur der Name eines einzigen Studenten erscheinen. Gruppenarbeit bei der Bearbeitung der Übungen ist zwar erlaubt; jeder Student muss aber ein eigenes Übungsblatt anfertigen.

Vorlesung (SS 2007): Boolesche Funktionen und Schaltkreise