185.A54 Theoretische Informatik und Logik für Lehramt Informatik, Teil 1
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2015S, VU, 2.0h, 3.0EC, wird geblockt abgehalten

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.

Weitere Informationen

Diese LVA wird für Studierende des Unterrichtsfaches Informatik und Informatikmanagement angeboten.

Weitere Informationen zum Ablauf der LVA s.:

185.A55 VU Theoretische Informatik und Logik für Wirtschaftsinformatik

Im kommenden WS werde ich allerdings die LVA  Theoretische Informatik und Logik für Lehramt Informatik, Teil 2, anbieten, welche diese LVA zu der im Rahmen der Bachelorstudien Informatik erforderlichen LVA Theoretische Infomatik und Logik ergänzt.

ECTS-Breakdown (Summe=75h, entspricht 3 ECTS):

12h: Anwesenheit bei Vorlesung
12h: Nachbereitung der Vorlesung
24h: Übungsvorbereitung
4h:  Präsentation der Übungen
21h: Prüfungsvorbereitung
2h:  schriftliche Prüfung
 

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.16:00 - 18:0010.03.2015EI 3 Sahulka HS 185.A54: Theoretische Informatik und Logik für Lehramt Informatik, Teil 1
LVA wird geblockt abgehalten

Leistungsnachweis

  • Übungsaufgaben (mehrere Blöcke)
  •  zwei Prüfungsgespräche
  • schriftliche Prüfung

LVA-Anmeldung

Von Bis Abmeldung bis
16.02.2015 12:00 06.03.2015 12:00 07.03.2015 12:00

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

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

Vorausgehende Lehrveranstaltungen

Sprache

Deutsch