621.503 (22W) Einführung in die Theoretische Informatik

Wintersemester 2022/23

Anmeldefrist abgelaufen.

Erster Termin der LV
05.10.2022 12:00 - 14:00 N.2.35 On Campus
... keine weiteren Termine bekannt

Überblick

Bedingt durch die COVID-19-Pandemie können kurzfristige Änderungen bei Lehrveranstaltungen und Prüfungen (z.B. Absage von Präsenz-Lehreveranstaltungen und Umstellung auf Online-Prüfungen) erforderlich sein.

Weitere Informationen zum Lehrbetrieb vor Ort finden Sie unter: https://www.aau.at/corona.
Lehrende/r
LV Nummer Südostverbund ING05004UL, ING06003UL
LV-Titel englisch Introduction to Automata Theory, Languages, and Computation
LV-Art Übung (prüfungsimmanente LV )
LV-Modell Präsenzlehrveranstaltung
Semesterstunde/n 2.0
ECTS-Anrechnungspunkte 4.0
Anmeldungen 25 (30 max.)
Organisationseinheit
Unterrichtssprache Deutsch
LV-Beginn 05.10.2022
eLearning zum Moodle-Kurs

Zeit und Ort

Beachten Sie bitte, dass sich aufgrund von COVID-19-Maßnahmen die derzeit angezeigten Termine noch ändern können.
Liste der Termine wird geladen...

LV-Beschreibung

Intendierte Lernergebnisse

Vertiefung und Verständnis 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
  • Kontextfreie Sprachen
  • Die These von Church
  • Unberechenbarkeit
  • Einführung in die Komplexitätstheorie

Erwartete Vorkenntnisse

Mathematische Grundkenntnisse (Mengen, Sprachen, ..., einfache Beweistechniken).

Curriculare Anmeldevoraussetzungen

Keine.

Literatur

Siehe VO.

Link auf weitere Informationen

https://campus.aau.at/studium/course/109765

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.503 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.503 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.2)
    • Fach: Fachspezifische Vertiefungsfächer (AAU) (Wahlfach)
      • ING.005 Einführung in die theoretische Informatik ( 2.0h UE / 4.0 ECTS)
        • 621.503 Einführung in die Theoretische Informatik (2.0h UE / 4.0 ECTS)
          Absolvierung im 7. Semester empfohlen
  • Bachelorstudium Angewandte Informatik (SKZ: 511, Version: 19W.2)
    • Fach: Mathematik und Theoretische Grundlagen (Pflichtfach)
      • 3.3 Einführung in die Theoretische Informatik ( 2.0h UE / 4.0 ECTS)
        • 621.503 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.503 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.503 Einführung in die Theoretische Informatik (2.0h UE / 4.0 ECTS)
          Absolvierung im 3. Semester empfohlen

Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung

Wintersemester 2023/24
  • 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 2022/23
  • 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 2021/22
  • 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 2020/21
  • 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 2019/20
  • 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 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)