Theoretische Informatik (THI)
2. Semester
5 ECTS | 4 SWS
Klausur 90 Minuten (K90)
Verstehe die Grundlagen hinter der Informatik: Du beschäftigst dich mit logischem Denken, formalen Regeln und mathematischen Modellen, die zeigen, wie Computer Probleme lösen. Außerdem lernst du, wie Informationen verarbeitet werden, welche Aufgaben Computer lösen können und wo ihre Grenzen liegen.
Inhalte
- Grundlagen der Logik (Prädikatenlogik 1.Stufe inkl. Resolutionsverfahren, Hornklausellogik, SLD-Resolution, Negation as Failure und regelbasierte Systeme)
- Formale Sprachen (Chomsky-Hierarchie, Reguläre Sprachen, Kontextfreie Sprachen)
- Automatentheorie (endliche Automaten, Kellerautomaten)
- Grundlagen der Berechenbarkeit
- Grundlagen der Komplexitätstheorie
Lernziele/Kompetenzen
Die Studierenden sind in der Lage,
- den Prozess, von einer Problemstellung über strukturierte logische Konzepte zu einer automatisch durchführbaren Problemlösung zu gelangen, zu erläutern und zu verfolgen,
- ein gedanklichen Lösungskonzepts in eine vom Rechner verarbeitbare formale Darstellung umzusetzen,
- die syntaktischen Grundlagen von Programmiersprachen und ihre Verarbeitung auf dem Rechner zu beschreiben und
- analytisch und strukturiert zu denken mit dem Ziel, systematisch Problemlösungen entwickeln zu können.
Literatur
- Socher, Rolf: „Theoretische Grundlagen der Informatik“, Hanser-Verlag
- Vossen, G., Witt, K.-U.: „Grundkurs Theoretische Informatik“, Vieweg+Teubner
- Hopcroft, John E., Motwani, Rajeev, Ullman, Jeffrey D.: „Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit“, Verlag: Addison Wesley / Pearson Studium
- Ertel, Wolfgang:„Grundkurs Künstliche Intelligenz : Eine praxisorientierte Einführung“, Springer Vieweg
Dozentinnen / Dozenten
- Prof. Dr. Astrid Schmücker-Schend
Empfohlene Vorkenntnisse
Daten zum Modul
| Semester |
2 |
| Unterrichtssprache |
Deutsch |
|
Häufigkeit
|
Jedes Semester
|
| Kreditpunkte (CP)
|
5 |
| Modulverantwortlich |
Prof. Dr. Lutz Strüngmann |
| Dauer |
1 Semester |
|
Studienleistung
|
Keine |
|
Prüfungsvorleistung
|
Pflichtübung (PU) |
|
Prüfungsleistung
|
Klausur 90 Minuten (K90) |
Semesterwochenstunden (SWS)
| Vorlesung |
2 SWS |
| Labor |
2 SWS |
| Summe |
4 SWS |
Arbeitsaufwand (Workload)
| Vorlesung |
30 h |
| Labor |
30 h |
| Selbststudium |
90 h |
| Summe |
150 h |