Machine Learning and Natural Language Processing Lab

Vorlesung (for M.Sc. students only)

Introduction to Theoretical Computer Science II (A)

Dr. Andreas Karwath

• Lectures:

For up-to-date information follow this link: slides and excercises

• Wednesday 09:15-10:45 o'clock (Room: 00-007 Building: 106)
• Thursday 09:15-10:00 o'clock (Room: 00-007 Building. 106)

• Exercises:
• Thursday 10:00-10:45 o'clock (Room: 00-007 Building. 106)

• 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 slides and excercise page.