Klaus, U. und Spruth, W.G.
Teilnehmerkreis: Obligatorisch für Studenten der Informatik, für Magisterstudenten mit Hauptfach oder Nebenfach Informatik und für alle anderen Diplomstudenten mit Nebenfach Informatik.
Die Vorlesung ist Teil des Grundkurses "Hard- und Software-Grundlagen".
Übersicht:
Literatur:
Erwartete Vorkenntnisse:
Scheinvergabe: Abschlußklausur
Entscheidbarkeit und Unentscheidbarkeit
Herre, H.
Teilnehmerkreis:
für Studenten der Informatik im Hauptstudium als Spezialvorlesung
für den Schwerpunkt "Theoretische Informatik"
Übersicht:
In der Vorlesung werden grundlegende Methoden zum Nachweis der
Entscheidbarkeit und Unentscheidbarkeit formaler Theorien behandelt.
Im einzelnen werden folgende Themen diskutiert:
Literatur:
Erwartete Vorkenntnisse: Grundkenntnisse zur formalen Logik
Scheinvergabe: Teilnahmeschein bei regelmäßigem
Besuch der Vorlesung
Mengentheoretisch-algebraische Grundlagen
Herre, H.
Teilnehmerkreis:
obligatorisch für Informatikstudenten (1.Semester) und für
Magisterstudenten mit 2.Hauptfach Informatik (3.Semester)
Übersicht:
In der Vorlesung werden elementare Begriffe und Methoden der Mengentheorie
und abstrakten Algebra behandelt, die für die Informatik
grundlegend sind:
Literatur (Auswahl):
Erwartete Vorkenntnisse: keine besonderen
Scheinvergabe: Nach hinreichend erfolgreicher Beteiligung
am Übungsbetrieb
Modelltheorie formalisierter Theorien
Herre, H.
Teilnehmerkreis:
Studenten der Informatik im Hauptstudium als Spezialvorlesung
für den Schwerpunkt "Theoretische Informatik"
Übersicht:
Die Modelltheorie beschäftigt sich mit den grundlegenden
Beziehungen zwischen einer formalen Sprache und deren Interpretationen.
Die wichtigste dieser Beziehungen ist die Wahrheitsrelation. Die
in der Vorlesung behandelten Methoden, Resultate und Begriffe
sind von fundamentaler Bedeutung für das Gebiet der Wissensverarbeitung,
insbesondere für die modellbasierte Diagnose, die Axiomatisierung
von Wissensgebieten und die Verifikation von Wissensbasen.
Die Vorlesung umfaßt folgende Themen:
Literatur:
Erwartete Vorkenntnisse: Grundkenntnisse zur formalen Logik
Scheinvergabe: Teilnahmeschein bei regelmäßigem
Besuch der Vorlesung
Herre, H. und Hofestädt, R.
Teilnehmerkreis:
Studenten der Informatik im Hauptstudium als Problemseminar für
den Schwerpunkt "Theoretische Informatik"
Übersicht:
Die Verarbeitung von medizinischem Wissen gehört seit über
20 Jahren zu den bedeutenden Anwendungsgebieten der Wissensverarbeitung
- bisher jedoch ohne durchgreifende Erfolge.
In diesem interdisziplinären Seminar sollen aktuelle Methoden
und Anwendungen der KI und ihre Probleme mit diesem Anwendungsgebiet
diskutiert werden.
Die wichtigste Aufgabe ist hierbei die Unterstützung des
Arztes beim Stellen der Diagnose und bei Entscheidungen zum weiteren
diagnostischen und therapeutischen Vorgehen.
Erwartete Vorkenntnisse: Grundkenntnisse zur formalen Logik
Scheinvergabe:
Die Teilnehmer halten einen Vortrag über ein Thema aus diesem
Gebiet. Es wird ein Seminarschein vergeben.
Wissensverarbeitung in der Medizin
sk 9.9.1996