621.501 (19W) Einführung in die Theoretische Informatik

Wintersemester 2019/20

Anmeldefrist abgelaufen.

Erster Termin der LV
01.10.2019 14:00 - 16:00 , HS 9
Nächster Termin:
19.11.2019 14:30 - 16:00 , N.1.44

Überblick

Lehrende/r
LV Nummer Südostverbund
ING05002UL, ING06001UL
LV-Titel englisch
Introduction to Automata Theory, Languages, and Computation
LV-Art
Übung (prüfungsimmanente LV )
Semesterstunde/n
2.0
ECTS-Anrechungspunkte
4.0
Anmeldungen
46 (30 max.)
Organisationseinheit
Unterrichtssprache
Deutsch
LV-Beginn
01.10.2019
eLearning
zum Moodle-Kurs

LV-Beschreibung

Intendierte Lernergebnisse

Besseres Verstehen der VO-Themen

Lehrmethodik

Im Kurs werde durch wöchentliche Übungseinheiten die Themen aus der Vorlesung vertieft. Neben praktischen Aufgaben werden zudem auch theoretische Aspekte behandelt.

Inhalt/e

  • Registermaschinen
  • Turingmaschinen
  • Endliche Automaten
  • Reguläre u. kontextfreie Sprachen
  • mu-Rekursion
  • Unberechenbarkeit
  • These von Church

Link auf weitere Informationen

https://www.syssec.at/de/lehre/ws-2019/theoretische-informatik#pr

Prüfungsinformationen

Prüfungsmethode/n

Schriftlich und Programmierabgaben

Prüfungsinhalt/e

Gesamter Themenbereich des Übung

Beurteilungskriterien/-maßstäbe

Drei schriftliche Tests sowie drei Programmierabgaben während des Semesters

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.501 Einführung in die Theoretische Informatik (2.0h UE / 4.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.501 Einführung in die Theoretische Informatik (2.0h UE / 4.0 ECTS)
          Absolvierung im 7. Semester empfohlen
  • Bachelor-Lehramtsstudium Bachelor Unterrichtsfach Informatik (SKZ: 414, Version: 19W.1)
    • Fach: Fachspezifische Vertiefungsfächer (AAU) (Wahlfach)
      • ING.005 Einführung in die theoretische Informatik ( 2.0h UE / 4.0 ECTS)
        • 621.501 Einführung in die Theoretische Informatik (2.0h UE / 4.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 / 1.0 ECTS)
          • 621.501 Einführung in die Theoretische Informatik (2.0h UE / 4.0 ECTS)
  • Bachelorstudium Angewandte Informatik (SKZ: 511, Version: 19W.1)
    • Fach: Mathematik und Theoretische Grundlagen (Pflichtfach)
      • 3.3 Einführung in die Theoretische Informatik ( 2.0h UE / 4.0 ECTS)
        • 621.501 Einführung in die Theoretische Informatik (2.0h UE / 4.0 ECTS)
          Absolvierung im 3. Semester empfohlen
  • Bachelorstudium Angewandte Informatik (SKZ: 511, Version: 17W.1)
    • Fach: Mathematik und Theoretische Grundlagen (Pflichtfach)
      • 3.4 Einführung in die Theoretische Informatik ( 2.0h UE / 4.0 ECTS)
        • 621.501 Einführung in die Theoretische Informatik (2.0h UE / 4.0 ECTS)
          Absolvierung im 3. Semester empfohlen
  • Bachelorstudium Angewandte Informatik (SKZ: 511, Version: 12W.1)
    • Fach: Mathematik und Theoretische Grundlagen (Pflichtfach)
      • Einführung in die Theoretische Informatik ( 2.0h UE / 4.0 ECTS)
        • 621.501 Einführung in die Theoretische Informatik (2.0h UE / 4.0 ECTS)
          Absolvierung im 3. Semester empfohlen
  • Bachelorstudium Technische Mathematik (SKZ: 201, Version: 17W.1)
    • Fach: Informatik (Wahlfach)
      • 13.1 Lehrveranstaltungen aus dem Erweiterungscurriculum "Grundlagen der Informatik" ( 0.0h XX / 12.0 ECTS)
        • 621.501 Einführung in die Theoretische Informatik (2.0h UE / 4.0 ECTS)
          Absolvierung im 1., 2., 3., 4., 5., 6. Semester empfohlen
  • Bachelorstudium Technische Mathematik (SKZ: 201, Version: 12W.2)
    • Fach: Informatik (Wahlfach)
      • Einführung in die Theoretische Informatik ( 2.0h UE / 4.0 ECTS)
        • 621.501 Einführung in die Theoretische Informatik (2.0h UE / 4.0 ECTS)
  • Erweiterungscurriculum Grundlagen der Informatik (Version: 16W.1)
    • Fach: Erweiterung Algorithmen und Datenstrukturen (Wahlfach)
      • Einführung in die Theoretische Informatik ( 0.0h UE / 4.0 ECTS)
        • 621.501 Einführung in die Theoretische Informatik (2.0h UE / 4.0 ECTS)

Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung

Wintersemester 2019/20
  • 621.502 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2018/19
  • 621.501 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2017/18
  • 621.501 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2016/17
  • 621.501 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.503 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2015/16
  • 621.501 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2014/15
  • 621.501 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2013/14
  • 621.501 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2012/13
  • 621.501 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2011/12
  • 621.501 PR Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 PR Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2010/11
  • 621.501 PR Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 PR Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
Wintersemester 2009/10
  • 621.501 PR Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
  • 621.502 PR Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)