02: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 19.10.2018
Author
Thomas Worsch, Augusto Modanese
Editor
Participating institute
Institut für Anthropomatik und Robotik (IAR)
Genre
Description
- 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
Duration (hh:mm:ss)
01:15:41
Series
Grundbegriffe der Informatik, Vorlesung, WS 2018/19
Published on
25.10.2018
Subject area
License
| Resolution | 1280 x 720 Pixel |
| Aspect ratio | 16:9 |
| Audio bitrate | 128000 bps |
| Audio channels | 2 |
| Audio Codec | aac |
| Audio Sample Rate | 48000 Hz |
| Total Bitrate | 934029 bps |
| Color Space | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Media Type | video/mp4 |
| Duration | 4541 s |
| Filename | DIVA-2018-735_hd.mp4 |
| File Size | 530.190.441 byte |
| Frame Rate | 25 |
| Video Bitrate | 799930 bps |
| Video Codec | h264 |
Media URL
Embed Code
Grundbegriffe der Informatik, Vorlesung, WS 2018/19
Episodes 1-26
of 26
