h1

h2

h3

h4

h5
h6

Skip to Content Jump to Main Navigation Skip to Search

Logo of Computer Science 7
Search

Computer Science 7 (Logic and Theory of Discrete Systems)

  • Deutsch

Faculties and Institutions

You Are Here: Site Map

RWTH

  • Main page
  • Intranet

Faculties and Institutes

  • Mathematics, Computer Science and Natural SciencesFaculty 1
  • ArchitectureFaculty 2
  • Civil EngineeringFaculty 3
  • Mechanical EngineeringFaculty 4
  • Georesources and Materials EngineeringFaculty 5
  • Electrical Engineering and Information TechnologyFaculty 6
  • Arts and HumanitiesFaculty 7
  • Business and EconomicsFaculty 8
  • MedicineFaculty 10

Find Institute:

Institutions

  • University Library
  • IT Center
  • Athletics and Recreation
  • Central University Administration
  • All Institutions

Navigation

  1. Academics
  2. Research
  3. The Chair
 

Site Map

You Are Here:

  1. Home
  2. Footer
  3. Services
  4. Site Map
Print

Sub-Navigation

Academics

  • Teaching in the winter term 22/23
    • Computability and Complexity
    • Infinite Computations and Games
    • Proseminar: Information Theory
    • Lab Course: Graph Learning
    • Seminar: Theoretical Topics in Data Science
    • Sofwareprojektpraktikum: Cops'n'Robber
  • Teaching in the summer term 22
    • Graph Decompositions and Algorithmic Applications
    • Automaten, Sprachen, Komplexität
    • Formal Systems, Automata, Processes
    • Fixpoints and Induction in Logic and Computer Science
    • Softwarelab for Mathematicians
    • Proseminar: Information Theory
    • Lab Course: Graph Learning
    • Seminar Complexity Theory
  • Previous semesters
  • Bachelor's and Master's Theses
    • Bachelor's theses
    • Master's theses

Research

  • General
  • Publications
  • Research Topics

The Chair

  • Overview
  • Team
    • Former Scientific Staff
  • Talks
  • Talks (Archive)

top

Footer

RWTH

  • RWTH Main Page
  • Faculty

Services

  • Contact and Maps
  • Site Credits
  • Site Map
  • Disclaimer
  • Accessibility Statement
  • Feedback

Other Resources

  • Library of the Department of Computer Science
  • Archive of the Chair of Computer Science 7

Institutions

  • Research Group on Mathematical Foundations of Computer Science