621.502 (20W) Introduction to Automata Theory, Languages, and Computation

Wintersemester 2020/21

Registration deadline has expired.

First course session
01.10.2020 08:00 - 10:00 online Off 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

Dipl.Ing. Dr. Raphael Wigoutschnigg

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

Institut für Artificial Intelligence und Cybersecurity

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

German

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#pr

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.

German

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

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

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)

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)

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)
621.503 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)

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)