h1
h2
h3
h4
h5
h6
Skip to Content
Jump to Main Navigation
Skip to Search
Search
Search for
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 Sciences
Faculty 1
Architecture
Faculty 2
Civil Engineering
Faculty 3
Mechanical Engineering
Faculty 4
Georesources and Materials Engineering
Faculty 5
Electrical Engineering and Information Technology
Faculty 6
Arts and Humanities
Faculty 7
Business and Economics
Faculty 8
Medicine
Faculty 10
Find Institute:
Search for
Institutions
University Library
IT Center
Athletics and Recreation
Central University Administration
All Institutions
Navigation
Academics
Research
The Chair
Site Map
You Are Here:
LICS
Footer
Services
Site Map
Print
Sub-Navigation
Academics
Teaching in the winter term 18/19
Complexity Theory
Graph Decompositions and Algorithmic Applications
Infinite Computations and Games
Stochastic Games
Softwarelab: Implementing Regular Expressions in Java
Proseminar: Information Theory
Seminar: Theory of Efficient Hashing Techniques
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
Teaching in the summer term 18
Advanced Automata Theory
Algorithmic Learning Theory
Formal Systems, Automata, Processes
Automaten, Sprachen, Komplexität
Seminar: Theoretical Topics in Data Science
Seminar: Current topics of theoretical computer science
Teaching in the winter term 17/18
Foundations of Data Science
Infinite Computations and Games
Recursion Theory
Practical Course: Implementing regular expressions in java
Seminar: Current topics of theoretical computer science
Seminar: Complexity Theory
Proseminar: Informationstheorie
Teaching in the summer term 17
The Graph Isomorphism Problem
Advanced Automata Theory
Complexity Theory
Automaten, Sprachen, Komplexität
Computer Science Lab for Mathematicians
Seminar: Theoretical Topics in Data Science
Seminar: Current topics of theoretical computer science
Bachelor-/Master Theses
Bachelor theses
Master theses
Research
General
Publications
Research Topics
The Chair
Overview
Team
Former Scientific Staff
Talks
Talks (Archive)
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