621.503 (22W) Einführung in die Theoretische Informatik
Überblick
Bedingt durch die COVID-19-Pandemie können kurzfristige Änderungen bei Lehrveranstaltungen und Prüfungen (z.B. Absage von Präsenz-Lehreveranstaltungen und Umstellung auf Online-Prüfungen) erforderlich sein.
Weitere Informationen zum Lehrbetrieb vor Ort finden Sie unter: https://www.aau.at/corona.
Weitere Informationen zum Lehrbetrieb vor Ort finden Sie unter: https://www.aau.at/corona.
- Lehrende/r
- LV Nummer Südostverbund ING05004UL, ING06003UL
- LV-Titel englisch Introduction to Automata Theory, Languages, and Computation
- LV-Art Übung (prüfungsimmanente LV )
- LV-Modell Präsenzlehrveranstaltung
- Semesterstunde/n 2.0
- ECTS-Anrechnungspunkte 4.0
- Anmeldungen 25 (30 max.)
- Organisationseinheit
- Unterrichtssprache Deutsch
- LV-Beginn 05.10.2022
- eLearning zum Moodle-Kurs
Zeit und Ort
Beachten Sie bitte, dass sich aufgrund von COVID-19-Maßnahmen die derzeit angezeigten Termine noch ändern können.
Liste der Termine wird geladen...
LV-Beschreibung
Intendierte Lernergebnisse
Vertiefung und Verständnis der VO-Themen.
Lehrmethodik
Im Kurs werde durch wöchentliche Übungseinheiten die Themen aus der Vorlesung vertieft. Neben praktischen Aufgaben werden zudem auch theoretische Aspekte behandelt.
Inhalt/e
- Registermaschinen
- Turingmaschinen
- Endliche Automaten
- Kontextfreie Sprachen
- Die These von Church
- Unberechenbarkeit
- Einführung in die Komplexitätstheorie
Erwartete Vorkenntnisse
Mathematische Grundkenntnisse (Mengen, Sprachen, ..., einfache Beweistechniken).
Curriculare Anmeldevoraussetzungen
Keine.
Literatur
Siehe VO.
Link auf weitere Informationen
https://campus.aau.at/studium/course/109765Prüfungsinformationen
Im Fall von online durchgeführten Prüfungen sind die Standards zu beachten, die die technischen Geräte der Studierenden erfüllen müssen, um an diesen Prüfungen teilnehmen zu können.
Beurteilungsschema
Note BenotungsschemaPosition im Curriculum
- Bachelor-Lehramtsstudium Bachelor Unterrichtsfach Informatik
(SKZ: 414, Version: 15W.2)
-
Fach: Fachspezifische Vertiefungsfächer (AAU)
(Wahlfach)
-
ING.006 Einführung in die theoretische Informatik (
1.0h PR / 2.0 ECTS)
- 621.503 Einführung in die Theoretische Informatik (2.0h UE / 4.0 ECTS) Absolvierung im 7. Semester empfohlen
-
ING.006 Einführung in die theoretische Informatik (
1.0h PR / 2.0 ECTS)
-
Fach: Fachspezifische Vertiefungsfächer (AAU)
(Wahlfach)
- Bachelor-Lehramtsstudium Bachelor Unterrichtsfach Informatik
(SKZ: 414, Version: 17W.2)
-
Fach: Fachspezifische Vertiefungsfächer (AAU)
(Wahlfach)
-
ING.006 Einführung in die theoretische Informatik (
1.0h UE / 2.0 ECTS)
- 621.503 Einführung in die Theoretische Informatik (2.0h UE / 4.0 ECTS) Absolvierung im 7. Semester empfohlen
-
ING.006 Einführung in die theoretische Informatik (
1.0h UE / 2.0 ECTS)
-
Fach: Fachspezifische Vertiefungsfächer (AAU)
(Wahlfach)
- Bachelor-Lehramtsstudium Bachelor Unterrichtsfach Informatik
(SKZ: 414, Version: 19W.2)
-
Fach: Fachspezifische Vertiefungsfächer (AAU)
(Wahlfach)
-
ING.005 Einführung in die theoretische Informatik (
2.0h UE / 4.0 ECTS)
- 621.503 Einführung in die Theoretische Informatik (2.0h UE / 4.0 ECTS) Absolvierung im 7. Semester empfohlen
-
ING.005 Einführung in die theoretische Informatik (
2.0h UE / 4.0 ECTS)
-
Fach: Fachspezifische Vertiefungsfächer (AAU)
(Wahlfach)
- Bachelorstudium Angewandte Informatik
(SKZ: 511, Version: 19W.2)
-
Fach: Mathematik und Theoretische Grundlagen
(Pflichtfach)
-
3.3 Einführung in die Theoretische Informatik (
2.0h UE / 4.0 ECTS)
- 621.503 Einführung in die Theoretische Informatik (2.0h UE / 4.0 ECTS) Absolvierung im 3. Semester empfohlen
-
3.3 Einführung in die Theoretische Informatik (
2.0h UE / 4.0 ECTS)
-
Fach: Mathematik und Theoretische Grundlagen
(Pflichtfach)
- Bachelorstudium Angewandte Informatik
(SKZ: 511, Version: 17W.1)
-
Fach: Mathematik und Theoretische Grundlagen
(Pflichtfach)
-
3.4 Einführung in die Theoretische Informatik (
2.0h UE / 4.0 ECTS)
- 621.503 Einführung in die Theoretische Informatik (2.0h UE / 4.0 ECTS) Absolvierung im 3. Semester empfohlen
-
3.4 Einführung in die Theoretische Informatik (
2.0h UE / 4.0 ECTS)
-
Fach: Mathematik und Theoretische Grundlagen
(Pflichtfach)
- Bachelorstudium Angewandte Informatik
(SKZ: 511, Version: 12W.1)
-
Fach: Mathematik und Theoretische Grundlagen
(Pflichtfach)
-
Einführung in die Theoretische Informatik (
2.0h UE / 4.0 ECTS)
- 621.503 Einführung in die Theoretische Informatik (2.0h UE / 4.0 ECTS) Absolvierung im 3. Semester empfohlen
-
Einführung in die Theoretische Informatik (
2.0h UE / 4.0 ECTS)
-
Fach: Mathematik und Theoretische Grundlagen
(Pflichtfach)
Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung
- Wintersemester 2023/24
- Wintersemester 2022/23
- Wintersemester 2021/22
- Wintersemester 2020/21
- Wintersemester 2019/20
- Wintersemester 2018/19
- Wintersemester 2017/18
- Wintersemester 2016/17
- Wintersemester 2015/16
- Wintersemester 2014/15
- Wintersemester 2013/14
- Wintersemester 2012/13
- Wintersemester 2011/12
- Wintersemester 2010/11
- Wintersemester 2009/10