Vorlesung
4 SemesterwochenstundenBTU-Vorlesungsverzeichnis ↗- Dienstag06 Okt 2026 bis 26 Jan 202711:30 bis 13:00
- Donnerstag08 Okt 2026 bis 28 Jan 202711:30 bis 13:00
← Zurück zur Übersicht
11787Fakultät 1 – MINT – Mathematik, Informatik, Physik, Elektro- und Informationstechnik
Theoretische Informatik
Titel auf Englisch: Theoretical Computer Science
Lernergebnisse
- das Verstehen und Anwenden von Formalisierungen,
- das Umsetzen sowie sichere Umgehen mit mathematischen Arbeitsweisen in der theoretischen Informatik, …
Inhalte
- Reguläre Sprachen; deterministische und nicht-deterministische endliche Automaten; Minimalisierung; Abschlusseigenschaften regulärer Sprachen;
- Push-Down Automaten und kontextfreie Grammatiken; Normalformen; algorithmische Fragestellungen zu kontextfreien Sprachen; Abschlusseigenschaften;
- Turing-Maschine; Berechenbarkeit von Wortfunktionen; Entscheidungsprobleme; rekursive Aufzählbarkeit und Entscheidbarkeit; Halteproblem für Turing-Maschinen; Satz von Rice; Reduktion; allgemeine Grammatiken;
- linear-beschränkte Turing-Maschinen; Chomsky-Hierarchie;
- Simulation von Automaten durch Grammatiken und umgekehrt;
- Primitiv-rekursive und μ–rekursive Funktionen
Voraussetzungen
Verpflichtende Voraussetzungen
Keine
Empfohlene Voraussetzungen
Prüfungsmodalitäten
- Erfolgreiche Bearbeitung von Hausaufgaben und/oder erfolgreiche Bearbeitung von Hörsaaltestaten jeweils während eines Vorlesungstermins (Die Art der Voraussetzung wird zu Semesterbeginn bekannt gegeben.)
- Klausur, 120 min.
Termine im WiSe 26/27
Übung
2 SemesterwochenstundenBTU-Vorlesungsverzeichnis ↗- Mittwoch07 Okt 2026 bis 27 Jan 202711:30 bis 13:00
Tutorium
2 SemesterwochenstundenBTU-Vorlesungsverzeichnis ↗- Montag05 Okt 2026 bis 25 Jan 202715:30 bis 17:00
Prüfung
BTU-Vorlesungsverzeichnis ↗- Dienstag16 Mär 202711:00 bis 12:00
Angeboten in
- Angewandte MathematikM.Sc.
Wahlpflichtkomplex: Analysis/Algebra/Kombinatorik
- Angewandte MathematikM.Sc.
Wahlpflichtkomplex: Anwendungen
- Angewandte MathematikM.Sc.
Wahlpflichtkomplex: Informatik
| Studiengang | Abschluss | Wahlpflichtkomplex |
|---|---|---|
| Angewandte Mathematik | M.Sc. | Analysis/Algebra/Kombinatorik |
| Angewandte Mathematik | M.Sc. | Anwendungen |
| Angewandte Mathematik | M.Sc. | Informatik |
Literatur und Materialien
- Hopcroft, Motwani, Ullmann: Introduction to Automata Theory, Languages and Computation, Addison & Wesley
- Lewis, Papadimitriou: Elements of the Theory of Computation, Prentice Hall
- Savage: Models of Computation, Addison & Wesley
Bewertungen von Studierenden
Was Studierende über dieses Modul sagen. Die BTU hat damit nichts zu tun — hier schreiben nur Studierende, und jede Bewertung ist die Meinung einer einzelnen Person.