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

Wintersemester 2014/15

Anmeldefrist abgelaufen.

Erster Termin der LV
07.10.2014 12:00 - 14:00 HS 4 On Campus
... keine weiteren Termine bekannt

Überblick

Lehrende/r
LV-Titel englisch Introduction to Automata Theory, Languages, and Computation
LV-Art Vorlesung
Semesterstunde/n 2.0
ECTS-Anrechnungspunkte 2.0
Anmeldungen 70
Organisationseinheit
Unterrichtssprache Deutsch
LV-Beginn 07.10.2014

Zeit und Ort

Liste der Termine wird geladen...

LV-Beschreibung

Inhalt/e

Themen

  • Motivation und Präliminarien
  • Registermaschinen
  • Einband Turingmaschinen
  • Deterministische und Nichtdeterministische Endliche Automaten
  • Reguläre Sprachen
  • Mehrband Turingmaschinen
  • Nichtdeterministische Turingmaschinen
  • Kontextfreie Sprachen
  • Universelle Turingmaschinen
  • Die These von Church
  • (Primitiv) rekursive Funktionen
  • Gödelisierung
  • Entscheidbarkeit und Semi-Entscheidbarkeit
  • Unberechenbarkeit

Link auf weitere Informationen

http://www.syssec.at/eti14

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.

Beurteilungskriterien/-maßstäbe

siehe http://www.syssec.at/247

Beurteilungsschema

Note Benotungsschema

Position im Curriculum

  • 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 ( 2.0h VO / 2.0 ECTS)
          • 621.500 Einführung in die Theoretische Informatik (2.0h VO / 2.0 ECTS)
  • 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 Informatik (SKZ: 521, Version: 09W.3)
    • 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)
  • Bachelorstudium Informatik (SKZ: 521, Version: 03W.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)
  • Diplomstudium Informatik (SKZ: 880, Version: 02W)
    • 2.Abschnitt
      • Fach: Mathematik und theoretische Grundlagen (Pflichtfach)
        • Einführung in die Theoretische Informatik ( 3.0h VO / 3.0 ECTS)
          • 621.500 Einführung in die Theoretische Informatik (2.0h VO / 2.0 ECTS)
  • Bachelorstudium Technische Mathematik (SKZ: 201, Version: 12W.2)
    • Fach: Informatik (Wahlfach)
      • 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)

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