621.509 (15W) 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 1.0
- Anmeldungen 7 (25 max.)
- Organisationseinheit
- Unterrichtssprache Deutsch
- LV-Beginn 06.10.2015
-
Anmerkungen
Diese Lehrveranstaltung ist speziell fuer Studierende des Unterrichtsfaches Informatik/Informatikmanagement gedacht und wird (in der Regel) vierzehntaegig (jeweils Dienstag, 18:00 bis 19:30 im Seminarraum E.2.69) abgehalten.
Vorbesprechung und Aufnahme: 06. Oktober 2015, 18:00 bis 18:30
...weitere Termine
Übungsblätter 1 und 2: 20. Oktober 2015, 18:00 bis 19:30
Übungsblätter 3 und 4: 03. November 2015, 18:00 bis 19:30
Übungsblätter 5 und 6: 17. November 2015, 18:00 bis 19:30
Fragestunde für die Zwischenklausur: 17. November 2015, 19:30 bis 20:15
Zwischenklausur: 27. November 2015
Übungsbatt 7: 01. Dezember 2015, 18:00 bis 19:30
Übungsblätter 8 und 9: ERSATZTERMIN NOTWENDIG
15. Dezember 2015, 16:00 bis 18:00 in I.0.08
Übungsblatt 10 und 11: 19. Jänner 2016, 18:00 bis 19:30
Fragestunde für die Endklausur: 19. Jänner 2016, 19:30 bis 20:15
Endklausur: 29. Jänner 2016
Zeit und Ort
Liste der Termine wird geladen...
LV-Beschreibung
Lehrmethodik inkl. Einsatz von eLearning-Tools
Präsentation und Diskussion von ÜbungsaufgabenInhalt/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
Lehrziel
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.Erwartete Vorkenntnisse
mathematische und informatische Grundlagen der ersten beiden StudensemesterLiteratur
vgl. VO-SkriptumLink auf weitere Informationen
http://www.syssec.at/eti15/Prüfungsinformationen
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.
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 / 1.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 2016/17
- 621.509 PR Einführung in die Theoretische Informatik (für Lehramtsstudierende) (1.0h / 2.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)