12: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 29.11.2017

Autor

Sebastian Stüker

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Beschreibung

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

Laufzeit (hh:mm:ss)

01:25:07

Serie

Grundbegriffe der Informatik, Vorlesung, WS 2017/18

Publiziert am

30.11.2017

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz