Automaten, Sprachen, Komplexität

 

Lecture in the summer term 2017

Contact

Name

Sarah Winter

Email

E-Mail
 

Dates

Lecture
Mon, 10:15 - 11:45am (AH II)

Exercise Class
Mon, 3:15  - 4:00pm (AH III)
Wed, 2:15  - 3:00pm (5054)

 
 

Content

This course introduces - via examples obtained from applications - important basic topics of theoretical computer sience. We will analyze automata models, methods of specifying formal languages, and discuss questions about computability and complexity.

Prerequisites

There are no requirements for participation in this course.

 

Organization

The course will be held in german.

Time and Places

Monday, 10:15am - 11:45am in 2350|111 (AH II)

Lecturer

Christof Löding

 

Exercises

There will be weekly exercise sets. Completing these successfully, reaching at least 50% of possible points, is necessary for admittance to the examination.

The solutions of the exercises will be presented on Monday, 3:15pm - 4:00pm in 2350|314.1 (AH III).

Additionally on Wednesday, 2:15pm-3:00pm there will be a "Diskussionsstunde" in room 2356|054 (5054).

Exam

There will be written exams. The exact modalities of the exams will be announced later in L2P.

 

External Links