Inhalt der Vorlesung: - 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 - Syntax und Semantik für Aussagenlogik Weiterführende Literatur - Goos: Vorlesungen über Informatik, Band 1, Springer, 2005 - Abeck:...
Do 07.02.2019
26 episodes
Programmieren, WS19/20, Vorlesung
– Objekte und Klassen – Typen, Werte und Variablen – Methoden – Kontrollstrukturen – Rekursion – Referenzen, Listen – Vererbung – Ein/-Ausgabe – Exceptions – Programmiermethodik – Implementierung elementarer Algorithmen (z.B. Sortierverfahren) in Java Literaturhinweise: P. Pepper, Programmieren Lernen, Springer, 3. Auflage 2007 Weiterführende Literatur B. Eckels: Thinking in Java. Prentice Hall 2006 J. Bloch: Effective Java, Addison-Wesley 2008 Vorlesungsaufzeichnung: KIT | WEBCAST: http://webcast.kit.edu
Fr 07.02.2020
14 episodes
MORD AUF EX
Jeden Montag erzählen die Journalistinnen Leonie Bartsch & Linn Schütze einen wahren Kriminalfall. Es geht um absurde Mordfälle, rätselhafte Cold Cases, mysteriöse Sekten oder Mafia-Fälle, um historische und psychologische Hintergründe und bewegende Schicksale. Außerdem reisen Linn&Leo zu Tatorten, führen Interviews mit Überlebenden, sprechen mit Zeug:innen und Expertinnen - oder trinken mal gemeinsam ein Glas Wein. Du möchtest mehr über unsere Werbepartner erfahren? Hier findest du alle Infos & Rabatte!...
Mo 10.06.2024
232 episodes
Geschichten aus der Geschichte
Seit über acht Jahren erzählen sich die Historiker Daniel Meßner und Richard Hemmer Woche für Woche eine Geschichte aus der Geschichte. Das Besondere daran: der eine weiß nie, was der andere ihm erzählen wird. Dabei geht es um vergessene Ereignisse, außergewöhnliche Persönlichkeiten und überraschende Zusammenhänge der Geschichte aus allen Epochen. Du möchtest mehr über unsere Werbepartner erfahren? Hier findest du alle Infos & Rabatte: https://linktr.ee/GeschichtenausderGeschichte