Module 39-Inf-6 Introduction to Theoretical Computer Science

Faculty

Person responsible for module

Regular cycle (beginning)

Every summer semester

Credit points and duration

5 Credit points

For information on the duration of the modul, refer to the courses of study in which the module is used.

Competencies

Die Studierenden lernen Grundbegriffe der theoretischen Informatik kennen und können mit prinzipiellen Konzepten umgehen, wie zentrale Fragen der Informatik wie etwa 'was kann ein Computer berechnen', 'wie komplex ist ein Programm' formalisiert werden können.

Content of teaching

In diesem Modul werden Grundlagen der formalen Sprachen, Berechenbarkeit und Komplexität behandelt. Behandelte Themen sind die Chomsky-Hierarchie, insbesondere Automaten, kontextfreie Sprachen und Turingmaschinen; Zeit- und Speicherkomplexität und die Klassen P und NP; sowie die Begriffe berechenbar und rekursiv aufzählbar.

Recommended previous knowledge

Erfolgreicher Abschluss des Moduls 39-Inf-PP (Prinzipien der Programmierung) bzw. 39-Inf-1 (Algorithmen und Datenstrukturen).

Necessary requirements

—

Explanation regarding the elements of the module

Module structure: 1 bPr 1

Courses

Theoretische Informatik
Type tutorial (in connection with lecture/seminar)
Regular cycle SoSe
Workload5 30 h (15 + 15)
LP 1
Theoretische Informatik
Type lecture
Regular cycle SoSe
Workload5 60 h (45 + 15)
LP 2

Examinations

portfolio with final examination
Allocated examiner Person responsible for module examines or determines examiner
Weighting 1
Workload 60h
LP2 2

Portfolio mit Abschlussprüfung bestehend aus:
1) Portfolio von Übungen zu Inhalten der Vorlesung
Übungsaufgaben oder Programmieraufgaben, die veranstaltungsbezogen gestellt werden (Bestehensgrenze 50% der erzielbaren Punkte). Die Kontrolle der Übungsaufgaben umfasst auch direkte Fragen zu den Lösungsansätzen, die von den Studierenden in den Übungen beantwortet werden müssen. Der*die Lehrende kann ein individuelles Erläutern und Vorführen von Aufgaben verlangen sowie einen Teil der Übungsaufgaben durch Präsenzübungen ersetzen. Die Übungsaufgaben im Rahmen des Portfolios werden in der Regel wöchentlich ausgegeben und dienen dem begleitenden Erlernen selbständiger Umsetzungen der in der Vorlesung vorgestellten Lerninhalte.

2) einer Abschlussprüfung zur Vorlesung
Die Abschlussprüfung zu den Inhalten der Vorlesung nimmt Bezug auf die Übungs- oder Programmieraufgaben oder entwickelt sich aus den in den Übungen erlernten Kompetenzen.
Eine weitergehende Konkretisierung insbesondere zum zeitlichen Umfang der Abschlussprüfung erfolgt in der Beschreibung der Veranstaltung.

Abschlussklausur (im Umfang von ca. 60 Minuten) oder mündliche Abschlussprüfung (im Umfang von ca. 15 Minuten) zu den in der Vorlesung vermittelten und in den Übungen erarbeiteten Inhalten.

Die Klausur kann alternativ als eKlausur, Open Book Klausur oder eOpen Book Klausur geprüft werden. Im Falle von Open Book Klausur und eOpen Book Klausur beträgt der Umfang 120-180 Minuten.

Beide Portfolioelemente werden durch eine*n Prüfer*in geprüft. Es erfolgt eine abschließende Gesamtbewertung.

Further notices

In der Studiengangsvariante Bioinformatik und Genomforschung wird empfohlen, dieses Modul mit dem Modul 39-Inf-7 zu kombinieren.

The module is used in these degree programmes:

