25: Kongruenzrelationen und ihre Anwendungen in der Mathematik
In dieser Episode werden Themen wie Ăquivalenzrelationen, Kongruenz ganzer Zahlen modulo n, Bild einer Ăquivalenzrelation sowie wichtige Konzepte wie Nerode-Ăquivalenzen, Halbordnungen und Kantorwitsch-BĂ€ume behandelt.
KIT Lehre und Wissen
987 views âą Feb 1, 2019
About this video
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
Dozenten:
Dr. Thomas Worsch, Augusto Modanese | Karlsruher Institut fĂŒr Technologie (KIT), Institut fĂŒr Theoretische Informatik
Vorlesungsaufzeichnung: KIT | WEBCAST
http://webcast.kit.edu
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
Dozenten:
Dr. Thomas Worsch, Augusto Modanese | Karlsruher Institut fĂŒr Technologie (KIT), Institut fĂŒr Theoretische Informatik
Vorlesungsaufzeichnung: KIT | WEBCAST
http://webcast.kit.edu
Tags and Topics
Browse our collection to discover more content in these categories.
Video Information
Views
987
Likes
4
Duration
01:26:32
Published
Feb 1, 2019
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now