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

ls1_okt09_small
 


Joomla SEF URLs by Artio
LogiDAC
  • Grundlagen von Datenbanken
  • Logik in der Informatik
  • Komplexitätstheorie
  • Formale Sprachen und Automatentheorie

Mehr Informationen
 
FLDIT
  • Funktionale und regelbasierte Programmierung
  • Logisch-algebraische Modellierung und Verifikation
  • Expander2: A Workbench for Interactive Formal Reasoning

Zur Homepage der Arbeitsgruppe
 
DA-BiMaSc
  • Intelligente Datenanalyse
  • Knowledge Discovery & Data Mining
  • Anwendungen der CI in der Bioinformatik und den Materialwissenschaften

Mehr Informationen
 
Information Engineering
  • Qualitative und quantitative Wissensverarbeitung
  • Nicht-monotone Logiken und Inferenz
  • Commonsense Reasoning
Mehr Informationen