10: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 22.11.2017
- 0:00:00 Starten
- 0:03:36 Überblick
- 0:04:31 Wo sind wir?
- 0:04:39 Bit und Byte
- 0:09:16 Kleiner ung großer Speicher
- 0:15:30 Dezimale Größenpräfixe
- 0:18:43 Binäre Größenpräfixe
- 0:22:58 Wir halten fest
- 0:23:35 Formalisierungen sind Spezifikationen - auch im Zusammenfassung mit Speicher
- 0:25:46 Gesamtzustand eines Speichers
- 0:28:13 Formalisierung von Speicher
- 0:30:58 Lesen aus dem Speicher - Formalisierung als Abbildung
- 0:33:10 Bemerkungen zu memread
- 0:35:12 Schreiben in den Speicher - ein weing komplizierter
- 0:42:19 Eigenschaften von Speicher
- 0:43:59 Wozu diese Formalisierungen?
- 0:44:48 Was ist wichtig
- 0:45:57 Kapitel 10: Prozessor
- 0:46:12 MIMA - die Minimalmaschine ist ein idealisierter Prozessor
- 0:47:27 Überblick
- 0:47:36 Drahte verbinden ,,Erzeuger'' und ,,Verbracher''
- 0:50:00 ,,Erzeuger'' für ein Bit
- 0:52:18 Drähte können mehrere Erzeugerausgänge mit Verbrauchern verbinden
- 0:55:18 Einfaches ,,Speicher-Elemn'' für ein Bit
- 0:57:26 Arbeitsweise des Speicher-Elements
- 0:57:43 Von-Neumann-Architektur vs. Harvard-Architektur
- 1:01:37 John von Neumann
- 1:02:23 Grobstruktur der MIMA
- 1:06:09 Hauptspeicher für die MAMA
- 1:10:31 Prozessor - Aufbau allgemein
- 1:11:00 die MAMA - ein idealisierter Prozessor
- 1:12:39 Maschinenbefehle werden
- 1:15:45 MIMa- Befehle (1a) - Datentransport Akku - Speicher
- 1:18:55 Laden und Speichern - Beispiel - <
> - 1:21:01 MIMA- Befehle (1b)- Datentransport mit indirekter Adressierung
| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 23.11.2017 |
| Erstellungsdatum | 22.11.2017 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2017-686 |
| Identifikator | KITopen-ID: 1000115071 |
| Lizenz | KITopen-Lizenz |
| Serie | Grundbegriffe der Informatik, Vorlesung, WS 2017/18 |
| Folge | 10 |