Allgemeine Informationen
Unter Umständen wird die Vorlesung per Video aufgezeichnet. Sollten Sie sichergehen wollen, nicht auf dem Video erk...
Generierung von Hasse-Diagrammen
(- zu vergeben -)
Für das im Rahmen einer Bachelor-Arbeit entstandene Rechentool für Relationen auf endlichen D...
Lecture: Logic and Deduction
Syllabus:
Computer programs compute functions by a stepwise interpretation of a program. Within each ...
[Eva-S2012.pdf]
[Download file "Eva-S2012.pdf"]
This is a very, very, very old booklet on resolution and logic programming. I guess I wrote it back in 1994 or 1995, and I don't even have the Te...
yaTS
Here's a small Prolog-program to simulate a Turing machine. Have fun! And, please, if you write an interesting Turing program, be so kind a...
Themenvorschläge
Hier schonmal drei Themenkomplexe, die ich für dieses Seminar anbieten möchte. Es wäre schön, wenn Sie sich rechtzeit...
Here are the slides for the 2012 course (German) and a primer with guidelines for graduating Bachelor students (English).
Hier gibt es die Foli...
People
Professors
Alexander Asteroth
Marlis von der Hude
Martin Eric Müller
Kurt-Ulrich Witt
Students
...
Im Sommersemester 2012 bite ich wieder die BSc Wahlpflichtveranstaltung "Intelligente Systeme I: Deduktion" an.
Weitere Informationen dazu finden s...
Lecture: Discrete Structures
Syllabus:
From your programming experience you know about data types and function declarations. The inte...
Theory Working Group