Vorlesung TdL (Theorie des Logikentwurfs),
Sommersemester 2002

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?

Übungsblätter zum Herunterladen       Andere Infos zu den Übungen

Begleitmaterial:

Quadratischer Blowup bei Synthese PS PDF
Ein paar Folien vom 19.06.02 zu OBDDs
Eine Rechnung zur Newtonmethode und zur IBM-Methode
Addition bei Radix 4 PS PDF
Rekursionsgleichungen... PS PDF
Carry Look Ahead PS PDF (Zum 03.06.02)
Conditional Sum Adder PS PDF (Zum 03.06.02)
Zum Von-Neumann-Addierwerk PS PDF (Zum 29.05.02 / 03.06.02) (neue Version)
Skizze zur Addition mit Volladdierern nach der Schulmethode JPG (E)PS Dank an Stefan Freitag für das EPS - (29.5.02)
Bsp. PI-Tabelle mit Monomen an den Spalten PS PDF (zur Vorlesung vom 13.05.2002)
Nachträglicher Beweis des "Oder-Lemmas" PS PDF (zur Vorlesung vom 06.05.2002)
Aufschrieb zum Iterierten Konsensus PS PDF (zur Vorlesung vom 06.05.2002)
Baummethode und Pinup-Polynome PS PDF (zur Vorlesung vom 29.04.2002)

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.
Zu kaufen zum Beispiel
bei Amazon(dort aber leider mittlerweile ausverkauft!)
bei Bol (auch hier leider schon vergriffen)

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