Prof. Dr. Stefan Hahndel

Allgemeine Informationen rund um die Kurse von Prof. Dr. S. Hahndel

Concepts and Methods of Symbolic AI
- Logic Programming
- Graph problem solving: applicateoin to game problems
- Machine Reasoning
- Constraint Satisfaction Problems and Constraing Logic Programming
- Knowledge Representation: Logic, Inference 

Allgemeine Grundlagen der Computerforensik

- wissenschaftliche Grundlagen von Forensik und Computerforensik
- Grundlagen von Datenträgern und Dateisystemen
- Netzwerkforenik
- Softwareanalyse, z.B. Schadsoftware, Plagiatserkennung

Hier finden Sie die Vorlesungsinhalte zu der Vorlesung Deduktive Systeme im BA-Studiengang KI.

- Materialen zur Vorlesung, z.B. Handouts

- Programmbeispiele aus der Vorlesung

- Aufgaben aus dem Praktikum


In diesem Kurs werden die Grundlagen der Programmierung am Beispiel der Programmiersprache C erläutert.

- Einführung in die Softwareentwicklung
- Entwicklungsumgebungen, Compiler und Interpreter
- Syntax und Semantik
- Primitive Datentypen
- Kontrollstrukturen
- Dateihandling
- Grundalgorithmen
- Komplexere Datenstrukturen, Strukturen, Listen etc.

In diesem Kurs werden am Beispiel der Programmiersprache Java die Grundlagen der objektorientierten Programmierung erläutert. Es werden Begriffe und Mechanismen wie Objekt, Klasse, Vererbung, Generics, Polymorphie sowie die GUI-Programmierung mit Swing behandelt.

Dieser Kurs behandelt die Grundlagen der IT-Forensik.

Teil erhält Materialien zur Vorlesung IT-Sicherheits

Die Vorlesung vermittelt Grundlagen zu wissensbasierten Systemen.
Dies beinhaltet unterschiedliche Formen der Wissensrepräsentation, wie z.B.

- Fakten und Regeln
- Klauseln
- Constraints
- Semantische Netze
- Neuronale Netze

Außerdem werden verschiedene Inferenzstrategien und klassische Suchalgorithmen vorgestellt, wie. z.B.

- Tiefen und Breitensuche
- Regelbasierte Systeme mit Vorwärts-/Rückwärtsverkettung
- Unifikation
- Constraintalgorithmen
- Spielbaumsuche
- Lernstrategien in Neuronalen Netzen
- Genetische Algorithmen

Grundlagen der Aussagen und Prädikatenlogik
Eine typische Programmiersprache für KI, in dieser Vorlesung an den Beispielen Prolog und Yacss