621.500 (23W) Einführung in die Theoretische Informatik

zu Moodle

Wintersemester 2023/24

Anmeldefrist abgelaufen.

Erster Termin der LV
03.10.2023 12:00 - 14:00 On Campus

... keine weiteren Termine bekannt

Überblick

Lehrende/r

Postdoc-Ass. Dipl.-Ing.Dr. Michael Morak

LV Nummer Südostverbund

ING04001UL, ING05001UL

LV-Titel englisch

Introduction to Automata Theory, Languages, and Computation

LV-Art

Vorlesung

LV-Modell

Blended-Learning-Lehrveranstaltung

Online-Anteil

40%

Semesterstunde/n

2.0

ECTS-Anrechnungspunkte

2.0

Anmeldungen

120

Organisationseinheit

Institut für Artificial Intelligence und Cybersecurity

Unterrichtssprache

Deutsch

mögliche Sprache/n der Leistungserbringung

Deutsch , Englisch

LV-Beginn

03.10.2023

eLearning

zum Moodle-Kurs

Studienberechtigungsprüfung

Seniorstudium Liberale

Zeit und Ort

Liste der Termine wird geladen...

LV-Beschreibung

Deutsch

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 inkl. Einsatz von eLearning-Tools

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

Curriculare Anmeldevoraussetzungen

Keine.

Literatur

M. Sipser. Introduction to the Theory of Computation, 3rd ed. Cengage Learning, 2012.

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

Klausur am Ende des Semesters, Bearbeitungszeit: 100 Minuten, 90 Punkte.

Prüfungsinhalt/e

Inhalt der Vorlesung

Beurteilungskriterien/-maßstäbe

Note: Punkte

1: >= 72

2: < 72

3: < 62

4: < 52

5: < 42

Beurteilungsschema

Note Benotungsschema

Position 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

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

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

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

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

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

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

Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung

Wintersemester 2022/23

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)