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.
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