KIT | KIT-Bibliothek | Impressum | Datenschutz

02: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 19.10.2018

Worsch, Thomas; Modanese, Augusto; KIT | Webcast [Hrsg.]

  • 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


Zugehörige Institution(en) am KIT Institut für Anthropomatik und Robotik (IAR)
Publikationstyp Audio & Video
Publikationsdatum 25.10.2018
Erstellungsdatum 19.10.2018
DOI 10.5445/DIVA/2018-735
Identifikator KITopen-ID: 1000115926
Serie Grundbegriffe der Informatik, Vorlesung, WS 2018/19
Lizenz KITopen-Lizenz
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page