20: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 16.01.2019
Autor
Herausgeber
Beteiligtes Institut
Institut für Anthropomatik und Robotik (IAR)
Genre
Beschreibung
20 |
0:00:00 Start
0:00:15 Überblick
0:01:58 2x2 Matrizenmultiplikation
0:06:47 Die Idee von Volker Strassen
0:09:23 Aufwandsabschätzung für den Algorithmus von Strassen
0:13:22 Matrizenmultiplikation- geht es noch schneller? / Teile und herrsche(divide and conquer)
0:16:56 Laufzeit von Teile-und-Herrsche-Algorithmen
0:20:54 Mastertheorem-bescheidener hätte auch gereicht
0:32:48 Rechenzeiten
0:38:58 Zusammenfassung
0:41:51 Endliche Automaten
0:43:33 Ein primitiver Getränkeautomat
0:44:51 Getränkeautomat: Zustände
0:46:39 Getränkeautomat: Eingaben
0:47:40 Getränkeautomat: Zustandsübergänge
0:54:04 Getränkeautomat: Ausgaben
0:58:08 Mealy-Automaten
0:59:45 Verallgemeinerte Zustandsübergangsfunktionen
1:08:34 Was ist wichtig
Lernziele:
Der/die Studierende soll grundlegende Definitionsmethoden erlernen und in die Lage versetzt werden, entsprechende Definitionen zu lesen und zu verstehen.
den Unterschied zwischen Syntax und Semantik kennen.
die grundlegenden Begriffe aus diskreter Mathematik und Informatik kennen und die Fähigkeit haben, sie im Zusammenhang mit der Beschreibung von Problemen und Beweisen anzuwenden.
Lehrinhalt:
Algorithmen informell, Grundlagen des Nachweises ihrer Korrektheit
Berechnungskomplexität, "schwere" Probleme
O-Notation, Mastertheorem
Alphabete, Wörter, formale Sprachen
endliche Akzeptoren, kontextfreie Grammatiken
induktive/rekursive Definitionen, vollständige und strukturelle Induktion
Hüllenbildung
Relationen und Funktionen
Graphen
Laufzeit (hh:mm:ss)
01:09:55
Serie
Grundbegriffe der Informatik, Vorlesung, WS 2018/19
Publiziert am
17.01.2019
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 | 933877 bps |
Farbraum | yuv420p |
Container | mov,mp4,m4a,3gp,3g2,mj2 |
Medientyp | video/mp4 |
Dauer | 4195 s |
Dateiname | DIVA-2019-49_hd.mp4 |
Dateigröße | 489.670.520 byte |
Bildwiederholfrequenz | 25 |
Videobitrate | 799984 bps |
Video Codec | h264 |
Embed-Code