08: Grundbegriffe der Informatik, Übung, WS 2019/20, 13.11.2019
Autor
Herausgeber
Zentrum für Mediales Lernen (ZML)
Beteiligtes Institut
Institut für Anthropomatik und Robotik (IAR)
Genre
Beschreibung
08 |
0:00:00 Start
0:01:29 Charakteristische Funktion
0:03:36 Wozu braucht man formale Sprachen?
0:06:14 Konkatenation formaler Sprachen
0:12:26 Konkatenationsabschluss
0:13:29 Konkatenationsabschluss: pathologische Fälle
0:16:16 Konkatenationsabschluss vom Konkatenationsabschluss
0:17:42 L* und L+
0:19:54 Beschreibung formaler Sprachen
0:23:39 Vorlesung 8
0:23:48 Division mit Rest: Operationen div und mod
0:25:34 k-äre Darstellung von Zahlen (2)
0:26:42 Unübliche Methode für negative Zahlen – mit der Ziffer ""meins""
0:27:54 Rechnen in Zk (1)
0:32:05 Rechnen in Zk (2) – graphisch: Zahlen als Pfeile
0:34:41 Zahldarstellungen mit beschränkter fester Länge
0:36:42 Negative Zahlen – Pfeile in die entgegengesetzte Richtung
0:40:49 Darstellung auch negativer Zahlen
0:43:14 Zweierkomplement-Darstellung mit l Bits – für negative und nichtnegative Zahlen
0:47:04 Zweierkomplementdarstellung – Rechnen wie in der Schule
0:49:53 Das is wichtig
0:51:29 Komposition von Funktionen
0:54:16 Identität – die neutralen Elemente bzgl. Komposition
0:55:16 Umkehrfunktion
0:57:21 Links- und Rechtsinverse
1:00:12 Von Hexadezimal- zu Binärdarstellung
1:03:17 Übersetzungen – bedeutungserhaltende Abbildungen von Wörtern auf Wörter
1:08:03 Wozu Übersetzungen
1:12:43 Codierungen – injektive Übersetzungen
1:15:24 Wie spezifiziert man eine Übersetzung?
1:17:13 Homomorphismen – mit Konkatenation verträgliche Abbildungen
Laufzeit (hh:mm:ss)
01:23:23
Serie
Grundbegriffe der Informatik, Vorlesung, WS 2019/20
Publiziert am
14.11.2019
Fachgebiet
Lizenz
Auflösung | 1280 x 720 Pixel |
Seitenverhältnis | 16:9 |
Audiobitrate | 128000 bps |
Audio Kanäle | 2 |
Audio Codec | aac |
Audio Abtastrate | 48000 Hz |
Gesamtbitrate | 364954 bps |
Farbraum | yuv420p |
Container | mov,mp4,m4a,3gp,3g2,mj2 |
Medientyp | video/mp4 |
Dauer | 5004 s |
Dateiname | DIVA-2019-876_hd.mp4 |
Dateigröße | 228.257.647 byte |
Bildwiederholfrequenz | 25 |
Videobitrate | 230847 bps |
Video Codec | h264 |
Embed-Code