Technische Universität Ilmenau

Grundstrukturen der Theoretischen Informatik - Modultafeln of TU Ilmenau

The module lists provide information on the degree programmes offered by the TU Ilmenau.

Please refer to the respective study and examination rules and regulations for the legally binding curricula (Annex Curriculum).

You can find all details on planned lectures and classes in the electronic university catalogue.

Information and guidance on the maintenance of module descriptions by the module officers are provided at Module maintenance.

Please send information on missing or incorrect module descriptions directly to modulkatalog@tu-ilmenau.de.

module properties Grundstrukturen der Theoretischen Informatik in degree program Bachelor Informatik 2010
module nameGrundstrukturen der Theoretischen Informatik
module number5354
departmentDepartment of Computer Science and Automation
ID of group 2242 (Complexity Theory and Efficient Algorithms)
module leaderProf. Dr. Martin Dietzfelbinger
credit points11
obligationobligatory module
requirements

Algorithmen und Programmierung, Grundlagen und diskrete Strukturen, Mathematik für Informatiker 1

certificate of the module Individual achievements or exams
details of the certificate
signup details for alternative examinations
learning outcomeDie Studierenden kennen die grundlegenden
abstrakten Strukturen, die zum Design, zur Analyse und zur Benutzung von Programmen nötig sind:
Logische Systeme für die Spezifikation und die
Verifikation von Strukturen; Algorithmen und datenstrukturen für die Implementierung von
elementaren Strukturen; Automaten und Formale Sprachen für "finite-state-systems" und die
Grundlagen für die Verarbeitung von Programmiersprachen. Grundeigenschaften
der Systeme, Grundoperationen, Grundkonstruktionen sind bekannt.
The module contains the following subjects:
Algorithms and Data Structures
credit points4
obligationobligatory module
certificate of the modulewritten examination performance, 90 minutes
term Sommersemester
Automata and formal languages
credit points4
obligationobligatory module
certificate of the moduleoral examination performance, 20 minutes
term Wintersemester
Logical Structures
credit points3
obligationobligatory module
certificate of the modulewritten examination performance, 90 minutes
term Sommersemester