621.502 (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 ING05003UL, ING06002UL
- 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 7 (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.
Prüfungsmethode/n
Schriftlich und Programmierabgaben
Prüfungsinhalt/e
Gesamter Themenbereich des Übung
Beurteilungskriterien/-maßstäbe
Drei schriftliche Tests sowie drei Programmierabgaben während des Semesters zu je 15 Punkten.
Note: Punkte
1: 72-90
2: 62-71
3: 52-61
4: 42-51
5: 0-41
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.502 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.502 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.502 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.502 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.502 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.502 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)
- Bachelorstudium Technische Mathematik
(SKZ: 201, Version: 17W.1)
-
Fach: Informatik
(Wahlfach)
-
13.1 Lehrveranstaltungen aus dem Erweiterungscurriculum "Grundlagen der Informatik" (
0.0h XX / 12.0 ECTS)
- 621.502 Einführung in die Theoretische Informatik (2.0h UE / 4.0 ECTS) Absolvierung im 1., 2., 3., 4., 5., 6. Semester empfohlen
-
13.1 Lehrveranstaltungen aus dem Erweiterungscurriculum "Grundlagen der Informatik" (
0.0h XX / 12.0 ECTS)
-
Fach: Informatik
(Wahlfach)
Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung
- Wintersemester 2024/25
- 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