621.509 (16W) 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 5 (25 max.)
- Organisationseinheit
- Unterrichtssprache Deutsch
- mögliche Sprache/n der Leistungserbringung Deutsch
- LV-Beginn 04.10.2016
-
Anmerkungen
Die Lehrveranstaltung findet wöchentlich von 18:00 bis 19:15 (mit Puffer bis 20:00 für allfällige intensivere Diskussionen von Aufgabenlösungen) statt.
Vorbesprechung und Aufnahme in die Lehrveranstaltung: 04. Oktober 2016
Voraussichtliche weitere Termine (vgl. Link zur syssec-Homepage):
11. Oktober 2016: Übungsblatt 1
18. Oktober 2016: Übungsblatt 2
25. Oktober 2016: Übungsblatt 3
08. November 2016: 1. Minitest (25 Minuten!)
15. November 2016: Übungsblatt 4
22. November 2016: Übungsblatt 5
29. November 2016: 2. Minitest (25 Minuten)
06. Dezember 2016: Übungsblatt 6
13. Dezember 2016: Übungsblatt 7
20. Dezember 2016: 3. Minitest (25 Minuten)10. Jänner 2016: Übungsblatt 8
17. Jänner 2016: Übungsblatt 9
24. Jänner 2016: 4. Minitest (25 Minuten)
31. Jänner 2016
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 Studensemester
Literatur
vgl. Vorlesungsskriptum
Link auf weitere Informationen
http://www.syssec.at/eti16Prüfungsinformationen
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)
- 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 2017/18
- 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)