INDEX
Technische Informatik — Zentraler Index
Primäres Studientool für die Klausur in 4 Tagen.
Erstellt aus drei Analysen: Slide-Index, Übungsanalyse, Klausuranalyse.
Alle Wikilinks sind Obsidian-kompatibel ([[filename]]ohne.md).
Topic Study Files
Detaillierte Themendateien mit Erklärungen, Beispielen, Klausur-Bezug und Quellenverlinkungen:
| # | Topic | Exam | Pts | Relevance | Link |
|---|---|---|---|---|---|
| T01 | KV-Diagramm & Logikminimierung | A1 | 16 | CRITICAL | T01-KV-Diagramm-und-Logikminimierung |
| T02 | Primimplikanten & Überdeckungsproblem | A1 | 16 | CRITICAL | T02-Primimplikanten-und-Ueberdeckungsproblem |
| T03 | ReTI Befehlssatz & Maschinencode | A2 | 16 | CRITICAL | T03-ReTI-Befehlssatz-und-Maschinencode |
| T04 | Boolesche Algebra & Beweise | A3a | 7 | CRITICAL | T04-Boolesche-Algebra-und-Beweise |
| T05 | PLA & Gatter | A3b-d | 9 | CRITICAL | T05-PLA-und-Gatter |
| T06 | Reversible Logik & Fredkin | A4 | 16 | CRITICAL | T06-Reversible-Logik-und-Fredkin |
| T07 | Kodierung & Zehnerkomplement | A5 | 16 | CRITICAL | T07-Kodierung-von-Zahlen-und-Zehnerkomplement |
| T08 | Sequentielle Schaltkreise & Mealy | A6 | 16 | CRITICAL | T08-Sequentielle-Schaltkreise-und-Mealy-Automat |
| T09 | Beweistechniken (Induktion & Widerspruch) | A3a,A5a | 11 | CRITICAL | T09-Beweistechniken-Induktion-und-Widerspruch |
| T10 | Normalformen, DNF & Schaltkreis-Def | — | — | HIGH | T10-Normalformen-DNF-und-Schaltkreis-Definition |
| T11 | FlipFlops & Speichernde Elemente | — | — | MEDIUM | T11-FlipFlops-und-Speichernde-Elemente |
| T12 | Arithmetische Schaltungen & ALU | — | — | MEDIUM | T12-Arithmetische-Schaltungen-und-ALU |
| T13 | ReTI Datenpfade & Kontrolllogik | — | — | MEDIUM | T13-ReTI-Datenpfade-und-Kontrolllogik |
| T14 | BDDs & Formale Verifikation | — (ITE→A4c) | — | LOW | T14-BDDs-und-Formale-Verifikation |
| T15 | Timing & Physikalische Eigenschaften | — | — | LOW | T15-Timing-und-Physikalische-Eigenschaften |
1. Klausur-Struktur
Beide Klausuren (WS 2024/25 und SoSe 2026 Probeklausur) sind strukturell identisch: 6 Aufgaben × 16 Punkte = 96 Punkte, 90 Minuten, keine Hilfsmittel, 48 Punkte zum Bestehen.
| Aufgabe | Punkte | Thema | Aufgabentyp |
|---|---|---|---|
| 1 (a–d) | 16 (7+2+5+2) | KV-Diagramm / Primimplikanten-Minimierung | KV ausfüllen, Primimplikanten bestimmen, Primimplikantentafel, Minimalpolynom |
| 2 | 16 | ReTI (Maschinencode) | Maschinencode kodieren/vervollständigen (retiquiz) |
| 3 (a–d) | 16 (7+3+3+3) | Boolesche Algebra / PLA | Beweis per Widerspruch (Induktion), PLA erklären, Pentium-Bug, PLA-Größe/Performance |
| 4 (a–c) | 16 (2+2+12) | Reversible Logik / Fredkin-Gatter | Informationsverlust, nicht-reversibles Gatter, alle 16 Funktionen auf Fredkin zurückführen |
| 5 (a–c) | 16 (4+4+8) | Kodierung (Zehnerkomplement) / Zahlendarstellung | Induktionsbeweis (Summenformel), Zehnerkomplement-Addition, Beweis vervollständigen (Bit-Counting) |
| 6 (a–d) | 16 (4+4+2+6) | Sequentieller Schaltkreis / Mealy-Automat | Zustandsdiagramm, Äquivalenzbedingung, Automat minimieren, Zustandskodierung + Tafel |
Boolesche Algebra dominiert: Aufgaben 1 + 3 = 32 von 96 Punkten (⅓).
Siehe: Exam | probeklausur
2. Wichtigste Themen nach Klausurrelevanz
| Rank | Topic | Exam Points | Exercise Frequency | Slide File | Priority |
|---|---|---|---|---|---|
| 1 | KV-Diagramm / Primimplikanten / Minimalpolynom | 16 (A1) | 5 Blätter (6,7,9,10,+8) | k332-BA_Normalformen_zweistufige_Synthese_Logikminimierung, k341-Berechnung_eines_Minimalpolynoms_Quine_McCluskey, k342-Berechnung_eines_Minimalpolynoms_Ueberdeckungsproblem | CRITICAL |
| 2 | Boolesche Algebra / PLA / Beweise | 16 (A3) | 10+ Blätter (Beweise), PLA auf Blatt 7 | k320-Boolesche_Algebren, k331-BA_Normalformen_zweistufige_Synthese_DNF, k311-Kombinatorische_Schaltkreise_Gatter_Transistoren | CRITICAL |
| 3 | ReTI Maschinencode (retiquiz) | 16 (A2) | 3 Blätter (4,11) | k120-Beispielrechner_ReTI, k230-Anwendung_ReTI, k460-Kontrolllogik_von_ReTI | CRITICAL |
| 4 | Reversible Logik / Fredkin-Gatter | 16 (A4) | 1 Blatt (11 — ITE) | k311-Kombinatorische_Schaltkreise_Gatter_Transistoren, k623-Binaere_Entscheidungsdiagramme_BDDs_ITE-Beispiel_Variablenordnung | CRITICAL |
| 5 | Kodierung / Zehnerkomplement / Beweise | 16 (A5) | 4 Blätter (3,4,8) | k220-Kodierung_von_Zahlen, k210-Kodierung_von_Zeichen | CRITICAL |
| 6 | Mealy-Automat / Schaltwerk / Zustandskodierung | 16 (A6) | 1 Blatt (10) | k420-Sequentielle_Schaltkreise, k430-Entwurf_sequentieller_Schaltkreise | CRITICAL |
| 7 | Beweistechniken (Induktion, Widerspruch) | Durchgängig (A3, A5) | ~14 Vorkommnisse auf 10 Blättern | k110-Mathematische_Grundlagen | HIGH |
| 8 | Schaltkreis-Definition / Kosten / Tiefe | Unterstützt A3, A6 | 8 Blätter | k312-Kombinatorische_Schaltkreise_Definition | HIGH |
| 9 | DNF / ON-Menge / Boolesche Ausdrücke | Unterstützt A1, A3 | 5 Blätter | k331-BA_Normalformen_zweistufige_Synthese_DNF | HIGH |
| 10 | Zahlendarstellung / Zweierkomplement | Unterstützt A5 | 4 Blätter | k220-Kodierung_von_Zahlen | HIGH |
| 11 | Addierer / Subtrahierer / CSA | Grundlage für ReTI ALU | 2 Blätter (8,9) | k351-Arithmetische_Schaltungen_Carry_Ripple, k352-Arithmetische_Schaltungen_CSA_etc | MEDIUM |
| 12 | FlipFlops / Register / Zähler | Grundlage für A6 | — | k411-Speichernde_Elemente_Schaltplaene_RS-FF, k412-Speichernde_Elemente_D-FF_weitere_Bausteine | MEDIUM |
| 13 | ALU von ReTI | Unterstützt A2 | — | k360-Anwendung_ALU_von_ReTI | MEDIUM |
| 14 | SRAM / Treiber / Datenpfade | Unterstützt A2 | 1 Blatt (11) | k440-SRAM_Treiber, k450-Anwendung_Datenpfade_von_ReTI | MEDIUM |
| 15 | Timing / Physikalische Eigenschaften | Nicht direkt in Klausur | 1 Blatt (11) | k510-Physikalische_Eigenschaften, k520-Timing_wichtiger_Komponenten, k530-Exaktes_Timing_von_ReTI | LOW |
| 16 | BDDs / Formale Verifikation | 0 Punkte in Klausur, 0 Übungen | 0 Blätter | k621-Binaere_Entscheidungsdiagramme_BDDs_ROBDDs_kanonische_Darstellung, k622-Binaere_Entscheidungsdiagramme_BDDs_Konstruktion_von_BDDs, k623-Binaere_Entscheidungsdiagramme_BDDs_ITE-Beispiel_Variablenordnung, k630-Anwendung_Formale_Verifikation | LOW |
| 17 | Huffman-Code / Zeichencodierung | Nicht in Klausur | 1 Blatt (3) | k210-Kodierung_von_Zeichen | LOW |
| 18 | Einführung / Organisatorisches | Nicht prüfungsrelevant | — | k000-Einfuehrung, Organisatorisches | SKIP |
3. Übungstypen in Klausuren
| Exercise Type | In Exam? | Exercise Frequency | Study Slides | Notes |
|---|---|---|---|---|
| KV-Diagramm ausfüllen | ✅ A1 (7P) | 5 Blätter (6,7,9,10,8) | k332-BA_Normalformen_zweistufige_Synthese_Logikminimierung | Klausur verbietet Quine-McCluskey — nur KV! |
| Primimplikanten bestimmen | ✅ A1 (2P) | 4 Blätter (6,7,9,10) | k341-Berechnung_eines_Minimalpolynoms_Quine_McCluskey | Aus KV oder QM |
| Primimplikantentafel ausfüllen | ✅ A1 (5P) | 4 Blätter (8,9,10) | k342-Berechnung_eines_Minimalpolynoms_Ueberdeckungsproblem | Wesentliche Implikanten, Reduktion, Petrick |
| Minimalpolynom angeben | ✅ A1 (2P) | 4 Blätter (6,8,9,10) | k332-BA_Normalformen_zweistufige_Synthese_Logikminimierung | KDNF / Kosten |
| ReTI Maschinencode kodieren | ✅ A2 (16P) | 3 Blätter (4,11) | k120-Beispielrechner_ReTI, k230-Anwendung_ReTI | Befehlstabelle wird in Klausur mitgegeben |
| Beweis per Widerspruch/Induktion | ✅ A3a (7P), A5a (4P) | ~14 Vorkommnisse, 10 Blätter | k110-Mathematische_Grundlagen, k320-Boolesche_Algebren | Wichtigste Querschnittskompetenz |
| PLA erklären | ✅ A3b (3P) | 1 Blatt (7) | k311-Kombinatorische_Schaltkreise_Gatter_Transistoren | PLA = zweistufige Logik |
| Pentium-Bug erklären | ✅ A3c (3P) | — | k311-Kombinatorische_Schaltkreise_Gatter_Transistoren | Historisches Beispiel, PLA-Kontext |
| PLA-Größe/Performance erklären | ✅ A3d (3P) | 1 Blatt (7) | k311-Kombinatorische_Schaltkreise_Gatter_Transistoren | Kosten/Größe von PLAs |
| Informationsverlust (nicht-reversibel) | ✅ A4a (2P) | — | k311-Kombinatorische_Schaltkreise_Gatter_Transistoren | Landauer-Prinzip (W = k_B T ln 2) |
| Alle 16 Funktionen auf Fredkin | ✅ A4c (12P) | 1 Blatt (11 — ITE-Analog) | k623-Binaere_Entscheidungsdiagramme_BDDs_ITE-Beispiel_Variablenordnung | Schwerste Einzelaufgabe! ITE-Muster üben |
| Induktionsbeweis (Summenformel) | ✅ A5a (4P) | 3 Blätter (0,2,3) | k110-Mathematische_Grundlagen | Geometrische Summe |
| Zehnerkomplement-Addition beweisen | ✅ A5b (4P) | 2 Blätter (3,4) | k220-Kodierung_von_Zahlen | Transfer von Zweier- auf Zehnerkomplement |
| Beweis vervollständigen (Bit-Counting) | ✅ A5c (8P) | — | k220-Kodierung_von_Zahlen | x & (x−1) Trick |
| Zustandsdiagramm zeichnen | ✅ A6a (4P) | 1 Blatt (10) | k420-Sequentielle_Schaltkreise | Mealy-Automat |
| Äquivalenzbedingung erklären | ✅ A6b (4P) | 1 Blatt (10) | k420-Sequentielle_Schaltkreise | Zustandsäquivalenz |
| Automat minimieren | ✅ A6c (2P) | 1 Blatt (10) | k420-Sequentielle_Schaltkreise, k430-Entwurf_sequentieller_Schaltkreise | Auf 3 Zustände reduzieren |
| Zustandskodierung + Tafel | ✅ A6d (6P) | 1 Blatt (10) | k430-Entwurf_sequentieller_Schaltkreise | Encoding wählen, Übergangstabelle |
4. Topic Index with Wikilinks
Kapitel 0: Einführung
| Chapter | Title | Key Topics | Exam Relevance | Link |
|---|---|---|---|---|
| 0 | Einführung | Moore's Law, Rechnerhistorie, Vorlesungsplan | SKIP | k000-Einfuehrung |
| — | Organisatorisches | Personen, Termine, Klausur-Modalitäten | SKIP | Organisatorisches |
Kapitel 1: Grundlagen
| Chapter | Title | Key Topics | Exam Relevance | Link |
|---|---|---|---|---|
| 1.1 | Mathematische Grundlagen | Mengen, Funktionen, Boolesche Algebra, Graphen, O-Notation, Beweistechniken | HIGH (Beweise!) | k110-Mathematische_Grundlagen |
| 1.2 ★ | Beispielrechner ReTI | Abstrakte ReTI-Maschine, Befehlssatz, Register | CRITICAL (A2) | k120-Beispielrechner_ReTI |
Kapitel 2: Kodierung
| Chapter | Title | Key Topics | Exam Relevance | Link |
|---|---|---|---|---|
| 2.1 | Kodierung von Zeichen | ASCII, Unicode, Huffman-Code, Alphabete | LOW | k210-Kodierung_von_Zeichen |
| 2.2 | Kodierung von Zahlen | Zahlensysteme, Zweierkomplement, Inversionslemmata | CRITICAL (A5) | k220-Kodierung_von_Zahlen |
| 2.3 ★ | Anwendung ReTI | 32-Bit-Implementierung, Befehlsformate, Sign Extension | CRITICAL (A2) | k230-Anwendung_ReTI |
Kapitel 3: Boolesche Algebra & Schaltkreise
| Chapter | Title | Key Topics | Exam Relevance | Link |
|---|---|---|---|---|
| 3.1.1 | Gatter/Transistoren | Logiksynthese, PLA, CMOS, Gatter-Bibliothek | CRITICAL (A3, A4) | k311-Kombinatorische_Schaltkreise_Gatter_Transistoren |
| 3.1.2 | Schaltkreis-Definition | DAG, Belegung, Kosten, Tiefe, hierarchischer Entwurf | HIGH | k312-Kombinatorische_Schaltkreise_Definition |
| 3.2 | Boolesche Algebren | Axiome, De Morgan, Konsens, Resolution | CRITICAL (A3) | k320-Boolesche_Algebren |
| 3.3.1 | Normalformen / DNF | Literale, Monome, Minterme, DNF/KDNF, ON-/OFF-Menge | CRITICAL (A1, A3) | k331-BA_Normalformen_zweistufige_Synthese_DNF |
| 3.3.2 | Logikminimierung | n-dim-Würfel, Karnaugh-Veitch, Teilwürfel, Implikanten | CRITICAL (A1) | k332-BA_Normalformen_zweistufige_Synthese_Logikminimierung |
| 3.4.1 | Quine-McCluskey | Minimalpolynom, Primimplikantensatz, Vereinheitlichung | HIGH (A1 versteht) | k341-Berechnung_eines_Minimalpolynoms_Quine_McCluskey |
| 3.4.2 | Überdeckungsproblem | Primimplikantentafel, Reduktionsregeln, Petrick, Greedy | CRITICAL (A1) | k342-Berechnung_eines_Minimalpolynoms_Ueberdeckungsproblem |
| 3.5.1 | Carry-Ripple-Addierer | HA, FA, CRn, Zweierkomplement-Addition, Subtrahierer | MEDIUM | k351-Arithmetische_Schaltungen_Carry_Ripple |
| 3.5.2 | CSA etc. | Inkrementer, MUX, CSA, untere Schranken | MEDIUM | k352-Arithmetische_Schaltungen_CSA_etc |
| 3.6 ★ | ALU von ReTI | Compute-Befehle, Sign Extension, ALU-Schaltbild | MEDIUM | k360-Anwendung_ALU_von_ReTI |
Kapitel 4: Sequentielle Schaltkreise
| Chapter | Title | Key Topics | Exam Relevance | Link |
|---|---|---|---|---|
| 4.1.1 | RS-Flipflop | Schaltpläne mit Zyklen, stabile Belegung, metastabil | MEDIUM | k411-Speichernde_Elemente_Schaltplaene_RS-FF |
| 4.1.2 | D-FF & weitere | D-Latch, D-FF, Setup/Hold-Zeit, Register, Zähler | MEDIUM | k412-Speichernde_Elemente_D-FF_weitere_Bausteine |
| 4.2 | Sequentielle Schaltkreise | FSM, Mealy/Moore-Automat, Zustandstafel/-diagramm | CRITICAL (A6) | k420-Sequentielle_Schaltkreise |
| 4.3 | Entwurf sequentieller SK | Synthese: Zustandsdiagramm → Tafel → Schaltkreis, Kodierung | CRITICAL (A6) | k430-Entwurf_sequentieller_Schaltkreise |
| 4.4 | SRAM / Treiber | SRAM, Tristate-Treiber, Busse, Fanout | LOW | k440-SRAM_Treiber |
| 4.5 ★ | Datenpfade von ReTI | Register, SRAM, ALU, Busse, Befehlsdekodierung | MEDIUM | k450-Anwendung_Datenpfade_von_ReTI |
| 4.6 ★ | Kontrolllogik von ReTI | Kontrollsignale, Fetch/Execute-Phasen, Timing | MEDIUM (A2) | k460-Kontrolllogik_von_ReTI |
Kapitel 5: Timing
| Chapter | Title | Key Topics | Exam Relevance | Link |
|---|---|---|---|---|
| 5.1 | Physikalische Eigenschaften | VIL/VIH, Propagation Delay, Intervallarithmetik, Spikes | LOW | k510-Physikalische_Eigenschaften |
| 5.2 | Timing wichtiger Komponenten | RS-FF/D-FF-Timing, Clock-Enable, ALU, Speicher | LOW | k520-Timing_wichtiger_Komponenten |
| 5.3 ★ | Exaktes Timing von ReTI | Zykluszeit tc ≥ 2.26 ns, Bus-Contention, Constraints | LOW | k530-Exaktes_Timing_von_ReTI |
Kapitel 6: BDDs
| Chapter | Title | Key Topics | Exam Relevance | Link |
|---|---|---|---|---|
| 6.1 | Boolesche Ausdrücke (Wiederholung) | Repetition von k320/k331, Motivation Verifikation | SKIP (nur Motivationsfolie) | k610-Boolesche_Ausdruecke_Wiederholung |
| 6.2.1 | BDDs / ROBDDs | BDD-Syntax, Variablenordnung, Satz von Bryant | LOW | k621-Binaere_Entscheidungsdiagramme_BDDs_ROBDDs_kanonische_Darstellung |
| 6.2.2 | Konstruktion von BDDs | Kofaktoren, Shannon-Zerlegung, ITE, Unique Table | LOW | k622-Binaere_Entscheidungsdiagramme_BDDs_Konstruktion_von_BDDs |
| 6.2.3 | ITE-Beispiel / Variablenordnung | ITE-Algorithmus, BDD-Größe, NP-hart | LOW (aber ITE-Muster hilft A4!) | k623-Binaere_Entscheidungsdiagramme_BDDs_ITE-Beispiel_Variablenordnung |
| 6.3 | Formale Verifikation | Äquivalenzcheck Spezifikation vs. Implementierung | LOW | k630-Anwendung_Formale_Verifikation |
★ = ReTI-Anwendungskapitel
5. Was nicht mehr benötigt wird
| Content | Reason | Action |
|---|---|---|
| k32-Boolesche_Algebren | Inhaltsidentisches Duplikat von k320-Boolesche_Algebren (nur Bildpfad-Prefix unterscheidet sich) | Komplett überspringen |
| Organisatorisches | Verwaltungsfolien: Personen, Termine, Zoom | Überspringen |
| k000-Einfuehrung | Begriffsklärung, Rechnerhistorie, Moore's Law — keine prüfbaren Definitionen | Überspringen (außer Trivia-Interesse) |
| k610-Boolesche_Ausdruecke_Wiederholung | Ausdrücklich "Wiederholung" — rekapituliert k320/k331 | Nur erste Folie (Motivation Verifikation) lesen |
| Blatt-bonus | Reine Lehrevaluation, kein technischer Inhalt | Überspringen |
| k520-Timing_wichtiger_Komponenten | Brücke zwischen k510 und k530 — bei gutem k510-Verständnis schnell durchgehbar | Nur bei Zeitmangel überfliegen |
6. Neue/Schwerpunkt-Themen 2026
Die Probeklausur SoSe 2026 ist nahezu identisch mit der Klausur WS 2024/25.
Gleiche Struktur, gleiche Aufgaben, gleiche Punktwerte, gleicher ON-Set, gleiches ReTI-Programm, gleicher Mealy-Automat.
Einzige Unterschiede
| Unterschied | 2025 Klausur | 2026 Probeklausur | Relevanz |
|---|---|---|---|
| A5c Bit-Counting | x & (x̄ + 1) (isoliert niedrigstes Bit) |
x & (x̄ − 1) (löscht niedrigstes Bit — Standard-Popcount-Trick) |
2026 ist klarer und korrekter |
| A1c Primimplikantentafel | Leer | --11-Zeile vorausgefüllt mit ✓ |
Kleinere Scaffolding-Hilfe |
Fazit: Keine neuen Themen in 2026. Die sechs Aufgabenblöcke sind stabil. Erwartbare Klausurstruktur: A1 KV/PI, A2 ReTI, A3 BA/PLA, A4 Fredkin, A5 Kodierung, A6 Mealy.
7. Exercise Sheet → Chapter Mapping
| Blatt | Topics | Slide Chapters | Wikilinks |
|---|---|---|---|
| 0 | Induktion, partielle Ordnung, Transistordichte | k110, k510 | Blatt-00d |
| 1 | Boolesche Algebra (Dualität, Axiome), O-Notation, Binärbäume | k320, k110 | Blatt01 |
| 2 | Fibonacci (Rekursion, Induktion), ReTi-Programmierung (GGT) | k110, k120, k230 | Blatt02 |
| 3 | Huffman-Kodierung, Zahlendarstellung, Zweierkomplement-Beweis, ReTi-Swap | k210, k220, k110, k120 | Blatt03 |
| 4 | Festkommazahlen (Neuner/Zehner-Komplement), retiquiz Machine Code | k220, k120, k460 | Blatt04 |
| 5 | Schaltkreis (zeichnen, symbolische Simulation), CMOS, Belegungseindeutigkeit | k312, k311 | Blatt05 |
| 6 | Boolesche Algebra (Ring), NAND-Realisierung, KV-Diagramm, Primimplikanten, Kosten | k320, k311, k331, k332 | Blatt06 |
| 7 | PLA, Hypercube, KV-Diagramm, Quine-McCluskey, wesentliche Primimplikanten | k331, k332, k341, k342 | Blatt07 |
| 8 | Primimplikantentafel/Petrick, Schaltkreis/Pfad, XORn, Zweierkomplement-Addition | k342, k312, k341, k220, k351 | Blatt08 |
| 9 | Addierer/Subtrahierer, CSA-Inkrementer, KV + quienny + Petrick | k351, k352, k331, k341, k342 | Blatt09 |
| 10 | Mealy-Automat, Schaltwerk, Quine-McCluskey (vollständig), KV, Kosten | k420, k430, k341, k331, k332 | Blatt10 |
| 11 | ReTI-Treiber/Datenpfade, Tristate, ITE-Operator, ReTi-Programm, Timing | k450, k460, k440, k623, k120, k530 | Blatt11 |
| bonus | Lehrevaluation (kein technischer Inhalt) | — | Blatt-bonus |
Übungsdateien (Lösungen/Abgaben)
| Blatt | Submission File |
|---|---|
| 0 | 00-4 |
| 1 | TI01-2 |
| 2 | TI02-1 |
| 4 | TI04-2 |
| 5 | TI05 |
| 6 | TI06 |
| 7 | TI07-2 |
| 8 | TI08-1 |
| 9 | TI09-2 |
| 10 | TI10 |
| 11 | TI11-1 |
Blatt 3: Keine Abgabe erhalten (wahrscheinlich Feiertag).
Zusatzmaterial
| File | Content | Link |
|---|---|---|
| Befehlssatz-ReTI | ReTI Instruction Table | Befehlssatz-ReTI |
| Datenblatt_Timing | Timing-Werte für ReTI | Datenblatt_Timing |
| hypercube | Hypercube-Topologie Erklärung | hypercube |
8. Studienplan
4 Tage bis zur Klausur. Priorisiere gnadenlos. 48/96 Punkte = Bestanden.
Phase 1 — CRITICAL (Tage 1–2): Direkte Klausuraufgaben
Diese Themen sind direkt in der Klausur. Jedes ist 16 Punkte wert.
| Klausuraufgabe | Was üben | Slides | Übungen |
|---|---|---|---|
| A1: KV-Diagramm / Primimplikanten (16P) | KV ausfüllen → Primimplikanten → Tafel → Reduktion → Petrick → Minimalpolynom. KV, nicht QM! | k332-BA_Normalformen_zweistufige_Synthese_Logikminimierung, k342-Berechnung_eines_Minimalpolynoms_Ueberdeckungsproblem | Blatt06, Blatt07, Blatt08, Blatt09, Blatt10 |
| A2: ReTI Maschinencode (16P) | Befehlstabelle auswendig, Encode/Decode, retiquiz-Format | k120-Beispielrechner_ReTI, k230-Anwendung_ReTI, Befehlssatz-ReTI | Blatt04, Blatt11 |
| A3: BA / PLA / Beweise (16P) | Boolesche Algebra Axiome, Beweis per Widerspruch + Induktion, PLA Konzept, Pentium-Bug, PLA-Größe | k320-Boolesche_Algebren, k331-BA_Normalformen_zweistufige_Synthese_DNF, k311-Kombinatorische_Schaltkreise_Gatter_Transistoren | Blatt01, Blatt06, Blatt07 |
| A4: Fredkin-Gatter (16P, davon 12P für A4c) | Alle 16 Booleschen Funktionen auf Fredkin-Gatter zurückführen. ITE-Muster aus Blatt 11 als Analog üben! | k311-Kombinatorische_Schaltkreise_Gatter_Transistoren, k623-Binaere_Entscheidungsdiagramme_BDDs_ITE-Beispiel_Variablenordnung | Blatt11 (Aufgabe 5) |
| A5: Kodierung / Zehnerkomplement (16P) | Zweierkomplement → Zehnerkomplement Transfer, Induktionsbeweis (Summenformel), x & (x−1) Trick |
k220-Kodierung_von_Zahlen, k110-Mathematische_Grundlagen | Blatt03, Blatt04, Blatt08 |
| A6: Mealy-Automat (16P) | Zustandsdiagramm → Äquivalenz → Minimierung (3 Zustände) → Kodierung → Tafel. Nur 1 Übungsblatt — Risiko! | k420-Sequentielle_Schaltkreise, k430-Entwurf_sequentieller_Schaltkreise | Blatt10 |
Phase 2 — HIGH (Tag 3): Grundlagen für Klausuraufgaben
| Thema | Warum | Slides |
|---|---|---|
| Beweistechniken (Induktion, Widerspruch) | Querschnittskompetenz für A3, A5 | k110-Mathematische_Grundlagen |
| DNF / ON-Menge / Boolesche Ausdrücke | Basis für A1, A3 | k331-BA_Normalformen_zweistufige_Synthese_DNF |
| Schaltkreis-Definition (Kosten, Tiefe) | Basis für A3, A6 | k312-Kombinatorische_Schaltkreise_Definition |
| Quine-McCluskey | Hilft Primimplikanten verstehen (aber in Klausur verboten!) | k341-Berechnung_eines_Minimalpolynoms_Quine_McCluskey |
| FlipFlops / Register | Basis für A6 (Schaltwerk) | k411-Speichernde_Elemente_Schaltplaene_RS-FF, k412-Speichernde_Elemente_D-FF_weitere_Bausteine |