185.278 Theoretische Informatik und Logik
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2019W, VU, 4.0h, 6.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 4.0
  • ECTS: 6.0
  • Typ: VU Vorlesung mit Übung

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage formale Sprachen hinsichtlich ihrer Stellung in der Chomsky-Hierarchie einzuordnen, Grammatiken zu entwickeln und angemessen zu manipulieren, sowie Grenzen zwischen Berechenbarkeit und Unberechenbarkeit zu erkennen. Weiters haben erfolgreiche Absolventen ein vertieftes Verständnis von Grundbegriffen der klassischen Logik und der formalen Spezifikation, insbesondere in Hinblick auf die Syntax/Semantik-Unterscheidung. Sie können komplexere Aussagen in klassischer Prädikatenlogik erster Stufe formalisieren und formale Beweise im Tableau-Kalkül führen. Schließlich können Sie die partielle bzw. totale Korrektheit von einfachen Programmen, bzw die Korrektheit von Regeln für Korrektheitsbeweise beurteilen.

Inhalt der Lehrveranstaltung

Spezifikation formaler Sprachen: reguläre und kontextfreie Sprachen (vertiefend), Chomsky-Hierarchie, endliche Automaten (vertiefend), Turingmaschinen, Kellerautomaten, Berechenbarkeit, Problem-Reduktion, Elemente der Komplexitätstheorie: P, NP; Syntax-Sematik-Unterscheidung, Modellstrukturen, Terme und Boolesche Ausdrücke, Syntax und Semantik einer einfachen Programmiersprache, klassischen Aussagen und Prädikatenlogik: Logische Konsequenz und Implikation, Begriff eines logischen Kalküls, Semantische Tableaux ohne und mit Gleicheit, grundlegende Eigenschaften der Prädikatenlogik (Unentscheidbarkeit, Vollständigkeit etc.); Schließen über Programme: Hoare-Kalkül

Methoden

  • formale Spezifikation
  • mathematische Beweise 
  • Ableitungen in Kalkülen
  • Formalisieren in klassischer Prädikatenlogik erster Stufe

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

  • Die erste Vorlesung zu "Theoretische Informatik und Logik"  im WS 2019 findet am Mittwoch 2.10., 15.15  - 16.45, im EI 7 statt.

  • Anmeldung zur Lehrveranstaltung über TISS zwischen 02.10.2019, 10:00 und 11.10.2019, 23:59

  • Absolvierung eines Eingangstests im TUWEL-Online-Kurs zwischen 3.10. und 13.10.2019 (nur möglich nach Anmeldung in TISS). Der Eingangstests besteht aus einfachen Fragen zum Stoff der ersten beiden Vorlesungseinheiten, sowie zur Organisation der Lehrveranstaltung.

ECTS-Breakdown:

  • 40 Stunden: Vorlesungszeit
  • 60 Stunden: Übungsaufgaben (Hausübungen - 4 Blöcke)
  • 20 Stunden: zwei Prüfungsgespräche (inkl. Vorbereitung)
  • 30 Schriftliche Prüfung (inkl. Vorbereitung)

Summe: 150 Stunden

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi.15:00 - 17:0002.10.2019 - 15.01.2020EI 7 Hörsaal Vorlesung
Mo.15:00 - 17:0007.10.2019 - 20.01.2020EI 7 Hörsaal Vorlesung
Mo.17:00 - 18:0007.10.2019 - 09.12.2019EI 10 Fritz Paschke HS Tutorium
Do.17:00 - 19:0010.10.2019 - 12.12.2019EI 2 Pichelmayer HS Tutorium
Fr.13:00 - 15:0011.10.2019HS 13 Ernst Melan Tutorium
Fr.12:00 - 14:0018.10.2019FH 8 Nöbauer HS Tutorium
Mo.17:00 - 18:0021.10.2019EI 7 Hörsaal Tutorium
Do.14:00 - 16:0031.10.2019EI 5 Hochenegg HS Tutorium
09:00 - 18:0004.11.2019 - 08.11.2019Informatiklabor Breakout Feedback UE1
Do.17:00 - 19:0007.11.2019EI 2 Pichelmayer HS Tutorium
Fr.13:00 - 15:0008.11.2019EI 10 Fritz Paschke HS Tutorium
09:00 - 19:0012.11.2019 - 14.11.2019Informatiklabor Breakout Prüfungsgespräch 1
Mi.17:00 - 19:0013.11.2019EI 5 Hochenegg HS Tutorium
Mo.09:00 - 19:0018.11.2019Informatiklabor Breakout Prüfungsgespräch 1
09:00 - 18:0019.11.2019 - 22.11.2019Informatiklabor Breakout Feedback UE3
09:00 - 18:0025.11.2019 - 26.11.2019Informatiklabor Breakout Feedback UE2
Fr.14:00 - 16:0029.11.2019EI 2 Pichelmayer HS Tutorium
09:00 - 18:0009.12.2019 - 13.12.2019Informatiklabor Breakout Feedback UE3
Fr.14:00 - 16:0013.12.2019EI 2 Pichelmayer HS Tutorium
Di.09:00 - 18:0007.01.2020Informatiklabor Breakout Abgabe-Gespräche TIL
Di.11:00 - 19:0007.01.2020Seminarraum FAV 01 C (Seminarraum 188/2) Abgabe-Gespräche TIL
09:00 - 18:0008.01.2020 - 10.01.2020Informatiklabor Breakout Abgabe-Gespräche TIL
Fr.09:00 - 17:0010.01.2020Seminarraum FAV EG B (Seminarraum von Neumann) Abgabe-Gespräche TIL
09:00 - 18:0013.01.2020 - 20.01.2020Informatiklabor Breakout Abgabegespräche TIL
Theoretische Informatik und Logik - Einzeltermine
TagDatumZeitOrtBeschreibung
Mi.02.10.201915:00 - 17:00EI 7 Hörsaal Vorlesung
Mo.07.10.201915:00 - 17:00EI 7 Hörsaal Vorlesung
Mo.07.10.201917:00 - 18:00EI 10 Fritz Paschke HS Tutorium
Mi.09.10.201915:00 - 17:00EI 7 Hörsaal Vorlesung
Do.10.10.201917:00 - 19:00EI 2 Pichelmayer HS Tutorium
Fr.11.10.201913:00 - 15:00HS 13 Ernst Melan Tutorium
Mo.14.10.201915:00 - 17:00EI 7 Hörsaal Vorlesung
Mo.14.10.201917:00 - 18:00EI 10 Fritz Paschke HS Tutorium
Mi.16.10.201915:00 - 17:00EI 7 Hörsaal Vorlesung
Do.17.10.201917:00 - 19:00EI 2 Pichelmayer HS Tutorium
Fr.18.10.201912:00 - 14:00FH 8 Nöbauer HS Tutorium
Mo.21.10.201915:00 - 17:00EI 7 Hörsaal Vorlesung
Mo.21.10.201917:00 - 18:00EI 10 Fritz Paschke HS Tutorium
Mo.21.10.201917:00 - 18:00EI 7 Hörsaal Tutorium
Mi.23.10.201915:00 - 17:00EI 7 Hörsaal Vorlesung
Do.24.10.201917:00 - 19:00EI 2 Pichelmayer HS Tutorium
Mo.28.10.201915:00 - 17:00EI 7 Hörsaal Vorlesung
Mo.28.10.201917:00 - 18:00EI 10 Fritz Paschke HS Tutorium
Mi.30.10.201915:00 - 17:00EI 7 Hörsaal Vorlesung
Do.31.10.201914:00 - 16:00EI 5 Hochenegg HS Tutorium
LVA wird geblockt abgehalten

Leistungsnachweis

 

  • Absolvierung eines Eingangstests im TUWEL-Online-Kurs zwischen 3.10. und 13.10.2019 (nur möglich nach Anmeldung in TISS). Der Eingangstests besteht aus einfachen Fragen zum Stoff der ersten beiden Vorlesungseinheiten, sowie zur Organisation der Lehrveranstaltung.

Erst wenn Sie den Eingangstest erfolgreich absolviert haben, wird Ihre Anmeldung in TISS bestätigt, andernfalls werden Sie automatisch von der Lehrveranstaltung abgemeldet. Sobald Sie den Eingangstest absolviert haben und somit zur Lehrveranstaltung Theoretische Informatik und Logik angemeldet sind, wird nach Ende der Lehrveranstaltung ein Zeugnis ausgestellt!

