621.509 (17W) Introduction to Automata Theory, Languages, and Computation (for student teachers)
Overview
- Lecturer
- LV Nummer Südostverbund ING06001UL
- 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 2.0
- Registrations 4 (25 max.)
- Organisational unit
- Language of instruction German
- possible language(s) of the assessment German
- Course begins on 03.10.2017
Time and place
Course Information
Intended learning outcomes
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 Praktikum tragen zur Erkenntnis bei, dass theoretische Aspekte der Informatik bei anwendungsorientierten Problemen von ausschlaggebender Bedeutung und unverzichtbares Hilfsmittel sind.
Teaching methodology including the use of eLearning tools
Besprechung von durch die Studierenden vorbereiteten Übungsaufgaben
Course content
Behandlung von Übungsbeispielen zur Vorlesung "Einführung in die Theoretische Informatik"
Themen
- Registermaschinen
- Turingmaschinen
- endliche Automaten
- Kellerautomaten
- Grammatiken und Chomsky-Hierarchie
- Berechenbarkeit, Akzeptierbarkeit, Entscheidbarkeit
Voraussetzungen
mathematische und informatische Grundlagen der ersten beiden Studiensemester
Literature
vgl. Vorlesungsskriptum
Link to further information
www.syssec.at/de/lehre/ws-2018/theoretische-informatik#prIntended learning outcomes
Like the corresponding lecture, this course aims at providing basic knowledge about automata theory, languages and computation.
Teaching methodology including the use of eLearning tools
Students' presentation of prepared excercises concerning the topics presented in the corresponding lecture.
Course content
register addressing machines, Turing machines, finite automata, stack automata, Chomsky hierarchy
Prior knowledge expected
mathematical and informatical basics of the first year of study
Literature
...can be found within the script of the corresponding lecture
Link to further information
http://www.syssec.at/eti17Examination information
Examination methodology
schriftlich - 3 Minitests im Laufe der Lehrveranstaltung
Examination topic(s)
Die Inhalte der drei Minitests entsprechen den jeweils vor (zwischen) den Minitests behandelten Aufgaben der Praktikumsübungszettel und stellen Variationen derselben dar.
Assessment criteria / Standards of assessment for examinations
Für eine positive Beurteilung darf höchstens eine Lehrveranstaltung unkompensiert versäumt werden; zudem ist für eine positive Beurteilung das Erreichen von mindestens 41 Prozent der Punktesumme aller Minitests erforderlich.
Minitest-basierter Beurteilungsschlüssel:
0 bis 40 Prozent: Nicht Genügend
41 bis 55 Prozent: Genügend
56 bis 70 Prozent: Befriedigend
71 bis 85 Prozent: Gut
85 bis 100 Prozent: Sehr Gut
Examination methodology
3 written "mini-test" throughout the course
Examination topic(s)
Topics of excercises discussed before (in between) the mini-tests.
Assessment criteria / Standards of assessment for examinations
For positive grading the maximum of one course date can be missed. Furthermore, at least 41 percent of the sum of points from all mini-tests has to be reached.
Mini-test based grading:
0 to 40 percent: "not sufficient" (5)
41 to 55 pecent: "sufficient" (4)
56 to 70 percent: "satisfactory" (3)
71 to 85 percent: "good" (2)
86 to 100 percent: "very good" (1)
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.509 Introduction to Automata Theory, Languages, and Computation (for student teachers) (1.0h PR / 2.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.509 Introduction to Automata Theory, Languages, and Computation (for student teachers) (1.0h PR / 2.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)
- 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 / 2.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 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 2012/13
- 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)