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. LICS
  2. Footer
  3. Services
  4. Site Map
Print

Sub-Navigation

Academics

  • Teaching in the winter term 19/20
    • Infinite Computations and Games
    • Softwarelab: Implementing Regular Expressions in Java
    • Practical course: Machine Learning for Sales Prediction in Retail
    • Proseminar: Information Theory
    • Seminar: Automata Theory
  • Teaching in the summer term 19
    • Algorithmic Foundations of Data Science
    • Advanced Automata Theory
    • Theory of Constraint Satisfaction Problems
    • Automaten, Sprachen, Komplexität
    • Softwarelab: Implementing Regular Expressions in Java
    • Lab Course: Graph Learning
    • Proseminar: Information Theory
    • Seminar Complexity Theory
  • Previous semesters
  • Bachelor-/Master Theses
    • Bachelor theses
    • Master theses

Research

  • General
  • Publications
  • Research Topics

The Chair

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

Footer

RWTH

  • RWTH Main Page
  • Faculty

Services

  • Contact and Maps
  • Site Credits
  • Site Map
  • Disclaimer
  • 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