Die Gesamtbeurteilung ergibt sich aus den Leistungen, die bei 4 Übungsblättern (jeweils max. 5 Punkte), bei 2 Abgabegesprächen (jeweils max. 10 Punkte) sowie beim schriftlichen Abschlusstest (max. 60 Punkte) erbracht werden. Insgesamt können somit 4*5+2*10+60=100 Punkte erzielt werden.  Für eine positive Gesamtbeurteilung sind mindestens 30 Punkte beim Abschlusstest (je mindestens 15 Punkte in beiden Stoffteilen) und eine Gesamtpunkteanzahl von mindestens 50 notwendig. Positive Noten ergeben sich aus der Gesamtpunktezahl nach folgendem Schlüssel:

  • 50-61 Punkte: genügend
  • 62-74 Punkte: befriedigend
  • 75-87 Punkte: gut
  • 88-100 Punkte: sehr gut

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Mo.15:00 - 17:0008.06.2020GM 1 Audi. Max. schriftlich26.05.2020 12:00 - 05.06.2020 23:59in TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mo.15:00 - 17:0008.06.2020GM 5 Praktikum HS schriftlich26.05.2020 12:00 - 05.06.2020 23:59in TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mo.15:00 - 17:0008.06.2020Informatikhörsaal schrift.&mündl.26.05.2020 12:00 - 05.06.2020 23:59in TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mo.15:00 - 17:0008.06.2020GM 5 Praktikum HS schrift.&mündl.26.05.2020 12:00 - 05.06.2020 23:59in TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mo.15:00 - 17:0008.06.2020GM 1 Audi. Max. schrift.&mündl.26.05.2020 12:00 - 05.06.2020 23:59in TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mo.15:00 - 17:0008.06.2020EI 7 Hörsaal schrift.&mündl.26.05.2020 12:00 - 05.06.2020 23:59in TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mo.15:00 - 17:0008.06.2020FH Hörsaal 1 schrift.&mündl.26.05.2020 12:00 - 05.06.2020 23:59in TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mo.15:00 - 17:0008.06.2020EI 7 Hörsaal schriftlich26.05.2020 12:00 - 05.06.2020 23:59in TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mo.15:00 - 17:0008.06.2020Informatikhörsaal schriftlich26.05.2020 12:00 - 05.06.2020 23:59in TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mo.15:00 - 17:0008.06.2020FH Hörsaal 1 schriftlich26.05.2020 12:00 - 05.06.2020 23:59in TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mo. - 22.06.2020beurteilt09.06.2020 10:00 - 21.06.2020 23:59in TISS4. TIL-Prüfung HS8 (parallel mit FH1 & FH8)
Mo. - 22.06.2020beurteilt09.06.2020 08:00 - 20.06.2020 23:59in TISS4.TIL-Prüfung FH8 (parallel mit FH1 & HS8)
Do.15:00 - 17:0003.09.2020FH Hörsaal 1 beurteilt15.08.2020 12:00 - 01.09.2020 23:59in TISSTIL Prüfung (3. Termin, parallele Hörsäle)
Do.15:00 - 17:0003.09.2020GM 1 Audi. Max. beurteilt15.08.2020 12:00 - 01.09.2020 23:59in TISSTIL Prüfung (3. Termin, parallele Hörsäle)
Do.15:00 - 17:0003.09.2020EI 7 Hörsaal beurteilt15.08.2020 12:00 - 01.09.2020 23:59in TISSTIL Prüfung (3. Termin, parallele Hörsäle)
Di. - 29.09.2020beurteilt15.09.2020 12:00 - 27.09.2020 23:59in TISSTIL Prüfung (4. Termin, parallele Hörsäle)
Di.15:00 - 17:0029.09.2020FH Hörsaal 1 beurteilt15.09.2020 12:00 - 27.09.2020 23:59in TISSTIL Prüfung (4. Termin, parallele Hörsäle)
Di.15:00 - 17:0029.09.2020GM 1 Audi. Max. beurteilt15.09.2020 12:00 - 27.09.2020 23:59in TISSTIL Prüfung (4. Termin, parallele Hörsäle)
Mi.15:00 - 17:0027.01.2021EI 7 Hörsaal beurteilt11.01.2021 00:00 - 26.01.2021 23:59in TISS1. Prüfung EI7 (Parallel mit AM und INF HS)
Mi.15:00 - 17:0027.01.2021GM 1 Audi. Max. beurteilt11.01.2021 09:00 - 26.01.2021 23:59in TISS1. Prüfung AudiMax (parallel mit EI7 und INF HS)
Mi.15:00 - 17:0027.01.2021Informatikhörsaal beurteilt18.01.2021 11:30 - 26.01.2021 23:59in TISS1. Prüfung INF-HS (Parallel mit AM und EI7)
Mi. - 17.03.2021beurteilt23.02.2021 00:00 - 16.03.2021 23:59in TISS2. TIL Prüfung (EI7, parallel mit FH1)
Mi. - 17.03.2021schriftlich10.03.2021 14:00 - 16.03.2021 23:59in TISS2. TIL Prüfung (FH1, parallel mit EI7)
Mo. - 03.05.2021beurteilt11.04.2021 00:00 - 02.05.2021 00:00in TISS3. TIL Prüfung (EI7, parallel zu FH1)
Mo.15:00 - 17:0007.06.2021GM 1 Audi. Max. schriftlich25.05.2021 12:00 - 04.06.2021 23:59in TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mo.15:00 - 17:0007.06.2021GM 5 Praktikum HS schriftlich25.05.2021 12:00 - 04.06.2021 23:59in TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mo.15:00 - 17:0007.06.2021Informatikhörsaal schrift.&mündl.25.05.2021 12:00 - 04.06.2021 23:59in TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mo.15:00 - 17:0007.06.2021GM 5 Praktikum HS schrift.&mündl.25.05.2021 12:00 - 04.06.2021 23:59in TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mo.15:00 - 17:0007.06.2021GM 1 Audi. Max. schrift.&mündl.25.05.2021 12:00 - 04.06.2021 23:59in TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mo.15:00 - 17:0007.06.2021EI 7 Hörsaal schrift.&mündl.25.05.2021 12:00 - 04.06.2021 23:59in TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mo.15:00 - 17:0007.06.2021FH Hörsaal 1 schrift.&mündl.25.05.2021 12:00 - 04.06.2021 23:59in TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mo.15:00 - 17:0007.06.2021EI 7 Hörsaal schriftlich25.05.2021 12:00 - 04.06.2021 23:59in TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mo.15:00 - 17:0007.06.2021Informatikhörsaal schriftlich25.05.2021 12:00 - 04.06.2021 23:59in TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mo.15:00 - 17:0007.06.2021FH Hörsaal 1 schriftlich25.05.2021 12:00 - 04.06.2021 23:59in TISSTIL Prüfung (2. Termin, parallele Hörsäle)
Mo. - 21.06.2021beurteilt08.06.2021 10:00 - 20.06.2021 23:59in TISS4. TIL-Prüfung HS8 (parallel mit FH1 & FH8)
Mo. - 21.06.2021beurteilt08.06.2021 08:00 - 19.06.2021 23:59in TISS4.TIL-Prüfung FH8 (parallel mit FH1 & HS8)
Do.15:00 - 17:0002.09.2021FH Hörsaal 1 beurteilt14.08.2021 12:00 - 31.08.2021 23:59in TISSTIL Prüfung (3. Termin, parallele Hörsäle)
Do.15:00 - 17:0002.09.2021GM 1 Audi. Max. beurteilt14.08.2021 12:00 - 31.08.2021 23:59in TISSTIL Prüfung (3. Termin, parallele Hörsäle)
Do.15:00 - 17:0002.09.2021EI 7 Hörsaal beurteilt14.08.2021 12:00 - 31.08.2021 23:59in TISSTIL Prüfung (3. Termin, parallele Hörsäle)
Di. - 28.09.2021beurteilt14.09.2021 12:00 - 26.09.2021 23:59in TISSTIL Prüfung (4. Termin, parallele Hörsäle)
Di.15:00 - 17:0028.09.2021FH Hörsaal 1 beurteilt14.09.2021 12:00 - 26.09.2021 23:59in TISSTIL Prüfung (4. Termin, parallele Hörsäle)
Di.15:00 - 17:0028.09.2021GM 1 Audi. Max. beurteilt14.09.2021 12:00 - 26.09.2021 23:59in TISSTIL Prüfung (4. Termin, parallele Hörsäle)

LVA-Anmeldung

Von Bis Abmeldung bis
02.10.2019 10:00 11.10.2019 23:59

Curricula

StudienkennzahlSemesterAnm.Bed.Info
033 531 Data Engineering & Statistics 2. Semester
033 533 Medizinische Informatik 3. SemesterSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
033 534 Software & Information Engineering 3. SemesterSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
033 535 Technische Informatik 3. SemesterSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
066 939 Wirtschaftsingenieurwesen Informatik

Literatur

Sämtliche Unterlagen werden im TUWEL-Bereich zu dieser LV zu Verfügung gestellt.

 

Vorkenntnisse

  • Gundkonzepte formaler Sprachen: reguläre Sprachen, endliche Automaten, formale Grammatiken
  • Syntax und Semantik der klassischen Logik

Beides wie in 185.A06 Formale Modellierung vermittelt.

Vorausgehende Lehrveranstaltungen

Vertiefende Lehrveranstaltungen

Sprache

Deutsch