About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Courses in Summer Term 2012  -  Advanced Topics in Automatic Structures

Course title:  Seminar Advanced Topics in Automatic Structures

Lecturer:   Dr. Anni-Yasmin Turhan

Module:  MCL-PCS, MCL-PI, MCL-TCSL

Status:  advanced unit

SWS (lecture/tutorial/practical):  0/2/0

Examination method:  to be announced

Prerequisites:

• Basic knowledge in logic and automata theory
• It is not necessary to have attended the lecture Introduction to Automatic Structures, but it is helpful
• For computer science students: "Grundlagen der Theoretischen Informatik" or "Formale Systeme"

Course description:

Participants will get to know different types of automatic structures. The seminar will investigate properties of the structures and the relationship between them and different kinds of logics.

Apart from learning about the main topic, students should learn

• how to get acquainted with a relevant body of literature,
• how to produce a well-structured report, that conforms to the rules of scientific writing, and
• how to give an understandable scientific talk.

Additional information:

• the course web page