Machine Learning and Natural Language Processing Lab

Vorlesung (for M.Sc. students only)

Introduction to Theoretical Computer Science (Applied Computer Science II)

Prof. Dr. Luc De Raedt and Dr. Andreas Karwath

• Lectures:

For up-to-date information log onto Campus Online or follow the link at the end of this page.
Please note the time and room change (check for news in CampusOnline)!


• Monday 11:15-12:45 o'clock (SR 02-017 Geb. 052)
• Wednesday 09:15-10:00 o'clock (SR 02-017 Geb. 052)

• Exercises:
• Wednesday 10:00-10:45 o'clock (SR 02-017 Geb. 052)

• Credit Points (Kreditpunkte):
• 6

• Language:
• English

• General:

The course will be taught in English, and all course materials and tutorials will be offered in English as well. The course is intended for international students in the Master of Science in Applied Computer Science programme.

• Reading Material:

The first part of the course will be covering logic and predicate calculus. This part will be taught using only the slides provided during the lecture.
The second and longer part of the course will cover theoretical aspects of computer science. This part will be taught using the slides provided and is mainly based uppon the book:
Michael Sipser. "Introduction to the theory of computation". PWS Publishing Co., Boston, MA, 1996.

• Overview:

This course will address theoretical aspects of computer science. It comprises the fundamental mathematical properties of computer hard and software. We will see what can be computed, and what cannot, and if it can be computed, how hard (efficient) it is to compute it. More specifically, the following topics will be included:

• automata
• languages
• grammars
• turing machines
• decidability
• complexity theory
• logic

• Additional information about the course:

During the course, you will find up to date information here, as well as on the SPECIFIC SLIDES AND EXERCISE WEB PAGE.