h1

h2

h3

h4

h5
h6
This website uses technically necessary cookies to offer the best possible functionality.
Further Information

Skip to Content Skip to Main Navigation Skip to Footer 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 summer term 23
    • Algorithmic Foundations of Data Science
    • The Graph Isomorphism Problem
    • Automaten, Sprachen, Komplexität
    • Fixpoints and Induction in Logic and Computer Science
    • Softwarelab for Mathematicians
    • Practical course: Machine Learning for Sales Prediction in Retail
    • Proseminar: Information Theory
    • Seminar Algorithms for Dynamic Data
  • 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
  • Privacy Policy
  • 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