621.500 (22W) Einführung in die Theoretische Informatik
Überblick
Weitere Informationen zum Lehrbetrieb vor Ort finden Sie unter: https://www.aau.at/corona.
- Lehrende/r
- LV Nummer Südostverbund ING04001UL, ING05001UL
- LV-Titel englisch Introduction to Automata Theory, Languages, and Computation
- LV-Art Vorlesung
- LV-Modell Präsenzlehrveranstaltung
- Semesterstunde/n 2.0
- ECTS-Anrechnungspunkte 2.0
- Anmeldungen 107
- Organisationseinheit
- Unterrichtssprache Deutsch
- mögliche Sprache/n der Leistungserbringung Englisch
- LV-Beginn 04.10.2022
- eLearning zum Moodle-Kurs
Zeit und Ort
LV-Beschreibung
Intendierte Lernergebnisse
Was können Computer? Das ist eine der fundamentalen Frage, auf die das Feld der theoretischen Informatik aufbaut. Diese LV bietet einen Überblick über die grundlegenden Techniken, um dieser Frage auf den Grund zu gehen. Hierzu formalisieren wir den Begriff der Berechenbarkeit durch Entwicklung verschiedener Werkzeuge und Modelle, wie formale Sprachen, Registermaschinen, und Turingmaschinen. Für jedes Berechenbarkeitsmodell betrachten wir lösbare und unlösbare Probleme, um die Leistungsfähigkeit von Computern im Allgemeinen verstehen und bewerten zu können.
Lehrmethodik
Vortrag.
Inhalt/e
- Motivation
- 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).
Prüfungsinformationen
Prüfungsmethode/n
Klausur am Ende des Semesters, Bearbeitungszeit: 100 Minuten, 90 Punkte.
Prüfungsinhalt/e
Inhalt der Vorlesung
Beurteilungskriterien/-maßstäbe
Note: Punkte
1: 72-90
2: 62-71
3: 52-61
4: 42-51
5: 0-41
Beurteilungsschema
Note BenotungsschemaPosition im Curriculum
- Bachelor-Lehramtsstudium Bachelor Unterrichtsfach Informatik
(SKZ: 414, Version: 15W.2)
-
Fach: Fachspezifische Vertiefungsfächer (AAU)
(Wahlfach)
-
ING.005 Einführung in die theoretische Informatik (
2.0h VO / 2.0 ECTS)
- 621.500 Einführung in die Theoretische Informatik (2.0h VO / 2.0 ECTS) Absolvierung im 7. Semester empfohlen
-
ING.005 Einführung in die theoretische Informatik (
2.0h VO / 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.005 Einführung in die theoretische Informatik (
2.0h VO / 2.0 ECTS)
- 621.500 Einführung in die Theoretische Informatik (2.0h VO / 2.0 ECTS) Absolvierung im 7. Semester empfohlen
-
ING.005 Einführung in die theoretische Informatik (
2.0h VO / 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.004 Einführung in die theoretische Informatik (
2.0h VO / 2.0 ECTS)
- 621.500 Einführung in die Theoretische Informatik (2.0h VO / 2.0 ECTS) Absolvierung im 7. Semester empfohlen
-
ING.004 Einführung in die theoretische Informatik (
2.0h VO / 2.0 ECTS)
-
Fach: Fachspezifische Vertiefungsfächer (AAU)
(Wahlfach)
- Bachelorstudium Angewandte Informatik
(SKZ: 511, Version: 19W.2)
-
Fach: Mathematik und Theoretische Grundlagen
(Pflichtfach)
-
3.3 Einführung in die Theoretische Informatik (
2.0h VO / 2.0 ECTS)
- 621.500 Einführung in die Theoretische Informatik (2.0h VO / 2.0 ECTS) Absolvierung im 3. Semester empfohlen
-
3.3 Einführung in die Theoretische Informatik (
2.0h VO / 2.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 VO / 2.0 ECTS)
- 621.500 Einführung in die Theoretische Informatik (2.0h VO / 2.0 ECTS) Absolvierung im 3. Semester empfohlen
-
3.4 Einführung in die Theoretische Informatik (
2.0h VO / 2.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 VO / 2.0 ECTS)
- 621.500 Einführung in die Theoretische Informatik (2.0h VO / 2.0 ECTS) Absolvierung im 3. Semester empfohlen
-
Einführung in die Theoretische Informatik (
2.0h VO / 2.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.500 Einführung in die Theoretische Informatik (2.0h VO / 2.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)
Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung
-
Wintersemester 2023/24
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2021/22
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2020/21
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2019/20
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2018/19
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2017/18
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2016/17
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2015/16
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2014/15
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2013/14
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2012/13
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2011/12
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2010/11
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2009/10
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)
-
Wintersemester 2008/09
- 621.500 VO Einführung in die Theoretische Informatik (2.0h / 2.0ECTS)