621.502 (19W) Einführung in die Theoretische Informatik
Überblick
- Lehrende/r
- 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
- Unterrichtssprache Deutsch
- LV-Beginn 03.10.2019
- eLearning zum Moodle-Kurs
Zeit und Ort
Liste der Termine wird geladen...
LV-Beschreibung
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#prPrü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
Beurteilungsschema
Note BenotungsschemaPosition 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
-
ING.006 Einführung in die theoretische Informatik (
1.0h PR / 2.0 ECTS)
-
Fach: Fachspezifische Vertiefungsfächer (AAU)
(Wahlfach)
- 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
-
ING.006 Einführung in die theoretische Informatik (
1.0h UE / 2.0 ECTS)
-
Fach: Fachspezifische Vertiefungsfächer (AAU)
(Wahlfach)
- 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
-
ING.005 Einführung in die theoretische Informatik (
2.0h UE / 4.0 ECTS)
-
Fach: Fachspezifische Vertiefungsfächer (AAU)
(Wahlfach)
- 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)
-
Einführung in die Theoretische Informatik (
1.0h PR / 1.0 ECTS)
-
Fach: Mathematik und Theoretische Informatik (LI 1.2)
(Pflichtfach)
-
1.Abschnitt
- 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
-
3.3 Einführung in die Theoretische Informatik (
2.0h UE / 4.0 ECTS)
-
Fach: Mathematik und Theoretische Grundlagen
(Pflichtfach)
- 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
-
3.4 Einführung in die Theoretische Informatik (
2.0h UE / 4.0 ECTS)
-
Fach: Mathematik und Theoretische Grundlagen
(Pflichtfach)
- 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
-
Einführung in die Theoretische Informatik (
2.0h UE / 4.0 ECTS)
-
Fach: Mathematik und Theoretische Grundlagen
(Pflichtfach)
- 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
-
13.1 Lehrveranstaltungen aus dem Erweiterungscurriculum "Grundlagen der Informatik" (
0.0h XX / 12.0 ECTS)
-
Fach: Informatik
(Wahlfach)
- 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)
-
Einführung in die Theoretische Informatik (
2.0h UE / 4.0 ECTS)
-
Fach: Informatik
(Wahlfach)
- 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)
-
Einführung in die Theoretische Informatik (
0.0h UE / 4.0 ECTS)
-
Fach: Erweiterung Algorithmen und Datenstrukturen
(Wahlfach)
Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung
- Wintersemester 2023/24
- Wintersemester 2022/23
- Wintersemester 2021/22
- Wintersemester 2020/21
-
Wintersemester 2019/20
- 621.501 UE Einführung in die Theoretische Informatik (2.0h / 4.0ECTS)
- Wintersemester 2018/19
- Wintersemester 2017/18
- Wintersemester 2016/17
- Wintersemester 2015/16
- Wintersemester 2014/15
- Wintersemester 2013/14
- Wintersemester 2012/13
- Wintersemester 2011/12
- Wintersemester 2010/11
- Wintersemester 2009/10