KIT-Bibliothek
Audio-/Videodatei publizieren

25: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 01.02.2019

Autor

Thomas Worsch, Augusto Modanese

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Beschreibung

  • 0:00:00 Start
  • 0:00:22 Äquivalenzrelationen
  • 0:01:41 Kongruenz ganzer Zahlen modulo n
  • 0:04:05 Bild einer Äquivalnzrelation
  • 0:12:15 Was ist wichtig
  • 0:13:40 Äquivalenzrelationen auf mengen mit Struktur
  • 0:18:23 Kongruenzrelationen
  • 0:20:52 Verträglichkeit erlaubt die Übertragung einer Abbildung auf die Faktormenge
  • 0:24:33 Rückblick auf endliche Akzeptoren
  • 0:28:38 Verträglichkeit: Beispiel Nerode-Äquivalenzen
  • 0:37:32 Antisymmetrische Relationen
  • 0:39:52 Halbordnungen
  • 0:41:49 eine Halbordnung auf Wörtern – darauf bauen wir später noch auf
  • 0:43:37 Übung
  • 0:44:44 Reguläre Ausdrücke
  • 0:49:29 Ein regulärer Ausdruck für epsilon
  • 0:54:44 Distributivgesetz
  • 0:56:14 Kantorowitsch-Bäume
  • 1:01:53 Kantorowitsch-Bäume und reguläre Ausdrücke
  • 1:04:51 Beispiel: Zahlen spezifizieren
  • 1:07:14 Ein Wiederbesuch: Wörter umkehren
  • 1:11:32 Rechtslineare Grammatiken
  • 1:15:16 Charakterisierung regulärer Sprachen
  • 1:18:47 Linkslineare Grammatiken
  • 1:23:40 Äquivalenz RL und LL Grammatiken

Laufzeit (hh:mm:ss)

01:26:32

Serie

Grundbegriffe der Informatik, Vorlesung, WS 2018/19

Publiziert am

04.02.2019

Fachgebiet

Informatik

Lizenz

KITopen-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 934146 bps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 5192 s
Dateiname DIVA-2019-117_hd.mp4
Dateigröße 606.228.983 byte
Bildwiederholfrequenz 25
Videobitrate 800046 bps
Video Codec h264

Mediathek-URL

Embed-Code

Grundbegriffe der Informatik, Vorlesung, WS 2018/19 Folgen 1-26 von 26