621.509 (17W) Einführung in die Theoretische Informatik (für Lehramtsstudierende)
Überblick
- Lehrende/r
- LV Nummer Südostverbund ING06001UL
- LV-Titel englisch Introduction to Automata Theory, Languages, and Computation (for student teachers)
- LV-Art Praktikum (prüfungsimmanente LV )
- Semesterstunde/n 1.0
- ECTS-Anrechnungspunkte 2.0
- Anmeldungen 4 (25 max.)
- Organisationseinheit
- Unterrichtssprache Deutsch
- mögliche Sprache/n der Leistungserbringung Deutsch
- LV-Beginn 03.10.2017
-
Anmerkungen
Vorbesprechung, Aufnahme und Bekanntgabe der weiteren Termine am 03. 10. von 16:00 bis 16:45 Uhr am Institut für Informatikdidaktik, Lakeside Park, Gebäude B01, EG.
Zeit und Ort
LV-Beschreibung
Intendierte Lernergebnisse
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.
Lehrmethodik inkl. Einsatz von eLearning-Tools
Besprechung von durch die Studierenden vorbereiteten Übungsaufgaben
Inhalt/e
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
Literatur
vgl. Vorlesungsskriptum
Link auf weitere Informationen
www.syssec.at/de/lehre/ws-2018/theoretische-informatik#prIntendierte Lernergebnisse
Like the corresponding lecture, this course aims at providing basic knowledge about automata theory, languages and computation.
Lehrmethodik inkl. Einsatz von eLearning-Tools
Students' presentation of prepared excercises concerning the topics presented in the corresponding lecture.
Inhalt/e
register addressing machines, Turing machines, finite automata, stack automata, Chomsky hierarchy
Erwartete Vorkenntnisse
mathematical and informatical basics of the first year of study
Literatur
...can be found within the script of the corresponding lecture
Link auf weitere Informationen
http://www.syssec.at/eti17Prüfungsinformationen
Prüfungsmethode/n
schriftlich - 3 Minitests im Laufe der Lehrveranstaltung
Prüfungsinhalt/e
Die Inhalte der drei Minitests entsprechen den jeweils vor (zwischen) den Minitests behandelten Aufgaben der Praktikumsübungszettel und stellen Variationen derselben dar.
Beurteilungskriterien/-maßstäbe
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
Prüfungsmethode/n
3 written "mini-test" throughout the course
Prüfungsinhalt/e
Topics of excercises discussed before (in between) the mini-tests.
Beurteilungskriterien/-maßstäbe
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)
Beurteilungsschema
Note BenotungsschemaPosition im Curriculum
- Bachelor-Lehramtsstudium Bachelor Unterrichtsfach Informatik
(SKZ: 414, Version: 15W.2)
-
Fach: Fachspezifische Vertiefungsfächer (AAU)
(Wahlfach)
-
ING.006 Einführung in die theoretische Informatik (
1.0h PR / 2.0 ECTS)
- 621.509 Einführung in die Theoretische Informatik (für Lehramtsstudierende) (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)
-
Fach: Fachspezifische Vertiefungsfächer (AAU)
(Wahlfach)
- Bachelor-Lehramtsstudium Bachelor Unterrichtsfach Informatik
(SKZ: 414, Version: 17W.2)
-
Fach: Fachspezifische Vertiefungsfächer (AAU)
(Wahlfach)
-
ING.006 Einführung in die theoretische Informatik (
1.0h UE / 2.0 ECTS)
- 621.509 Einführung in die Theoretische Informatik (für Lehramtsstudierende) (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)
-
Fach: Fachspezifische Vertiefungsfächer (AAU)
(Wahlfach)
- Diplom-Lehramtsstudium Unterrichtsfach Informatik und Informatikmanagement
(SKZ: 884, Version: 04W.7)
-
1.Abschnitt
-
Fach: Mathematik und Theoretische Informatik (LI 1.2)
(Pflichtfach)
-
Einführung in die theoretische Informatik (
1.0h PR / ECTS)
- 621.509 Einführung in die Theoretische Informatik (für Lehramtsstudierende) (1.0h PR / 2.0 ECTS)
-
Einführung in die theoretische Informatik (
1.0h PR / ECTS)
-
Fach: Mathematik und Theoretische Informatik (LI 1.2)
(Pflichtfach)
-
1.Abschnitt
Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung
-
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)