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.

2015S, VU, 4.0h, 6.0EC, wird geblockt abgehalten

Merkmale

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

Ziele der Lehrveranstaltung

Vermittlung von Grundbegriffen  und Methoden der theoretischen Informatik  in Ergänzung und Vertiefung der in der LVA "Formale Modellierung" erworbenen Kennisse.  Dabei sollen grundlegende mathematische Fertigkeiten erlernt bzw. weiter trainiert werden (z.B. strukturelle Induktion, Instanziierung abstrakter Konzepte in unterschiedlichen Beispielen, Verwendung formaler Sprachen zur Spezifikation unterschiedlicher Formen von Information). Außerdem wird die Kenntnis wichtiger Grundresultate und Methoden aus dem Bereich der formalen Sprachen sowie der Aussagen- und Prädikatenlogik angestrebt.

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-Schnittstelle, Modellstrukturen, Terme und Boolesche Ausdrücke, Syntax und Semantik einer einfachen Programmiersprache, klassischen Aussagen und Prädikatenlogik: Logische Konsequenz und Implikation, Normalformen, Natürliches Schließen, Semantische Tableaux, grundlegende Eigenschaften der Prädikatenlogik (Unentscheidbarkeit, Vollständigkeit etc.); Schließen über Programme: Hoare-Kalkül

Weitere Informationen

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
Mo.15:00 - 17:0002.03.2015 - 22.06.2015HS 8 Heinz Parkus - BI Vorlesung
Mo.17:00 - 18:0002.03.2015 - 22.06.2015HS 8 Heinz Parkus - BI Vorlesung
Mi.14:00 - 16:0004.03.2015 - 24.06.2015HS 8 Heinz Parkus - BI Vorlesung
Theoretische Informatik und Logik - Einzeltermine
TagDatumZeitOrtBeschreibung
Mo.02.03.201515:00 - 17:00HS 8 Heinz Parkus - BI Vorlesung
Mo.02.03.201517:00 - 18:00HS 8 Heinz Parkus - BI Vorlesung
Mi.04.03.201514:00 - 16:00HS 8 Heinz Parkus - BI Vorlesung
Mo.09.03.201515:00 - 17:00HS 8 Heinz Parkus - BI Vorlesung
Mo.09.03.201517:00 - 18:00HS 8 Heinz Parkus - BI Vorlesung
Mi.11.03.201514:00 - 16:00HS 8 Heinz Parkus - BI Vorlesung
Mo.16.03.201515:00 - 17:00HS 8 Heinz Parkus - BI Vorlesung
Mo.16.03.201517:00 - 18:00HS 8 Heinz Parkus - BI Vorlesung
Mi.18.03.201514:00 - 16:00HS 8 Heinz Parkus - BI Vorlesung
Mo.23.03.201515:00 - 17:00HS 8 Heinz Parkus - BI Vorlesung
Mo.23.03.201517:00 - 18:00HS 8 Heinz Parkus - BI Vorlesung
Mi.25.03.201514:00 - 16:00HS 8 Heinz Parkus - BI Vorlesung
Mo.13.04.201515:00 - 17:00HS 8 Heinz Parkus - BI Vorlesung
Mo.13.04.201517:00 - 18:00HS 8 Heinz Parkus - BI Vorlesung
Mi.15.04.201514:00 - 16:00HS 8 Heinz Parkus - BI Vorlesung
Mo.20.04.201515:00 - 17:00HS 8 Heinz Parkus - BI Vorlesung
Mo.20.04.201517:00 - 18:00HS 8 Heinz Parkus - BI Vorlesung
Mi.22.04.201514:00 - 16:00HS 8 Heinz Parkus - BI Vorlesung
Mo.27.04.201515:00 - 17:00HS 8 Heinz Parkus - BI Vorlesung
Mo.27.04.201517:00 - 18:00HS 8 Heinz Parkus - BI Vorlesung
LVA wird geblockt abgehalten

Leistungsnachweis

  • Die erste Vorlesung zu "Theoretische Informatik und Logik"  im SS 2015 findet am Montag, 2.3., 15.15  - 16.45 im Hörsaal 8 statt.

  • Anmeldung zur Lehrveranstaltung über TISS zwischen 02.03.2015, 13:00 und 10.03.2015, 23:59

  • Absolvierung eines Eingangstests im TUWEL-Online-Kurs zwischen 5.3. und 13.3.2015 (nur möglich nach Anmeldung in TISS). Der Eingangstests besteht aus einfachen Fragen zum Stoff der ersten beiden Vorlesungseinheit am 2.3. bzw. 4.3.2015, 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
Do.15:00 - 17:0003.09.2020FH Hörsaal 1 - MWB 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.- ARCH-INF 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 - ETIT beurteilt15.08.2020 12:00 - 01.09.2020 23:59in TISSTIL Prüfung (3. Termin, parallele Hörsäle)
Di.15:00 - 17:0029.09.2020FH Hörsaal 1 - MWB 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 2 Radinger Hörsaal - TCH 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.- ARCH-INF 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 - ETIT 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.- ARCH-INF 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.- ARCH-INF 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- ARCH-INF 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- ARCH-INF 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.- ARCH-INF 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 - ETIT 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 - MWB 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 - ETIT 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 - MWB 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 - MWB 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.- ARCH-INF 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 - ETIT beurteilt14.08.2021 12:00 - 31.08.2021 23:59in TISSTIL Prüfung (3. Termin, parallele Hörsäle)
Di.15:00 - 17:0028.09.2021FH Hörsaal 1 - MWB 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.- ARCH-INF 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.03.2015 13:00 10.03.2015 23:59

Anmeldemodalitäten:

Melden Sie sich an um Zugang zum TUWEL Kurs zu erhalten.

Curricula

StudienkennzahlSemesterAnm.Bed.Info
033 522 Informatikmanagement STEG
Lehrveranstaltung erfordert die Erfüllung des Studieneingangsgesprächs STEG
033 531 Data Engineering & Statistics 2. Semester
033 532 Medieninformatik und Visual Computing STEG
Lehrveranstaltung erfordert die Erfüllung des Studieneingangsgesprächs STEG
033 533 Medizinische Informatik 4. SemesterSTEG
Lehrveranstaltung erfordert die Erfüllung des Studieneingangsgesprächs STEG
033 534 Software & Information Engineering 4. SemesterSTEG
Lehrveranstaltung erfordert die Erfüllung des Studieneingangsgesprächs STEG
033 535 Technische Informatik 2. SemesterSTEG
Lehrveranstaltung erfordert die Erfüllung des Studieneingangsgesprächs STEG
066 939 Wirtschaftsingenieurwesen Informatik
884 UF Informatik und Informatikmanagement 4. SemesterSTEG
Lehrveranstaltung erfordert die Erfüllung des Studieneingangsgesprächs STEG

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