Modultitel

  • Grundlagen theoretischer Informatik

Modultitel (Englisch)

Lehrveranstaltungen des Moduls

  • Theoretische Informatik (Vorlesung und Übungen, 4V + 2Ü)

Modulverantwortliche(r)

Lehrinhalte

Zentrale Gegenstände des Moduls sind die Formalisierung von Algorithmen und deren sprachliche Realisierungen als Programme sowie Problemlösungen durch Berechnungsverfahren. Neben formalen Sprachen und ihrer Typisierung nach Leistungsfähigkeit werden Grammatiken und Automaten behandelt. Es folgen Einführungen in die Berechenbarkeitstheorie, die sich mit grundsätzlichen Möglichkeiten und Grenzen der Algorithmisierbarkeit befasst, und in die Komplexitätstheorie, die untersucht, mit welchem Aufwand an Berechnungsressourcen (Rechenzeit, Speicherplatz) Probleme algorithmisch gelöst werden können. Abschließend werden Grundzüge der Logik im Hinblick auf ihre Rolle in informatischen Aufgabenstellungen vermittelt.

Kompetenzen

Grundsätzliches Verständnis der theoretischen Prinzipien der Informatik und Aneignung formaler Methoden wie z.B. Beweistechniken.

Anzahl Einzelleistungen (benotet und unbenotet)

eine benotete Einzelleistung

Prüfungsformen

Portfolio aus Übungsaufgaben, die veranstaltungsbezogen gestellt werden (Bestehensgrenze 60% der erzielbaren Punkte) und Abschlussklausur (90 min) oder abschließende mündliche Prüfung (15 - 12 min). Die Übungsaufgaben im Rahmen des Portofolios werden wöchentlich ausgegeben. Abschlussklausur oder abschließende mündliche Prüfung beziehen sich auf den Stoff der Vorlesung und der Übungen.

Voraussetzungen für die Vergabe von Leistungspunkten

Regelmäßige Teilnahme an der Vorlesung und an den Übungen, mind. 60% der maximal erreichbaren Punkte beim Bearbeiten der Übungsaufgaben, Bestehen der Klausur

Arbeitsaufwand und Leistungspunkte

Teilnahme an der Vorlesung:
Teilnahme an den Übungen:
Bearbeiten der Übungszettel:
gesamt: 150h = 5 LP		 4 SWS x 16 Wochen
2 SWS x 16 Wochen

 = 60h
= 30h
= 60h
Selbststudium und Klausurvorbereitung:
gesamt: 90h = 3 LP		 = 90h

Leistungspunkte für das Modul: 8 LP

Teilnahmevoraussetzungen und Vorkenntnisse

Vorausgesetzt werden Kenntnisse der Programmierung sowie Grundkenntnisse der naiven Mengenlehre und elementarer Beweistechniken wie des Beweisens durch Widerspruch und durch vollständige Induktion.

Im Bachelorstudiengang Nebenfach Informatik: Grundlagen der Programmierung

Modultyp und Verwendbarkeit

Pflichtmodul für die Bachelorstudiengänge

  • Kognitive Informatik
  • Naturwissenschaftliche Informatik
  • Nebenfach Informatik

Dauer des Moduls / Angebotsturnus

jährlich im Wintersemester, Dauer 1 Semester