Koordination mit den Tutoren der Veranstaltung "Algorithmen und Datenstrukturen" im Sommersemester 2019
- Dozent*in: Marc Fischlin
- Dozent*in: Patrick Harasser
- Dozent*in: Christian Janson
- Dozent*in: Felix Rohrbach
Lehrinhalte:
- Datenstrukturen: Array, Listen, Binäre
Suchbäume, B-Bäume, Graphenräprentationen, Hashtabellen, Heaps
- Algorithmen: Sortieralgorithmen, Stringmatching, Traversieren,
Einfügen, Suchen und Löschen bei bestimmten Datenstrukturen, Kürzeste
Wege Suche, Minimal Spannende Bäume
- Asymptotische Komplexität
- Algorithmisches Strategien: Divide-and-Conquer, Dynamische Programmierung, Brute-Force, Greedy, Backtracking, Metaheuristiken
- Dozent*in: Marc Fischlin
- Dozent*in: Patrick Harasser
- Dozent*in: Christian Janson
- Dozent*in: Felix Rohrbach
Syntax und Semantik der Aussagenlogik, funktionale Vollständigkeit und Normalformen, Kompaktheitssatz der Aussagenlogik, vollständige Beweiskalküle: Resolution und ein Sequenzenkalkül;
Syntax und Semantik der Logik erster Stufe, Strukturen und Belegungen, Normalformen und Skolemisierung, der Satz von Herbrand und der Kompaktheitsstaz der Logik erster Stufe, vollständige Beweiskalküle: (Grundinstanzen-)Resolution und ein Sequenzenkalkül,
Gödelscher Vollständigkeitssatz, Unentscheidbarkeit der Logik erster Stufe;
optional: Exkurse zu Ausdrucksstärke und model checking
Literatur:
Burris: Logic for Mathematics and Computer Science
Schöning: Logik für Informatiker
Boolos, Burgess, Jeffrey: Computability and Logic
Skript (2 Teile, elektronisch unter www.mathematik.tu-darmstadt.de/~otto)
- Dozent*in: Kord Eickmeyer
- Dozent*in: Jonathan Weinberger
Die ist der Moodlekurs für die Kanonik Computer Netzwerke und verteilte Systeme (CNuvS) im Sommersemester 2019.
- Dozent*in: Leon Böck
- Dozent*in: Florian Brandherm
- Dozent*in: Julius Willich genannt von Pöllnitz
Moodlekurs zur Lehrveranstaltung Informationsmanagement, ehem. Einführung in Data and Knowledge Engineering (20-00-0015) sowie zu Allgemeine Informatik III. Zum Einschreiben benötigen Sie ein Passwort, das in der ersten Vorlesung bekannt gegeben wird und über die Vorlesungszeit vor der Tür zu Raum S202/B113 aushängt.
- Dozent*in: Thomas Arnold
- Dozent*in: Carsten Binnig
- Dozent*in: Christian M. Meyer
- Dozent*in: Anton Freund
- Dozent*in: Albrun Knof
- Dozent*in: Thomas Streicher