Karlsruher Institut für Technologie (KIT)

Algorithmen 1, SS2015, Vorlesung is a education podcast hosted by Karlsruher Institut für Technologie (KIT). It has 26 episodes, with the latest published January 2016.

Der Inhalt der Vorlesung orientiert sich am Buch »Algorithms and Data Structures - The Basic Toolbox« von Kurt Mehlhorn und Peter Sanders. Der Studierende- kennt und versteht grundlegende, häufig benötigte Algorithmen, ihren Entwurf, Korrektheits- und Effizienzanalyse, Implementierung, Dokumentierung und Anwendung,- wendet die im Modul Grundlagen der Informatik (Bachelor Informationswirtschaft) erworbenen Programmierkenntnisse auf nichttriviale Algorithmen an,- wendet die in Grundbegriffe der Informatik (Bachelor Informatik) bzw. Grundlagen der Informatik (Bachelor Informationswirtschaft) und den Mathematikvorlesungen erworbenen mathematischenHerangehensweise an die Lösung von Problemen an. Schwerpunkte sind hier formale Korrektheitsargumente und eine mathematische Effizienzanalyse.Dozenten: Jun.-Prof. Dennis Hofheinz, Jun.-Prof. Henning Meyerhenke | Übungsleiter: Christian Staudt, Christoph Striecks | Karlsruher Institut für Technologie (KIT), Institut für Theoretische Informatik

education ·de ·26 episodes