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

Courses in Summer Term 2015  -  Theoretical Computer Science

Course title:   Theoretical Computer Science

Lecturer:   Dr. Anni-Yasmin Turhan


Status:   advanced unit

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

Examination method:   talk


Course description:

The participants are expected to read the relevant literature, and to discuss it with their tutor in order to become acquainted with the topic chosen (Term Rewriting, Molecular Computing, Logical Reasoning). The required implementation work should be carried out in a structured way, and has to be documented appropriately. If a topic is shared by two or more participants, acquiring team-working skills is another goal of the project. The results of the project have to be described in a project paper (~15 pages) and presented in a 30 minutes talk at the end of the semester.

Additional information: