621.502 (20W) 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 Onlinelehrveranstaltung
- Semesterstunde/n 2.0
- ECTS-Anrechnungspunkte 4.0
- Anmeldungen 52 (30 max.)
- Organisationseinheit
- Unterrichtssprache Deutsch
- LV-Beginn 01.10.2020
- 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
Besseres Verstehen der VO-Themen
Lehrmethodik inkl. Einsatz von eLearning-Tools
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
- Reguläre u. kontextfreie Sprachen
- mu-Rekursion
- Unberechenbarkeit
- These von Church
Link auf weitere Informationen
https://www.syssec.at/de/lehre/ws-2020/theoretische-informatik#prPrü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
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)
- Bachelorstudium Technische Mathematik
(SKZ: 201, Version: 12W.2)
-
Fach: Informatik
(Wahlfach)
-
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)
-
Einführung in die Theoretische Informatik (
2.0h UE / 4.0 ECTS)
-
Fach: Informatik
(Wahlfach)
- Erweiterungscurriculum Grundlagen der Informatik
(Version: 16W.1)
-
Fach: Erweiterung Algorithmen und Datenstrukturen
(Wahlfach)
-
Einführung in die Theoretische Informatik (
0.0h UE / 4.0 ECTS)
- 621.502 Einführung in die Theoretische Informatik (2.0h UE / 4.0 ECTS)
-
Einführung in die Theoretische Informatik (
0.0h UE / 4.0 ECTS)
-
Fach: Erweiterung Algorithmen und Datenstrukturen
(Wahlfach)
Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung
- Wintersemester 2024/25
- Wintersemester 2023/24
- Wintersemester 2022/23
- Wintersemester 2021/22
-
Wintersemester 2020/21
- 621.501 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
- 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