621.509 (17W) Introduction to Automata Theory, Languages, and Computation (for student teachers)

Wintersemester 2017/18

Registration deadline has expired.

First course session
03.10.2017 16:00 - 16:45 L.1.0.07 Off Campus
... no further dates known

Overview

Lecturer
LV Nummer Südostverbund ING06001UL
Course title german Einführung in die Theoretische Informatik (für Lehramtsstudierende)
Type Practical class (continuous assessment course )
Hours per Week 1.0
ECTS credits 2.0
Registrations 4 (25 max.)
Organisational unit
Language of instruction German
possible language(s) of the assessment German
Course begins on 03.10.2017

Time and place

List of events is loading...

Course Information

Intended learning outcomes

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.

Teaching methodology including the use of eLearning tools

Besprechung von durch die Studierenden vorbereiteten Übungsaufgaben

Course content

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                   


/

Literature

vgl. Vorlesungsskriptum

Link to further information

www.syssec.at/de/lehre/ws-2018/theoretische-informatik#pr

Intended learning outcomes

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

Teaching methodology including the use of eLearning tools

Students' presentation of prepared excercises concerning the topics presented in the corresponding lecture.

Course content

register addressing machines, Turing machines, finite automata, stack automata, Chomsky hierarchy

Prior knowledge expected

mathematical and informatical basics of the first year of study

Literature

...can be found within the script of the corresponding lecture

Link to further information

http://www.syssec.at/eti17

Examination information

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.

Examination methodology

schriftlich - 3 Minitests im Laufe der Lehrveranstaltung

Examination topic(s)

Die Inhalte der drei Minitests entsprechen den jeweils vor (zwischen) den Minitests behandelten Aufgaben der Praktikumsübungszettel und stellen Variationen derselben dar.

Assessment criteria / Standards of assessment for examinations

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

Examination methodology

3 written "mini-test" throughout the course

Examination topic(s)

Topics of excercises discussed before (in between) the mini-tests.

Assessment criteria / Standards of assessment for examinations

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)

Grading scheme

Grade / Grade grading scheme

Position in the curriculum

  • Bachelor-Lehramtsstudium Bachelor Unterrichtsfach Informatik (SKZ: 414, Version: 15W.2)
    • Subject: Fachspezifische Vertiefungsfächer (AAU) (Compulsory elective)
      • ING.006 Einführung in die theoretische Informatik ( 1.0h PR / 2.0 ECTS)
        • 621.509 Introduction to Automata Theory, Languages, and Computation (for student teachers) (1.0h PR / 2.0 ECTS)
          Absolvierung im 7. Semester empfohlen
  • Bachelor-Lehramtsstudium Bachelor Unterrichtsfach Informatik (SKZ: 414, Version: 17W.2)
    • Subject: Fachspezifische Vertiefungsfächer (AAU) (Compulsory elective)
      • ING.006 Einführung in die theoretische Informatik ( 1.0h UE / 2.0 ECTS)
        • 621.509 Introduction to Automata Theory, Languages, and Computation (for student teachers) (1.0h PR / 2.0 ECTS)
          Absolvierung im 7. Semester empfohlen
  • Teacher training programme Computer Sciences and Computer Sciences Management (Secondary School Teacher Accreditation) (SKZ: 884, Version: 04W.7)
    • Stage one
      • Subject: Mathematik und Theoretische Informatik (LI 1.2) (Compulsory subject)
        • Einführung in die theoretische Informatik ( 1.0h PR / ECTS)
          • 621.509 Introduction to Automata Theory, Languages, and Computation (for student teachers) (1.0h PR / 2.0 ECTS)

Equivalent courses for counting the examination attempts

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)