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

Wintersemester 2022/23

Anmeldefrist abgelaufen.

Erster Termin der LV
05.10.2022 18:00 - 20:00 HS 4 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 ING05003UL, ING06002UL
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 7 (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.

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 zu je 15 Punkten.

Note: Punkte
1: 72-90
2: 62-71
3: 52-61
4: 42-51
5: 0-41

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.502 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.502 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.502 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.502 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.502 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.502 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.502 Einführung in die Theoretische Informatik (2.0h UE / 4.0 ECTS)
          Absolvierung im 1., 2., 3., 4., 5., 6. 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.503 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)