12: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 29.11.2017
- 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
| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 30.11.2017 |
| Erstellungsdatum | 29.11.2017 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2017-713 |
| Identifikator | KITopen-ID: 1000115098 |
| Lizenz | KITopen-Lizenz |
| Serie | Grundbegriffe der Informatik, Vorlesung, WS 2017/18 |
| Folge | 12 |