INF1007 Theoretische Informatik 1
Modulverantwortliche
- Prof. Dr. Andreas Gogol-Döring
Lehrende
- Prof. Dr. Michael Elberfeld
- Prof. Dr. Andreas Gogol-Döring
- Prof. Dr. Martin Weigel
Notwendige Voraussetzungen zur Teilnahme
Keine
Kurzbeschreibung
Formalwissenschaftliche Grundlagen der Informatik.
Inhalte
- Grundlegende Berechnungsmodelle wie z.B. endliche Automaten, Turingmaschinen und Random Access Machines.
- Grundlegende Notationen wie reguläre Ausdrücke und Pseudocode.
- Grundlegende algorithmische Techniken wie z.B. Rekursion.
- Weitere Inhalte zur Stärkung der in den Qualifikations- und Lernzielen beschriebenen Kompetenzen.
Qualifikations- und Lernziele
Fachkompetenzen
- Die Studierenden können grundlegende Berechnungsmodelle und algorithmische Techniken aus der Informatik benennen und deren Funktionsweisen und Besonderheiten erläutern sowie deren Einsatzmöglichkeiten und Grenzen erklären.
Methodenkompetenzen (fachlich & überfachlich)
- Die Studierenden können korrekte formale Problembeschreibungen zu gegebenen Steuerungs- und Berechnungsprobleme formulieren.
- Sie können Lösungen für algorithmische Probleme auf Basis formaler Problembeschreibungen finden und als präzise Handlungsabfolge beschreiben.
Sozialkompetenzen
- Die Studierenden sind in der Lage, selbst oder im Team Lösungen zu algorithmischen Problemen zu erarbeiten und in einem seminaristischen Umfeld zu präsentieren.
- Sie können die Korrektheit und Adäquatheit der von ihnen eingesetzten algorithmischen Techniken begründen.
Selbstkompetenzen
- Die Studierenden können den bei der Problemlösung eingesetzten Entwurfsprozess reflektieren und kommunizieren.
- Sie können die Bedeutung theoretischer Konzepte in der Informatik für ihre eigene zukünftige berufliche Tätigkeit einordnen.
ECTS-Leistungspunkte (CrP)
- 6 CrP
- Arbeitsaufwand 180 Std.
- Präsenzzeit 60 Std.
- Selbststudium 120 Std.
Lehr- und Lernformen
- 4 SWS
- Vorlesung 2 SWS
- Übung 2 SWS
Studiensemester
- Bioinformatik (B.Sc. 2022)
- Digital Media Systems (B.Sc. 2023)
- Informatik (B.Sc. 2022)
- Ingenieur-Informatik (B.Sc. 2022)
Dauer
1 Semester
Häufigkeit des Angebots
Jedes Semester
Unterrichtssprache
Deutsch
Bonuspunkte
Nein
Bonuspunkte werden gemäß § 9 (4) der Allgemeinen Bestimmungen vergeben. Art und Weise der Zusatzleistungen wird den Studierenden zu Veranstaltungsbeginn rechtzeitig und in geeigneter Art und Weise mitgeteilt.
Prüfungsleistungen
Prüfungsvorleistung:
Übungsaufgaben und/oder anerkannte Hausübungen (Art und Anzahl wird den Studierenden rechtzeitig und in geeigneter Weise bekannt gegeben.)
Prüfungsleistung:
Klausur, auch im Antwort-Wahl-Verfahren (Anteil des Antwort-Wahl-Verfahrens wird den Studierenden rechtzeitig und in geeigneter Weise bekannt gegeben.)
Benotung
Unbenotet
Verwendbarkeit
Gemäß § 5 der Allgemeinen Bestimmungen (Teil I der Prüfungsordnung) Verwendbarkeit in allen Bachelorstudiengänge der THM möglich.
Voraussetzung für Module
- Bioinformatik (B.Sc. 2022)
- Informatik (B.Sc. 2022)
- Ingenieur-Informatik (B.Sc. 2022)
Literatur, Medien
- Gumm, H.-P.; Sommer, M: Grundlagen der Informatik. De Gruyter.
- Priese, L.; Erk, K.: Theoretische Informatik: Eine umfassende Einführung. Springer.
- Gogol-Döring, A.; Letschert, T.: Algorithmen und Datenstrukturen für Dummies. Wiley.
Rechtliche Hinweise
- Diese Informationen geben den in den Online-Diensten für Studierende erfassten Datenbestand wieder.
- Die rechtskräftigen und damit verbindlichen Fassungen der Modulhandbücher finden Sie im Amtlichen Mitteilungsblatt der THM (AMB).
- Alle gültigen Prüfungsbestimmungen für die THM-Studiengänge können Sie außerdem in komfortabler Leseversion über den Downloadbereich auf der Homepage des Prüfungsamts einsehen.