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

Wintersemester 2016/17

Anmeldefrist abgelaufen.

Erster Termin der LV
04.10.2016 18:00 - 20:00 S.2.69 - Bitmovin On Campus
... 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-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

Liste der Termine wird geladen...

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

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

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)