02: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 19.10.2018
Autor
Thomas Worsch, Augusto Modanese
Herausgeber
Beteiligtes Institut
Institut für Anthropomatik und Robotik (IAR)
Genre
Beschreibung
- 0:00:00 Start
- 0:00:03 Kapitel 3: Mengen, Alphabete, Abbildungen
- 0:00:23 Themen dieses Kapitels
- 0:00:31 ASCII-Zeichensatz und Unicode
- 0:01:01 ASCII-Zeichensatz
- 0:02:06 Emails
- 0:04:08 Unicode: Code Points
- 0:04:50 Paare – anders als Mengen
- 0:05:55 Kartesisches Produkt zweier Mengen
- 0:08:02 Kartesische Produkte vieler Mengen
- 0:14:26 Induktive Definitionen
- 0:18:22 Relationen
- 0:21:22 Abbildungen als spezielle Relationen
- 0:24:10 Spezielle Eigenschaften von Abbildungen
- 0:26:39 Definition von Abbildungen
- 0:29:04 Zu jeder Abbildung gehören Definitions- und Zielbereich
- 0:32:40 Noch ein kleines bisschen Notation
- 0:34:19 Die Elemente einer Menge können selbst Mengen sein
- 0:36:14 Potenzmenge einer Menge M
- 0:38:28 Große Vereinigungen und Durchschnitte
- 0:40:25 Was ist wichtig
- 0:41:43 Übung 1: Mengen, Relationen und Abbildungen
- 0:42:34 Mengenlehre
- 0:46:31 Mengeninklusion
- 0:49:10 Kartesisches Produkt
- 0:51:00 Potenzmenge
- 0:52:59 (Unendliche) Vereinigungen
- 0:55:17 Beweise
- 0:57:36 Beweisschema: Gleichheit von Mengen
- 0:58:40 Ein Beweis
- 1:00:25 Relationen
- 1:02:52 Totalität
- 1:04:00 Eindeutigkeit
- 1:05:47 Abbildungen
- 1:07:38 Injektivität und Surjektivität
- 1:10:27 Die leere Relation
- 1:13:07 Gleichheit von Relationen
Laufzeit (hh:mm:ss)
01:15:41
Serie
Grundbegriffe der Informatik, Vorlesung, WS 2018/19
Publiziert am
25.10.2018
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 | 934029 bps |
| Farbraum | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Medientyp | video/mp4 |
| Dauer | 4541 s |
| Dateiname | DIVA-2018-735_hd.mp4 |
| Dateigröße | 530.190.441 byte |
| Bildwiederholfrequenz | 25 |
| Videobitrate | 799930 bps |
| Video Codec | h264 |
Mediathek-URL
Embed-Code
Grundbegriffe der Informatik, Vorlesung, WS 2018/19
Folgen 1-26
von 26
