621.509 (18W) Einführung in die theoretische Informatik (für das Lehramt)

Wintersemester 2018/19

Anmeldefrist abgelaufen.

Erster Termin der LV
02.10.2018 18:00 - 19:00 , L1.0.07 (Kreativraum)
... keine weiteren Termine bekannt

Überblick

Diese Lehrveranstaltung wurde storniert
LV Nummer Südostverbund
ING06001UL
LV-Titel englisch
Introduction to Automata Theory, Languages, and Computation (for student teachers)
LV-Art
Übung (prüfungsimmanente LV )
Semesterstunde/n
1.0
ECTS-Anrechungspunkte
2.0
Anmeldungen
1 (10 max.)
Organisationseinheit
Unterrichtssprache
Deutsch
LV-Beginn
02.10.2018
Anmerkungen

voraussichtliche Lehrveranstaltungstermine siehe u.a.

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

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

Prüfungsinformationen

Prüfungsmethode/n

schriftlich - 4 Minitests im Laufe der Lehrveranstaltung

Prüfungsinhalt/e

Die Inhalte der vier 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

4 written "mini-tests" 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 das Lehramt) (1.0h UE / 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 das Lehramt) (1.0h UE / 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 ( 2.0h PR / 4.0 ECTS)
          • 621.509 Einführung in die theoretische Informatik (für das Lehramt) (1.0h UE / 2.0 ECTS)

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