Koordination mit den Tutoren der Veranstaltung "Algorithmen und Datenstrukturen" im Sommersemester 2019

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

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)


Die ist der Moodlekurs für die Kanonik Computer Netzwerke und verteilte Systeme (CNuvS) im Sommersemester 2019.


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.