LS 2

Home

Lehre

Winter 04/05

Sommer 04

Diplomarbeiten (pdf)

Frühere Semester

Service

Anreise

Mitarbeiter

Kontakt

Interna

Externe Links

Universität Dortmund

Fachbereich Informatik

SFB 531

SFB 475

DFG-Schwerp. Nr. 1126

Studieninformation

Vorlesung TdL (Theorie des Logikentwurfs)

Dozent: Thomas Hofmeister
Mo. 14:15-15:45 Uhr und Mi., 8:30-10:00 Uhr. GB 5, HS 113

Was wurde wann gemacht in der Vorlesung?

Begleitmaterial:

Buch Wegener ("Effiziente Algorithmen für grundlegende Funktionen"): In 77 Exemplaren in der Lehrbuchsammlung der Zentralbibliothek vorhanden (L Sr 193). Plus ein Exemplar Sn 17811.
Zum Beispiel bei Amazon zu kaufen.

Skript Sieling: Als PS-File Als PDF-File Fehlerliste

Ergänzungen:

Software für Postscript/PDF auf PCs

FAQ: Bei Fragen/Unklarheiten zum Stoff: An mich emailen, ich werde die Antworten in dieser FAQ geben.
--> hofmeist@Ls2.cs.uni-dortmund.de

Übungen

Die Übungen werden von Eike Riedemann: riedeman@ls1.cs.uni-dortmund.de durchgeführt.
Orte/Termine siehe auf dem jeweils aktuellen Übungsblatt.

Die Übungsblätter als Postscript-Dateien:
Blatt 1 Blatt 2 Blatt 3 Blatt 4 Blatt 5
Blatt 6 Blatt 7 Blatt 8 Blatt 9 Blatt 10
Blatt 11 Blatt 12

Außerdem: Im GB 4, zwischen Raum 335 und Raum 336, befindet sich ein Gestell, in dem weitere Exemplare der Übungsblätter sind.