Degree programme Version Profile Recom­mended start 3 Duration Manda­tory option 4
Bioinformatics and Genome Research / Bachelor of Science [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 01.07.2019 und 16.08.2021] Bachelor with One Core Subject (Academic) 4. one semester Compul­sory optional subject
Informatics / Bachelor of Science [FsB vom 16.05.2023 mit Änderung vom 01.08.2023] Major Subject (Academic) Technical Informatics 2. one semester Obli­gation
Informatics / Bachelor of Science [FsB vom 16.05.2023 mit Änderung vom 01.08.2023] Major Subject (Academic) Bioinformatics 2. one semester Obli­gation
Informatics / Bachelor of Science [FsB vom 16.05.2023 mit Änderung vom 01.08.2023] Major Subject (Academic) Modelling 2. one semester Obli­gation
Informatics / Bachelor [FsB vom 16.05.2023 mit Änderung vom 01.08.2023] Minor Subject (Academic), 60 CPs Practical Informatics 2. one semester Obli­gation
Informatics / Bachelor [FsB vom 16.05.2023 mit Änderung vom 01.08.2023] Minor Subject (Academic), 60 CPs Technical Informatics 2. one semester Obli­gation
Informatics / Bachelor [FsB vom 16.05.2023 mit Änderung vom 01.08.2023] Minor Subject (Academic), 30 CPs Software Engineering 2. o. 4. one semester Obli­gation
Informatics / Bachelor [FsB vom 16.05.2023 mit Änderung vom 01.08.2023] Minor Subject (Academic), 30 CPs Practical Informatics 2. o. 4. one semester Obli­gation
Informatics / Bachelor [FsB vom 16.05.2023 mit Änderung vom 01.08.2023] Minor Subject (Academic), 30 CPs Technical Informatics 2. o. 4. one semester Obli­gation
Informatics / Bachelor of Science [FsB vom 04.06.2020 mit Änderung vom 15.12.2021] Major Subject (Academic) Technical Informatics 2. one semester Obli­gation
Informatics / Bachelor of Science [FsB vom 04.06.2020 mit Änderung vom 15.12.2021] Major Subject (Academic) Bioinformatics 4. one semester Obli­gation
Informatics / Bachelor [FsB vom 04.06.2020 mit Änderung vom 15.12.2021] Minor Subject (Academic), 60 CPs Practical Informatics 2. one semester Obli­gation
Informatics / Bachelor [FsB vom 04.06.2020 mit Änderung vom 15.12.2021] Minor Subject (Academic), 60 CPs Technical Informatics 2. one semester Obli­gation
Informatics / Bachelor [FsB vom 04.06.2020 mit Änderung vom 15.12.2021] Minor Subject (Academic), 30 CPs Software Engineering 2. one semester Obli­gation
Informatics / Bachelor [FsB vom 04.06.2020 mit Änderung vom 15.12.2021] Minor Subject (Academic), 30 CPs Practical Informatics 2. one semester Obli­gation
Informatics / Bachelor [FsB vom 04.06.2020 mit Änderung vom 15.12.2021] Minor Subject (Academic), 30 CPs Technical Informatics 2. one semester Obli­gation
Informatics / Bachelor of Science [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021] Major Subject (Academic) 2. one semester Obli­gation
Informatics / Bachelor [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021] Minor Subject (Academic), 60 CPs Practical Informatics 2. one semester Obli­gation
Informatics / Bachelor [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021] Minor Subject (Academic), 60 CPs Technical Informatics 2. one semester Obli­gation
Informatics / Bachelor [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021] Minor Subject (Academic), 30 CPs Practical Informatics 2. one semester Obli­gation
Informatics / Bachelor [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021] Minor Subject (Academic), 30 CPs Software Engineering 2. one semester Obli­gation
Informatics / Bachelor [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021] Minor Subject (Academic), 30 CPs Technical Informatics 2. one semester Obli­gation
Cognitive Informatics / Bachelor of Science [FsB vom 16.05.2023] Bachelor with One Core Subject (Academic) 2. one semester Obli­gation
Cognitive Informatics / Bachelor of Science [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 01.07.2019 und 16.08.2021] Bachelor with One Core Subject (Academic) 2. one semester Obli­gation
Informatics for the Natural Sciences / Bachelor of Science [FsB vom 30.09.2016 mit Änderung vom 01.07.2019 und 16.08.2021] Bachelor with One Core Subject (Academic) 2. one semester Obli­gation

