Vorlesungen

Das Programmieren Praktikum ergänzt und vertieft die Vorlesung Programmieren. Darüberhinaus lernen die Studenten, mit Entwicklungswerkzeugen zu arbeiten.

Der Student soll verstehen, daß es Funktionen gibt, die ein Computer prinzipiell nicht berechnen kann. Er wird u.a. am Beispiel des Halteproblems ein für die Praxis wichtiges Beispiel für eine nicht entscheidbare Funktion kennenlernen.

Wichtig ist auch das Verständnis der klassischen Unterteilung der Sprachen, bzw. Berechnungsprobleme in die Komplexitätsklassen. Begriffe
wie P, NP, Entscheidbarkeit und rekursive Aufzählbarkeit werden eingeführt.

Dieses Fach vermittelt die Grundlagen der Informatik. Neben einem
Überblick über das Fach und seine Geschichte wird die Analyse von
Algorithmen und Datenstrukturen ausführlich behandelt. Eine Einführung
in die Graphentheorie und den Entwurf von endlichen Automaten dient
als Grundlage für das Verständnis komplexer Datenstrukturen und das
Softwareengineering.

Sehr wichtig ist das erfolgreiche Bearbeiten der Übungen. Details hierzu auf der Homepage zu Vorlesung (s.u.)

Einführung in das Betriebssystem Linux.

Gestalten einer Webseite mit HTML5 und CSS3
Programmierung einer dynamischen real-time Webanwendung "Multiplayer-Quiz"

- Modellierung nebenläufiger Prozesse und Threads mit Petrinetzen
- Planen, Entwerfen und Realisieren komplexer Softwaresysteme in einem Projektteam
- Programmierung nebenläufiger Prozesse unter Linux
- Programmierung von Multi-Threading Prozessen
- Anwendung von Systemfunktionen unter Linux zur Interprozesskommunikation und Synchronistaion von Threads und Prozessen
- Verwaltung von Softwaremodulen mit einer Versionsverwaltungs-Software (SVN)

Ziel der Vorlesung ist es, die Teilnehmer zu befähigen, die behandelten mathematischen Methoden selbständig anzuwenden, um damit technischen Vorlesungen mit mathematischer Ausrichtung folgen zu können.
Die Vorlesung Mathematik 2 behandelt die Analysis mehrerer Veränderlicher und Differentialgleichungen

Ziel des Faches Theoretische Informatik ist es, die theoretischen Grundlagen von formalen Sprachen, Logik und Berechenbarkeit zu vermitteln.

Es wird ein vertieftes Verständnis formaler Sprachen und
Maschinenmodelle als Voraussetzung für die Entwicklung von Parsern und
Compilern vermittelt. Die Prädikatenlogik als wichtige Grundlage für
formale Verfahren in Programmverifikation, Hardwaredesign und
künstlicher Intelligenz wird von Grund auf als formale Sprache mit
deklarativer Semantik eingeführt. Der für die automatische Beweiser
und Verifikationssysteme wichtige Resolutionskalkül wird ausführlich
behandelt.