KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

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

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 kbps
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 kbps
Video Codec h264

Embed-Code

Grundbegriffe der Informatik, Vorlesung, WS 2017/18 Folgen 1-26 von 26