Logo: German Research InstitutionsGerman Research Institutions

Informatik I - Lehrstuhl Logik in der Informatik

  • Promotion
  • Einrichtungen
  • Projekte / Promotionsmöglichkeiten
  • Top
Technische Universität Dortmund

Informatik I - Lehrstuhl Logik in der Informatik

Otto-Hahn-Straße 16, 44227 Dortmund

Zur HomepageTheoretische Informatik

Zugehörige Einrichtungen

  • Dortmund Life Science Center (DOLCE)
  • Dortmunder Kompetenzzentrum für Lehrerbildung und Lehr-/Lernforschung
  • Fakultät Architektur und Bauingenieurwesen
  • Fakultät Bio- und Chemieingenieurwesen
  • Fakultät Chemie und Chemische Biologie
  • Fakultät Erziehungswissenschaft, Psychologie und Soziologie
  • Fakultät für Elektrotechnik und Informationstechnik
  • Fakultät für Informatik
    • Informatik I - Lehrstuhl Logik in der Informatik
    • Informatik II - Lehrstuhl Effiziente Algorithmen und Komplexitätstheorie
    • Informatik III - Lehrstuhl Betriebssysteme/Rechnerarchitektur
    • Informatik IV - Lehrstuhl für praktische Informatik
    • Informatik V - Lehrstuhl Programmiersysteme
    • Informatik VI - Lehrstuhl für Datenbanken und Informationssysteme
    • Informatik VII - Lehrstuhl für Computergraphik
    • Informatik VIII - Lehrstuhl Künstliche Intelligenz
    • Informatik XI - Lehrstuhl Algorithm Engineering
    • Informatik XII - Lehrstuhl Technische Informatik und Eingebettete Systeme
    • Informatik XIII - Lehrstuhl Dienstleistungsinformatik
    • Informatik XIV- Lehrstuhl Software-Engineering
    • Lehrstuhl für Enterprise Computing
    • Lehrstuhl für sichere autonome Systeme
    • Professur für Verifikation und formale Garantien des maschinellen Lernens
  • Fakultät für Mathematik
  • Fakultät Humanwissenschaften und Theologie
  • Fakultät Kulturwissenschaften
  • Fakultät Kunst und Sportwissenschaften
  • Fakultät Maschinenbau
  • Fakultät Physik
  • Fakultät Raumplanung
  • Fakultät Rehabilitationswissenschaften
  • Fakultät Sozialwissenschaften
  • Fakultät Statistik
  • Fakultät Wirtschaftswissenschaften
  • Institut für Roboterforschung (IRF)
  • Interdisziplinäre Forschungsgruppe: Dynamik der Geschlechterkonstellationen
  • Sozialforschungsstelle Dortmund (sfs)
  • Universitätsallianz Ruhr (UA Ruhr)
  • Universitätsbibliothek
  • Zentrum für HochschulBildung (zhb)
  • Zentrum für Synchrotronstrahlung