KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

20: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 16.01.2019

Autor

Thomas Worsch

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

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

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 933877 kbps
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 kbps
Video Codec h264

Embed-Code

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