KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Stüker, Sebastian; KIT | Webcast [Hrsg.]

  • 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
Open Access Logo


Zugehörige Institution(en) am KIT Institut für Anthropomatik und Robotik (IAR)
Publikationstyp Audio & Video
Publikationsdatum 30.11.2017
Erstellungsdatum 29.11.2017
DOI 10.5445/DIVA/2017-713
Identifikator KITopen-ID: 1000115098
Lizenz KITopen-Lizenz
Serie Grundbegriffe der Informatik, Vorlesung, WS 2017/18
Folge 12
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page