621.509 (12W) Introduction to Automata Theory, Languages, and Computation (for student teachers)
Overview
- Lecturer
- Course title german Einführung in die Theoretische Informatik (für Lehramtsstudierende)
- Type Practical class (continuous assessment course )
- Hours per Week 1.0
- ECTS credits 1.0
- Registrations 9 (25 max.)
- Organisational unit
- Language of instruction German
- Course begins on 01.10.2012
Time and place
List of events is loading...
Course Information
Teaching methodology including the use of eLearning tools
Präsentation und Diskussion von ÜbungsaufgabenCourse content
Behandlung von Übungsbeispielen zur Vorlesung "Einführung in die Theoretische Informatik"Topics
- Registermaschinen
- Turingmaschinen
- endliche Automaten
- Kellerautomaten
- Grammatiken und Chomsky-Hierarchie
- Berechenbarkeit, Akzeptierbarkeit, Entscheidbarkeit
Teaching objective
Ziel der begleitenden Vorlesung ist es, Standardwissen ueber Grundlagen der Theoretischen Informatik zu vermitteln. Im Kontext der "Automatentheorie und formalen Sprachen" wird die Chomsky-Hierarchie in ihrer Bedeutung erkannt werden. Im Umfeld der Berechenbarkeit wird die Plausibilitaet der These von Church reflektiert. Sowohl die Vorlesung als auch das begleitende Praktikum tragen zur Erkenntnis bei, dass theoretische Aspekte der Informatik bei anwendungsorientierten Problemen von ausschlaggebender Bedeutung und unverzichtbares Hilfsmittel sind.Prior knowledge expected
mathematische und informatische Grundlagen der ersten beiden StudensemesterLiterature
vgl. VO-SkriptumLink to further information
http://www.syssec.at/eti13/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 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 (
1.0h PR / ECTS)
- 621.509 Introduction to Automata Theory, Languages, and Computation (for student teachers) (1.0h PR / 1.0 ECTS)
-
Einführung in die theoretische Informatik (
1.0h PR / ECTS)
-
Subject: Mathematik und Theoretische Informatik (LI 1.2)
(Compulsory subject)
-
Stage one
Equivalent courses for counting the examination attempts
-
Wintersemester 2017/18
- 621.509 PR Einführung in die Theoretische Informatik (für Lehramtsstudierende) (1.0h / 2.0ECTS)
-
Wintersemester 2016/17
- 621.509 PR Einführung in die Theoretische Informatik (für Lehramtsstudierende) (1.0h / 2.0ECTS)
-
Wintersemester 2015/16
- 621.509 PR Einführung in die Theoretische Informatik (für Lehramtsstudierende) (1.0h / 1.0ECTS)
-
Wintersemester 2014/15
- 621.509 PR Einführung in die Theoretische Informatik (für Lehramtsstudierende) (1.0h / 1.0ECTS)
-
Wintersemester 2013/14
- 621.509 PR Einführung in die Theoretische Informatik (für Lehramtsstudierende) (1.0h / 1.0ECTS)
-
Wintersemester 2011/12
- 621.509 PR Einführung in die Theoretische Informatik (für Lehramtsstudierende) (1.0h / 1.0ECTS)
-
Wintersemester 2010/11
- 621.509 PR Einführung in die Theoretische Informatik (für Lehramtsstudierende) (1.0h / 1.0ECTS)
-
Wintersemester 2009/10
- 621.509 PR Einführung in die Theoretische Informatik (für Lehramtsstudierende) (1.0h / 1.0ECTS)