Sie sind hier: Technische Universität Dortmund > Fakultät für Informatik > Lehrstuhl Informatik 1 - Logik in der Informatik
Wintersemester 2009/2010

Seminar Executable Specification Languages (ESL)

Dozent: Prof. Dr. Peter Padawitz
 

Einführung in den logisch-algebraischen Systementwurf (ELAS)

Dozent: Prof. Dr. Peter Padawitz
 

Übersetzerbau (UEB)

Dozent: Prof. Dr. Peter Padawitz
 

Funktionale Programmierung (FP)

Dozent: Prof. Dr. Peter Padawitz
 

Logik für Informatiker

Dozent: Prof. Dr. Thomas Schwentick
 

Komplexitätstheorie

Dozent: Prof. Dr. Thomas Schwentick
 

Darstellung, Verarbeitung und Erwerb von Wissen

Dozent: Prof. Dr. Kern-Isberner
 

Projektgruppe 545 - Intelligent Cowbots

Betreuer: Prof. Dr. Kern-Isberner, Dipl.-Inf. Patrick Krümpelmann, Dipl.-Inf. Matthias Thimm
 


Joomla SEF URLs by Artio