192.071 Einführung in 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.

2019S, VU, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.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), Kellerautomaten, Turingmaschinen, Elemente der Komplexitätstheorie; Syntax-Sematik-Schnittstelle, Modellstrukturen, Terme und Boolesche Ausdrücke; klassische Aussagen- und Prädikatenlogik: Logische Konsequenz und Implikation, Normalformen.

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.16:00 - 19:0005.03.2019 - 25.06.2019FH Hörsaal 5 Vorlesung
Do.19:00 - 22:0014.11.2019FH Hörsaal 6 Tutorium ETIL
Di.18:00 - 21:0019.11.2019FH Hörsaal 1 Prüfung ETIL
Einführung in Theoretische Informatik und Logik - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.05.03.201916:00 - 19:00FH Hörsaal 5 Vorlesung
Di.12.03.201916:00 - 19:00FH Hörsaal 5 Vorlesung
Di.19.03.201916:00 - 19:00FH Hörsaal 5 Vorlesung
Di.26.03.201916:00 - 19:00FH Hörsaal 5 Vorlesung
Di.02.04.201916:00 - 19:00FH Hörsaal 5 Vorlesung
Di.09.04.201916:00 - 19:00FH Hörsaal 5 Vorlesung
Di.30.04.201916:00 - 19:00FH Hörsaal 5 Vorlesung
Di.07.05.201916:00 - 19:00FH Hörsaal 5 Vorlesung
Di.14.05.201916:00 - 19:00FH Hörsaal 5 Vorlesung
Di.21.05.201916:00 - 19:00FH Hörsaal 5 Vorlesung
Di.28.05.201916:00 - 19:00FH Hörsaal 5 Vorlesung
Di.04.06.201916:00 - 19:00FH Hörsaal 5 Vorlesung
Di.18.06.201916:00 - 19:00FH Hörsaal 5 Vorlesung
Di.25.06.201916:00 - 19:00FH Hörsaal 5 Vorlesung
Do.14.11.201919:00 - 22:00FH Hörsaal 6 Tutorium ETIL
Di.19.11.201918:00 - 21:00FH Hörsaal 1 Prüfung ETIL

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Di. - 19.11.2019schriftlich04.11.2019 01:00 - 15.11.2019 01:00in TISS1. Nachtragstermin

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlSemesterAnm.Bed.Info
033 526 Wirtschaftsinformatik 4. SemesterSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
033 532 Medieninformatik und Visual Computing 4. SemesterSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
066 504 Masterstudium Embedded Systems 1. Semester
884 UF Informatik und Informatikmanagement 4. SemesterSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Deutsch