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

zu Moodle

Wintersemester 2019/20

Anmeldefrist abgelaufen.

Erster Termin der LV
03.10.2019 10:00 - 12:00 On Campus

... keine weiteren Termine bekannt

Überblick

Lehrende/r

Dipl.Ing. Dr. Raphael Wigoutschnigg

LV Nummer Südostverbund

ING05003UL, ING06002UL

LV-Titel englisch

Introduction to Automata Theory, Languages, and Computation

LV-Art

Übung (prüfungsimmanente LV )

Semesterstunde/n

2.0

ECTS-Anrechnungspunkte

4.0

Anmeldungen

36 (30 max.)

Organisationseinheit

Institut für Artificial Intelligence und Cybersecurity

Unterrichtssprache

Deutsch

LV-Beginn

03.10.2019

eLearning

zum Moodle-Kurs

Zeit und Ort

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-2019/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.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

Diplom-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.502 Einführung in die Theoretische Informatik (2.0h UE / 4.0 ECTS)

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

Bachelorstudium Technische Mathematik (SKZ: 201, Version: 12W.2)
- Fach: Informatik (Wahlfach)
  - 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)

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

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)