Allgemeine Informationen rund um die Kurse von Prof. Dr. S. Hahndel
- Dozent/in: Stefan 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
- Dozent/in: Stefan Hahndel
Allgemeine Grundlagen der Computerforensik
- wissenschaftliche Grundlagen von Forensik und Computerforensik
- Grundlagen von Datenträgern und Dateisystemen
- Netzwerkforenik
- Softwareanalyse, z.B. Schadsoftware, Plagiatserkennung
- Dozent/in: Stefan Hahndel
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
- Dozent/in: Stefan Hahndel
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.
- Dozent/in: Stefan Hahndel
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.
- Dozent/in: Stefan Hahndel
Dieser Kurs behandelt die Grundlagen der IT-Forensik.
- Dozent/in: Stefan Hahndel
Teil erhält Materialien zur Vorlesung IT-Sicherheits
- Dozent/in: Stefan Hahndel
- Dozent/in: Stefan Hahndel
- Dozent/in: Stefan Hahndel
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
- Dozent/in: Stefan Hahndel