621.503 (22W) Introduction to Automata Theory, Languages, and Computation

Wintersemester 2022/23

Registration deadline has expired.

First course session
05.10.2022 12:00 - 14:00 N.2.35 On Campus
... no further dates known

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.
Lecturer
LV Nummer Südostverbund ING05004UL, ING06003UL
Course title german Einführung in die Theoretische Informatik
Type Practical class (continuous assessment course )
Course model Attendance-based course
Hours per Week 2.0
ECTS credits 4.0
Registrations 25 (30 max.)
Organisational unit
Language of instruction German
Course begins on 05.10.2022
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

Vertiefung und Verständnis der VO-Themen.

Teaching methodology

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
  • Kontextfreie Sprachen
  • Die These von Church
  • Unberechenbarkeit
  • Einführung in die Komplexitätstheorie

Prior knowledge expected

Mathematische Grundkenntnisse (Mengen, Sprachen, ..., einfache Beweistechniken).

Curricular registration requirements

Keine.

Literature

Siehe VO.

Link to further information

https://campus.aau.at/studium/course/109765

Examination 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.

Grading scheme

Grade / Grade grading scheme

Position 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.503 Introduction to Automata Theory, Languages, and Computation (2.0h UE / 4.0 ECTS)
          Absolvierung im 7. Semester empfohlen
  • 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.503 Introduction to Automata Theory, Languages, and Computation (2.0h UE / 4.0 ECTS)
          Absolvierung im 7. Semester empfohlen
  • 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.503 Introduction to Automata Theory, Languages, and Computation (2.0h UE / 4.0 ECTS)
          Absolvierung im 7. Semester empfohlen
  • 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.503 Introduction to Automata Theory, Languages, and Computation (2.0h UE / 4.0 ECTS)
          Absolvierung im 3. Semester empfohlen
  • 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.503 Introduction to Automata Theory, Languages, and Computation (2.0h UE / 4.0 ECTS)
          Absolvierung im 3. Semester empfohlen
  • 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.503 Introduction to Automata Theory, Languages, and Computation (2.0h UE / 4.0 ECTS)
          Absolvierung im 3. Semester empfohlen

Equivalent courses for counting the examination attempts

Wintersemester 2023/24
  • 621.501 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.503 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2022/23
  • 621.501 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2021/22
  • 621.501 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2020/21
  • 621.501 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2019/20
  • 621.501 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2018/19
  • 621.501 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2017/18
  • 621.501 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2016/17
  • 621.501 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.503 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2015/16
  • 621.501 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2014/15
  • 621.501 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2013/14
  • 621.501 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2012/13
  • 621.501 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2011/12
  • 621.501 PR Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 PR Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2010/11
  • 621.501 PR Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 PR Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2009/10
  • 621.501 PR Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 PR Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)