Automatic check for completeness

The system can perform an automatic check for completeness for this module.

Previus version of this module

Legend

1
The module structure displays the required number of study requirements and examinations.
2
LP is the short form for credit points.
3
The figures in this column are the specialist semesters in which it is recommended to start the module. Depending on the individual study schedule, entirely different courses of study are possible and advisable.
4
Explanations on mandatory option: "Obligation" means: This module is mandatory for the course of the studies; "Optional obligation" means: This module belongs to a number of modules available for selection under certain circumstances. This is more precisely regulated by the "Subject-related regulations" (see navigation).
5
Workload (contact time + self-study)
SL
Study requirement
Pr
Examination
bPr
Number of examinations with grades
uPr
Number of examinations without grades
Diese Leistung kann gemeldet und verbucht werden.

Sidebar

Elements of the module

Courses

Examinations

Programme of lectures (eKVV)

Programme of lectures (eKVV)

Show lists of modules

Bioinformatics and Genome Research / Bachelor of Science: Bachelor with One Core Subject (Academic) [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 01.07.2019 und 16.08.2021]

Informatics / Bachelor of Science: Major Subject (Academic) // Technical Informatics

Informatics / Bachelor of Science: Major Subject (Academic) // Bioinformatics

Informatics / Bachelor of Science: Major Subject (Academic) // Modelling

Informatics / Bachelor: Minor Subject (Academic), 60 CPs // Practical Informatics

Informatics / Bachelor: Minor Subject (Academic), 60 CPs // Technical Informatics

Informatics / Bachelor: Minor Subject (Academic), 30 CPs // Software Engineering

Informatics / Bachelor: Minor Subject (Academic), 30 CPs // Practical Informatics

Informatics / Bachelor: Minor Subject (Academic), 30 CPs // Technical Informatics

Informatics / Bachelor of Science: Major Subject (Academic) // Technical Informatics [FsB vom 04.06.2020 mit Änderung vom 15.12.2021]

Informatics / Bachelor of Science: Major Subject (Academic) // Bioinformatics [FsB vom 04.06.2020 mit Änderung vom 15.12.2021]

Informatics / Bachelor: Minor Subject (Academic), 60 CPs // Practical Informatics [FsB vom 04.06.2020 mit Änderung vom 15.12.2021]

Informatics / Bachelor: Minor Subject (Academic), 60 CPs // Technical Informatics [FsB vom 04.06.2020 mit Änderung vom 15.12.2021]

Informatics / Bachelor: Minor Subject (Academic), 30 CPs // Software Engineering [FsB vom 04.06.2020 mit Änderung vom 15.12.2021]

Informatics / Bachelor: Minor Subject (Academic), 30 CPs // Practical Informatics [FsB vom 04.06.2020 mit Änderung vom 15.12.2021]

Informatics / Bachelor: Minor Subject (Academic), 30 CPs // Technical Informatics [FsB vom 04.06.2020 mit Änderung vom 15.12.2021]

Informatics / Bachelor of Science: Major Subject (Academic) [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021]

Informatics / Bachelor: Minor Subject (Academic), 60 CPs // Practical Informatics [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021]

Informatics / Bachelor: Minor Subject (Academic), 60 CPs // Technical Informatics [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021]

Informatics / Bachelor: Minor Subject (Academic), 30 CPs // Practical Informatics [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021]

Informatics / Bachelor: Minor Subject (Academic), 30 CPs // Software Engineering [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021]

Informatics / Bachelor: Minor Subject (Academic), 30 CPs // Technical Informatics [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021]

Cognitive Informatics / Bachelor of Science: Bachelor with One Core Subject (Academic)

Cognitive Informatics / Bachelor of Science: Bachelor with One Core Subject (Academic) [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 01.07.2019 und 16.08.2021]

Informatics for the Natural Sciences / Bachelor of Science: Bachelor with One Core Subject (Academic) [FsB vom 30.09.2016 mit Änderung vom 01.07.2019 und 16.08.2021]