KIT-Bibliothek

Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 25.01.2017, 22

Autor

Sebastian Stüker

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Beschreibung

  • 0:00:00 Starten
  • 0:00:04 Einheit 17: Quantitative Aspekte von Algorithmen
  • 0:01:45 Rechenzeiten
  • 0:13:35 Was ist wichtig
  • 0:14:07 Zusammenfassung
  • 0:14:55 Kapitel 18: Endliche Automaten
  • 0:15:46 Ein primitiver Getränkeautomat
  • 0:16:47 Getränkeautomat: Zustände
  • 0:19:27 Getränkeautomat: Eingaben
  • 0:21:18 Getränkeautomat: Zustandsübergänge
  • 0:29:52 Getränkeautomat: Aufgaben
  • 0:35:07 Maely-Automaten
  • 0:37:33 Verallgemeinerte Zustandsübergangsfunktionen
  • 0:45:08 Verallgemeinerte Ausgabenfunktion
  • 0:49:09 Moore-Automaten
  • 0:50:47 Moore-Automat: Beispiel aus tikz-Dokumentation
  • 0:52:32 Verallgemeinerte Zustandsübergangsfunktionen
  • 0:53:20 Verallgemeinerte Ausgabenfunktionen g* und g**
  • 0:56:20 Endliche Akzeptoren - ein wichtiger Sonderfall von Moore-Automaten
  • 0:58:29 Endlicher Akzeptor: Beispiel
  • 0:59:41 Akzeptierte und abgelehnte Wörter
  • 1:01:18 Erkannte formale Sprache
  • 1:04:06 Beispiel 2 einer erkennbaren Sprache
  • 1:11:14 Beispiel 3 einer erkennbaren Sprache
  • 1:15:32 Beispiel 3 - Entwicklung einer Lösung
  • 1:18:42 Beispiel einer nicht erkennbaren Sprache

Laufzeit (hh:mm:ss)

01:21:01

Serie

Grundbegriffe der Informatik, Vorlesung, WS 2016/17

Publiziert am

30.01.2017

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 101401 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 905572 bps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 4861 s
Dateiname DIVA-2017-72_hd.mp4
Dateigröße 4.096 byte
Bildwiederholfrequenz 25
Videobitrate 798077 bps
Video Codec h264

Mediathek-URL

Embed-Code

Grundbegriffe der Informatik, Vorlesung, WS 2016/17 Folgen 1-27 von 27