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
Die Bewertung des Moduls erfolgt gemäß §§ 9, ggf. 12 (Teilleistungen), ggf. 18 (Arbeiten, Kolloquien) der Allgemeinen Bestimmungen (Teil I der Prüfungsordnung).
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)
- Digital Media Systems (B.Sc. 2023)
- 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.