DE
EN
FR
Informatikwissenschaften
Menü
SoSe 2007
Formale Sprachen (Parallele Grammatiken und regulierte Ersetzung) KomplexitätstheorieProseminar / SeminarAutomaten und Formale Sprachen (AFS)Forschungsseminar Theoretische Informatik
SoSe 2018WiSe 2017/2018SoSe 2017WiSe 2016/2017SoSe 2016WiSs 2015/2016FSpASoSe 2015WiSe 2014/2015SoSe 2014WiSe 2013/2014SoSe 2013WiSe 2012/2013SoSe 2012WiSe 2011/2012SoSe 2011WiSe 2010/2011SoSe 2010WiSe 2009/2010SoSe 2009WiSe 2008/2009SoSe 2008WiSe 2007/2008WiSe 2006/2007SoSe 2006WiSs 2005/2006
Universität
  • Hochschulporträt
  • Zentrale Einrichtungen
  • Universitätsleitung
  • Fachbereiche & Fächer
  • Wissenschftl. Einrichtungen
  • Verwaltung
  • Gremien & Wahlen
  • Bau- und Prüfmaßnahmen
  • Partner | Förderer | Freunde
  • 50 Jahre Uni Trier
  • Anfahrt & Kontakt
Studium
  • Studienangebot
  • Vor dem Studium
  • Bewerbung
  • Studienanfang
  • Im Studium
  • Berufsorientierung
  • Weiterbildung
  • Leben
  • Beratung & Service
Fachbereiche
Forschung
  • Forschung aktuell
  • Forschungsprofil
  • Nationale Forschungsförderung
  • Europäische Forschungsförderung
  • Forschungsservice
  • Wissenstransfer & Startup Service
  • Graduiertenzentrum (GUT)
  • Zentrum für Nachwuchsförderung
  • Kontakt
Lehre
  • Qualifizierung
  • Regularien für die Lehre
  • Studiengänge gestalten
  • Förderprogramme und Preise
  • Lehrentwicklungsprojekte
  • Qualitätsmanagement
  • Beratung und Service
International
  • Internationales
  • Wege nach Trier
  • Wege ins Ausland
  • Wissenschaftler und Verwaltung
  • Integration in Trier
  • Internationaler Ferienkurs
  • Universität der Großregion
  • Internationales Zentrum
  • Beratung & Kontakt
Infos für...
Schüler/innen
  • Beratung & Info
  • Veranstaltungen
  • Infoportal für Studieninteressierte
  • Schnupperstudium
  • Infos für Eltern & Lehrkräfte
  • Kinder-Uni
Studieninteressierte
  • Beratung & Info
  • Studienangebot
  • Bewerbung / Einschreibung
  • Studieren ohne Abitur
  • Studieren mit chron. Erkrankung / Behinderung
  • Studienfinanzierung
Studierende
  • International Students
  • Studienanfang
  • Studienorganisation
  • Praktika & Berufseinstieg
  • Auslandsaufenthalt
Beschäftigte
  • Forschungsservice
  • Wiss. Nachwuchsförderung
  • Qualitätssicherung
  • Fortbildung
  • Mit Familie an der Uni
  • Verwaltung von A bis Z
Öffentlichkeit
  • Weiterbildung
  • Campus der Generationen
  • Partner & Förderer
  • Freundeskreis
  • Medien
  • PORTA
  • Stud.IP
  • E-Mail
  • Bibliothek
  • IT-Services
  • Fächer
  • News
  • Kalender
  • Mensa
  • Sport
  • Sicherheit
  • Stellen
  • Shop
  • Anfahrt

Theoretische Informatik

  • Willkommen
  • Personen
  • Forschung
  • Lehre
    • Vorkurs
    • Lehrinformationen
    • Lehrarchiv
      • SoSe 2018
      • WiSe 2017/2018
      • SoSe 2017
      • WiSe 2016/2017
      • SoSe 2016
      • WiSs 2015/2016
      • FSpA
      • SoSe 2015
      • WiSe 2014/2015
      • SoSe 2014
      • WiSe 2013/2014
      • SoSe 2013
      • WiSe 2012/2013
      • SoSe 2012
      • WiSe 2011/2012
      • SoSe 2011
      • WiSe 2010/2011
      • SoSe 2010
      • WiSe 2009/2010
      • SoSe 2009
      • WiSe 2008/2009
      • SoSe 2008
      • WiSe 2007/2008
      • SoSe 2007
      • WiSe 2006/2007
      • SoSe 2006
      • WiSs 2005/2006
  • Abschlussarbeiten
Willkommen
Universität
Fachbereiche & Fächer
Fachbereich IV
Fächer
Informatikwissenschaften
Professuren
Theoretische Informatik
Lehre
Lehrarchiv
SoSe 2007

Lehrveranstaltungen SS 2007

 

Grundstudium:

Vorlesung: Automaten und Formale Sprachen

Proseminar: Alles Logo? (Logik für Informatiker)

Hauptstudium:

Vorlesung: Komplexitätstheorie

Vorlesung: Formale Sprachen (Parallele Grammatiken und regulierte Ersetzung)

Seminar: Exakte und approximative Algorithmen für Logik-Probleme

Forschungsseminar Theoretische Informatik

ImpressumDatenschutzerklärungKontakt
  • Beratungsangebote
  • Bibliothekskatalog
  • konzenTRiert
  • Career Service
  • Einschreibung
  • Freundeskreis
  • Gasthörer & Senioren
  • Gründungsbüro
  • International Students
  • Mein Studium
  • Mit Familie auf dem Campus
  • Kommunikation & Marketing
  • Schnupperstudium
  • Sprachen lernen
  • Stellenangebote
  • Trier-Gefühl
  • uniSPORT
  • Universität der Großregion
  • Uni-Weinberg
  • Zahlen & Fakten
Universität Trier
Universitätsring 15
D-54296 Trier
Tel.: +49 (0)651/201-0
E-Mail: infouni-trierde