h1

h2

h3

h4

h5
h6

Zum Inhaltsbereich Zur Hauptnavigation Zur Suche

Logo des Lehrstuhls für Informatik 7
Suche

Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)

  • English

Fakultäten und Einrichtungen

Sie sind hier: Sitemap

RWTH

  • Hauptseite
  • Intranet

Fakultäten und Institute

  • Mathematik, Informatik, NaturwissenschaftenFakultät 1
  • ArchitekturFakultät 2
  • BauingenieurwesenFakultät 3
  • MaschinenwesenFakultät 4
  • Georessourcen und MaterialtechnikFakultät 5
  • Elektrotechnik und InformationstechnikFakultät 6
  • Philosophische FakultätFakultät 7
  • WirtschaftswissenschaftenFakultät 8
  • MedizinFakultät 10

Institut suchen:

Einrichtungen

  • Universitätsbibliothek
  • IT Center
  • Hochschulsport
  • Zentrale Hochschulverwaltung
  • Alle Einrichtungen

Navigation

  1. Studium
  2. Forschung
  3. Der Lehrstuhl
 

Sitemap

Sie sind hier:

  1. Home
  2. Footer
  3. Service
  4. Sitemap
Drucken

Sub-Navigation

Studium

  • Lehre im WS 22/23
    • Berechenbarkeit und Komplexität
    • Infinite Computations and Games
    • Proseminar: Informationstheorie
    • Praktikum Graphlearning
    • Seminar: Theoretical Topics in Data Science
    • Sofwareprojektpraktikum: Cops'n'Robber
  • Lehre im SS 22
    • Graphzerlegungen und algorithmische Anwendungen
    • Automaten, Sprachen, Komplexität
    • Formale Systeme, Automaten, Prozesse
    • Fixpoints and Induction in Logic and Computer Science
    • Informatikpraktikum für Mathematiker
    • Proseminar: Informationstheorie
    • Praktikum Graphlearning
    • Seminar Komplexitätstheorie
  • Frühere Semester
  • Abschlussarbeiten
    • Bachelorarbeiten
    • Masterarbeiten

Forschung

  • Allgemeines
  • Publikationen
  • Forschungsthemen

Der Lehrstuhl

  • Allgemein
  • Mitarbeitende
    • Ehemalige Mitarbeitende
  • Termine Vorträge
  • Termine Vorträge (Archiv)

nach oben

Footer

RWTH

  • RWTH Startseite
  • Fakultät

Service

  • Kontakt und Lagepläne
  • Impressum
  • Sitemap
  • Datenschutzerklärung
  • Barrierefreiheitserklärung
  • Feedback

Weitere Angebote

  • Bibliothek der Fachgruppe Informatik
  • Archiv des Lehrstuhls für Informatik 7

Einrichtungen

  • Lehr- und Forschungsgebiet für Mathematische Grundlagen der Informatik