| 18.04.01 | Wegenerbuch, Kapitel 1.3 bis Seite 12 Zeile 27. Plus Definition 1.2.1 Seite 5. Plus Rechenregeln aus Satz 2.1.2 (Seite 25) |
| 23.04.01 | Wegenerbuch, Def. 1.5.1, 1.5.2, 1.5.4. Sowie Kap. 2.1 |
| 25.04.01 | Wegenerbuch, Kapitel 2.2. |
| 30.04.01 | Wegenerbuch, Kap 2.3 (von Seite 35 bis zur Definition der Shannonzerlegung auf S. 41), Beweis von Satz 2.4.1 steht teils aus: siehe 07.05.01. |
| 02.05.01 | Wegenerbuch, S. 41, 42, Definition 2.4.9 und Algorithmus 2.4.11 |
| 07.05.01 | Wegenerbuch, ab Satz 2.4.8 bis Seite 45 Ende. (Allerdings ein anderes Beispiel als das Beispiel 2.4.13.) Sowie der Beweis von Satz 2.4.1 mit Baummethode. Außerdem Kap. 2.5 bis Beispiel 2.5.5 inkl. Beweis des iterierten Konsensus: siehe Sieling-Skript |
| 09.05.01 | Wegenerbuch, S. 49 bis 54 oben |
| 14.05.01 | Wegenerbuch, S. 54 oben bis S. 59 oben (Def. 2.8.1) |
| 16.05.01 | Wegenerbuch, S. 59 oben bis S. 63 oben (Satz 2.9.6) |
| 21.05.01 | Wegenerbuch, S. 63 oben bis S. 66, Ende von Kap. 2.9 (ohne Beweis von 2.9.9) sowie Kap. 2.11 sowie Kap. 3.1 |
| 23.05.01 | Kapitel 3.2, 3.3 und 3.4 (Conditional Sum Adder aber, anders als im Buch, rekursiv: siehe PS-File auf der Homepage der Vorlesung) |
| 28.05.01 | Größen- und Tiefenabschätzung CondSumAdd, Kapitel 3.5 und 3.6 (S. 83-87): Präfixberechnung und Ladner-Fischer-Addierer |
| 30.05.01 | Kapitel 3.7, 3.8 und 3.9 bis S. 94 unten. |
| 06.06.01 | Kapitel 3.9 und 3.10 bis S. 98 Mitte. |
| 11.06.01 | S. 98 Mitte bis Ende Kapitel 3.10. Kapitel 3.15, und Kapitel 3.16 bis Lemma 3.16.1 inkl. |
| 13.06.01 | Kapitel 3.16 (Newtonmethode), Satz 3.16.2 ohne Beweis. Zur Abschätzung siehe hier die PS-Datei auf der Homepage der Vorlesung. Kapitel 3.17 (IBM-Methode). |
| 18.06.01 | OBDDs (Skript Sieling 16-22 ca.) |
| 20.06.01 | Skript Sieling S. 22 bis Ende Kapitel 5.2) |
| 25.06.01 | Skript Sieling S. 26 bis 30 unten |
| 27.06.01 | Skript Sieling S. 31 bis 36 (dreiviertel) Blowup-Beispiel MUX (siehe download der TDL-Homepage) |
| 02.07.01 | Skript Sieling S. 36 bis 42 Mitte Zusätzlich genauere Erläuterungen zu unique-table und computed-table. |
| 04.07.01 | Skript Sieling S. 42 bis 48 Mitte Die Überlegungen von Seite 46 weggelassen, weil die Überlegungen, welche Q1 "theoretisch" zulässig sind, m.E. eher verwirren. |
| 09.07.01 | Skript Sieling S. 48 bis 53 Ende |
| 11.07.01 | Skript Sieling S. 54 bis 59 Mitte |
| 16.07.01 | Skript Sieling S. 59 bis Ende. Dabei allerdings den Operator EG bzw. den Algorithmus zur Berechnung von EG graphentheoretisch beschrieben. (Siehe Download Homepage) Anschließend ZBDDs als Beispiel für eine BDD-Variante inklusive Reduktionsregeln. |
| 18.07.01 | "Prüfungsvorlesung" und Ende des Semesters. |