Audio-/Videodatei publizieren
12: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 29.11.2017
Autor
Herausgeber
Beteiligtes Institut
Institut für Anthropomatik und Robotik (IAR)
Genre
Beschreibung
- 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
Lizenz
| Auflösung | 1280 x 720 Pixel |
| Seitenverhältnis | 16:9 |
| Audiobitrate | 100016 bps |
| Audio Kanäle | 2 |
| Audio Codec | aac |
| Audio Abtastrate | 48000 Hz |
| Gesamtbitrate | 906127 bps |
| Farbraum | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Medientyp | video/mp4 |
| Dauer | 5107 s |
| Dateiname | DIVA-2017-713_hd.mp4 |
| Dateigröße | 4.096 byte |
| Bildwiederholfrequenz | 25 |
| Videobitrate | 800013 bps |
| Video Codec | h264 |
Mediathek-URL
Embed-Code
Grundbegriffe der Informatik, Vorlesung, WS 2017/18
Folgen 1-26
von 26
