621.509 (17W) Einführung in die Theoretische Informatik (für Lehramtsstudierende)

Wintersemester 2017/18

Anmeldefrist abgelaufen.

Erster Termin der LV
03.10.2017 16:00 - 16:45 , L.1.0.07
... keine weiteren Termine bekannt

Ü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-Anrechungspunkte
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.


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

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#pr

Intendierte Lernergebnisse

Like the corresponding lecture, this course aims at providing basic knowledge about automata theory, languages and computation.

Lehrmethodik

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/eti17

Prü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/Grade Benotungsschema

Position 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
  • 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
  • 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)

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)