621.500 (14W) Introduction to Automata Theory, Languages, and Computation
Overview
- Lecturer
- Course title german Einführung in die Theoretische Informatik
- Type Lecture
- Hours per Week 2.0
- ECTS credits 2.0
- Registrations 70
- Organisational unit
- Language of instruction German
- Course begins on 07.10.2014
Time and place
List of events is loading...
Course Information
Course content
Topics
- Motivation und Präliminarien
- Registermaschinen
- Einband Turingmaschinen
- Deterministische und Nichtdeterministische Endliche Automaten
- Reguläre Sprachen
- Mehrband Turingmaschinen
- Nichtdeterministische Turingmaschinen
- Kontextfreie Sprachen
- Universelle Turingmaschinen
- Die These von Church
- (Primitiv) rekursive Funktionen
- Gödelisierung
- Entscheidbarkeit und Semi-Entscheidbarkeit
- Unberechenbarkeit
Link to further information
http://www.syssec.at/eti14Examination 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.
Assessment criteria / Standards of assessment for examinations
siehe http://www.syssec.at/247Grading scheme
Grade / Grade grading schemePosition in the curriculum
- Teacher training programme Computer Sciences and Computer Sciences Management (Secondary School Teacher Accreditation)
(SKZ: 884, Version: 04W.7)
-
Stage one
-
Subject: Mathematik und Theoretische Informatik (LI 1.2)
(Compulsory subject)
-
Einführung in die Theoretische Informatik (
2.0h VO / 2.0 ECTS)
- 621.500 Introduction to Automata Theory, Languages, and Computation (2.0h VO / 2.0 ECTS)
-
Einführung in die Theoretische Informatik (
2.0h VO / 2.0 ECTS)
-
Subject: Mathematik und Theoretische Informatik (LI 1.2)
(Compulsory subject)
-
Stage one
- 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 VO / 2.0 ECTS)
- 621.500 Introduction to Automata Theory, Languages, and Computation (2.0h VO / 2.0 ECTS) Absolvierung im 3. Semester empfohlen
-
Einführung in die Theoretische Informatik (
2.0h VO / 2.0 ECTS)
-
Subject: Mathematics and Theoretical Principles
(Compulsory subject)
- Bachelorstudium Informatik
(SKZ: 521, Version: 09W.3)
-
Subject: Mathematik und theoretische Grundlagen
(Compulsory subject)
-
Einführung in die Theoretische Informatik (
2.0h VO / 2.0 ECTS)
- 621.500 Introduction to Automata Theory, Languages, and Computation (2.0h VO / 2.0 ECTS)
-
Einführung in die Theoretische Informatik (
2.0h VO / 2.0 ECTS)
-
Subject: Mathematik und theoretische Grundlagen
(Compulsory subject)
- Bachelor's degree programme Informatics
(SKZ: 521, Version: 03W.1)
-
Subject: Mathematik und theoretische Grundlagen
(Compulsory subject)
-
Einführung in die Theoretische Informatik (
2.0h VO / 2.0 ECTS)
- 621.500 Introduction to Automata Theory, Languages, and Computation (2.0h VO / 2.0 ECTS)
-
Einführung in die Theoretische Informatik (
2.0h VO / 2.0 ECTS)
-
Subject: Mathematik und theoretische Grundlagen
(Compulsory subject)
- Diploma programme Informatics
(SKZ: 880, Version: 02W)
-
Stage two
-
Subject: Mathematik und theoretische Grundlagen
(Compulsory subject)
-
Einführung in die Theoretische Informatik (
3.0h VO / 3.0 ECTS)
- 621.500 Introduction to Automata Theory, Languages, and Computation (2.0h VO / 2.0 ECTS)
-
Einführung in die Theoretische Informatik (
3.0h VO / 3.0 ECTS)
-
Subject: Mathematik und theoretische Grundlagen
(Compulsory subject)
-
Stage two
- Bachelor's degree programme Technical Mathematics
(SKZ: 201, Version: 12W.2)
-
Subject: Informatik
(Compulsory elective)
-
Einführung in die Theoretische Informatik (
2.0h VO / 2.0 ECTS)
- 621.500 Introduction to Automata Theory, Languages, and Computation (2.0h VO / 2.0 ECTS)
-
Einführung in die Theoretische Informatik (
2.0h VO / 2.0 ECTS)
-
Subject: Informatik
(Compulsory elective)
Equivalent courses for counting the examination attempts
-
Wintersemester 2023/24
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2022/23
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2021/22
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2020/21
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2019/20
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2018/19
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2017/18
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2016/17
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2015/16
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2013/14
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2012/13
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2011/12
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2010/11
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2009/10
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2008/09
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)