Education
12 | 0:00:00 Starten 0:00:10 Laden mit indirekter Adressierung - Beispiel. Programm 0:00:59 MIMA-Befehle(1a) - Datentransport akku 0:02:17 MIMA-Befehle (1b) - Datentransport mit indirekter Adressierung 0:03:19 MiMa- Befehle (2a) - für die ALU 0:05:06 Arithmetik - Beispiel- Programm 0:05:48 MIMA-Befehle (2b) - mehr für die ALU 0:08:47 Programmabarbeitung - normalerweise ganz einfach 0:09:46 Sprünge ändern die normale Reihenfolge der Programmabarbeitung 0:10:44 Rückwertssprünge gehen natürlich auch... 0:12:20 Bedingte Sprünge 0:15:20 Arbeitsweise der MIMA 0:16:39 MIMA - die Minimalmaschine ist ein idealisierter Prozessor 0:18:15 MIMA- Befehlsholphase 0:18:40 MIMA Befehlsholphase (A1) 0:18:58 MIMA Befehlsholphase (A2) 0:19:21 MIMA Befehlsholphase (A3) 0:19:23 MIMA Befehlsholphase (A4) 0:20:42 MIMA Befehlsholphase (A5) 0:20:54 MIMA Befehlsholphase (B1) 0:21:20 MIMA Befehlsholphase (B2) 0:21:48 MIMA Befehlsholphase (B3) 0:21:53 MIMA Befehlsholphase (B4) 0:22:04 MIMA Befehlsholphase (1) 0:22:25 MIMA Befehlsholphase (2) 0:22:38 MIMA Befehlsholphase (3) 0:22:51 MIMA- Befehlsdecodierungsphase 0:23:39 MIMA Befehlsausführungsphase für LDV adr (1) 0:24:34 Aufsummieren einer Liste von Zahlen 0:26:24 Aufsummieren - Initialisierungen 0:27:49 Aufsummieren - Iteration über die Elemente 0:30:46 Wir halten fest 0:31:52 Kapitel 11 0:33:03 Dokumente 0:35:52 Inhalt, Struktur, Form 0:39:46 Struktur von Dokumenten 0:41:28 XHTML 0:45:58 Auszug aus der DTD für Tabellen in XHTML 0:46:56 Interpretation der DTD für Tabellen in XHTML 0:50:50 Beispiele für Tabelle in XHTML 0:51:16 LATEX 0:55:32 Grobstruktur 0:56:36 Listen mit LATEX 0:57:47 Formale Sprache kommen ins Spiel 0:59:57 Eine Grenze unserer bisherigen Vorgehensweise 1:03:03 Kapitel 12 1:03:07 Spezifikation formaler Sprache 1:03:27 Ausschnitt der Definition der Syntax von Java 1:05:16 Vereinfachung 1:07:35 Versuch einer formalen Sprache 1:11:34 Beweis des Lemmas 1:18:01 Was kann man sehen? 1:24:40 Kontextfreie Grammatik