621.502 (20W) Introduction to Automata Theory, Languages, and Computation
Overview
Due to the COVID-19 pandemic, it may be necessary to make changes to courses and examinations at short notice (e.g. cancellation of attendance-based courses and switching to online examinations).
For further information regarding teaching on campus, please visit: https://www.aau.at/en/corona.
For further information regarding teaching on campus, please visit: https://www.aau.at/en/corona.
- Lecturer
- LV Nummer Südostverbund ING05003UL, ING06002UL
- Course title german Einführung in die Theoretische Informatik
- Type Practical class (continuous assessment course )
- Course model Online course
- Hours per Week 2.0
- ECTS credits 4.0
- Registrations 52 (30 max.)
- Organisational unit
- Language of instruction German
- Course begins on 01.10.2020
- eLearning Go to Moodle course
Time and place
Please note that the currently displayed dates may be subject to change due to COVID-19 measures.
List of events is loading...
Course Information
Intended learning outcomes
Besseres Verstehen der VO-Themen
Teaching methodology including the use of eLearning tools
Im Kurs werde durch wöchentliche Übungseinheiten die Themen aus der Vorlesung vertieft. Neben praktischen Aufgaben werden zudem auch theoretische Aspekte behandelt.
Course content
- Registermaschinen
- Turingmaschinen
- Endliche Automaten
- Reguläre u. kontextfreie Sprachen
- mu-Rekursion
- Unberechenbarkeit
- These von Church
Link to further information
https://www.syssec.at/de/lehre/ws-2020/theoretische-informatik#prExamination information
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.
Examination methodology
Schriftlich und Programmierabgaben
Examination topic(s)
Gesamter Themenbereich des Übung
Assessment criteria / Standards of assessment for examinations
Drei schriftliche Tests sowie drei Programmierabgaben während des Semesters
Grading scheme
Grade / Grade grading schemePosition in the curriculum
- Bachelor-Lehramtsstudium Bachelor Unterrichtsfach Informatik
(SKZ: 414, Version: 15W.2)
-
Subject: Fachspezifische Vertiefungsfächer (AAU)
(Compulsory elective)
-
ING.006 Einführung in die theoretische Informatik (
1.0h PR / 2.0 ECTS)
- 621.502 Introduction to Automata Theory, Languages, and Computation (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)
-
Subject: Fachspezifische Vertiefungsfächer (AAU)
(Compulsory elective)
- Bachelor-Lehramtsstudium Bachelor Unterrichtsfach Informatik
(SKZ: 414, Version: 17W.2)
-
Subject: Fachspezifische Vertiefungsfächer (AAU)
(Compulsory elective)
-
ING.006 Einführung in die theoretische Informatik (
1.0h UE / 2.0 ECTS)
- 621.502 Introduction to Automata Theory, Languages, and Computation (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)
-
Subject: Fachspezifische Vertiefungsfächer (AAU)
(Compulsory elective)
- Bachelor-Lehramtsstudium Bachelor Unterrichtsfach Informatik
(SKZ: 414, Version: 19W.2)
-
Subject: Fachspezifische Vertiefungsfächer (AAU)
(Compulsory elective)
-
ING.005 Einführung in die theoretische Informatik (
2.0h UE / 4.0 ECTS)
- 621.502 Introduction to Automata Theory, Languages, and Computation (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)
-
Subject: Fachspezifische Vertiefungsfächer (AAU)
(Compulsory elective)
- Bachelor's degree programme Applied Informatics
(SKZ: 511, Version: 19W.2)
-
Subject: Mathematik und Theoretische Grundlagen
(Compulsory subject)
-
3.3 Einführung in die Theoretische Informatik (
2.0h UE / 4.0 ECTS)
- 621.502 Introduction to Automata Theory, Languages, and Computation (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)
-
Subject: Mathematik und Theoretische Grundlagen
(Compulsory subject)
- Bachelor's degree programme Applied Informatics
(SKZ: 511, Version: 17W.1)
-
Subject: Mathematik und Theoretische Grundlagen
(Compulsory subject)
-
3.4 Einführung in die Theoretische Informatik (
2.0h UE / 4.0 ECTS)
- 621.502 Introduction to Automata Theory, Languages, and Computation (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)
-
Subject: Mathematik und Theoretische Grundlagen
(Compulsory subject)
- Bachelor's degree programme Applied Informatics
(SKZ: 511, Version: 12W.1)
-
Subject: Mathematics and Theoretical Principles
(Compulsory subject)
-
Einführung in die Theoretische Informatik (
2.0h UE / 4.0 ECTS)
- 621.502 Introduction to Automata Theory, Languages, and Computation (2.0h UE / 4.0 ECTS) Absolvierung im 3. Semester empfohlen
-
Einführung in die Theoretische Informatik (
2.0h UE / 4.0 ECTS)
-
Subject: Mathematics and Theoretical Principles
(Compulsory subject)
- Bachelorstudium Technische Mathematik
(SKZ: 201, Version: 17W.1)
-
Subject: Informatik
(Compulsory elective)
-
13.1 Lehrveranstaltungen aus dem Erweiterungscurriculum "Grundlagen der Informatik" (
0.0h XX / 12.0 ECTS)
- 621.502 Introduction to Automata Theory, Languages, and Computation (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)
-
Subject: Informatik
(Compulsory elective)
- Bachelor's degree programme Technical Mathematics
(SKZ: 201, Version: 12W.2)
-
Subject: Informatik
(Compulsory elective)
-
Einführung in die Theoretische Informatik (
2.0h UE / 4.0 ECTS)
- 621.502 Introduction to Automata Theory, Languages, and Computation (2.0h UE / 4.0 ECTS)
-
Einführung in die Theoretische Informatik (
2.0h UE / 4.0 ECTS)
-
Subject: Informatik
(Compulsory elective)
- Erweiterungscurriculum Grundlagen der Informatik
(Version: 16W.1)
-
Subject: Erweiterung Algorithmen und Datenstrukturen
(Compulsory elective)
-
Einführung in die Theoretische Informatik (
0.0h UE / 4.0 ECTS)
- 621.502 Introduction to Automata Theory, Languages, and Computation (2.0h UE / 4.0 ECTS)
-
Einführung in die Theoretische Informatik (
0.0h UE / 4.0 ECTS)
-
Subject: Erweiterung Algorithmen und Datenstrukturen
(Compulsory elective)
Equivalent courses for counting the examination attempts
- 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