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

Wintersemester 2020/21

Anmeldefrist abgelaufen.

Erster Termin der LV
02.10.2020 08:00 - 10:00 online Off 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

Dipl.Ing. Dr. Raphael Wigoutschnigg

LV Nummer Südostverbund

ING05002UL, ING06001UL

LV-Titel englisch

Introduction to Automata Theory, Languages, and Computation

LV-Art

Übung (prüfungsimmanente LV )

LV-Modell

Onlinelehrveranstaltung

Semesterstunde/n

2.0

ECTS-Anrechnungspunkte

4.0

Anmeldungen

43 (30 max.)

Organisationseinheit

Institut für Artificial Intelligence und Cybersecurity

Unterrichtssprache

Deutsch

LV-Beginn

02.10.2020

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

Deutsch

Intendierte Lernergebnisse

Besseres Verstehen der VO-Themen

Lehrmethodik inkl. Einsatz von eLearning-Tools

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-2020/theoretische-informatik#pr

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.

Deutsch

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 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.2)
- 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

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