703007 VO Einführung in die Theoretische Informatik

Sommersemester 2023 | Stand: 24.05.2023 LV auf Merkliste setzen
703007
VO Einführung in die Theoretische Informatik
VO 2
3
wöch.
semestral
Englisch
Absolventinnen und Absolventen dieses Moduls verstehen den Begriff der Berechenbarkeit und unterschiedliche formale Berechnungsmodelle sowie deren Unterschiede. Zudem können sie Informationen auf das Wesentliche reduzieren und abstrakt repräsentieren sowie formale Beweise führen.
Aussagenlogik; Schaltkreise; Grammatiken; Chomsky Hierarchie; formale Modelle; Berechenbarkeit; Gleichungslogik; Programmverifikation

Die Vorlesung wird als Online-Kurs in OLAT mit Videoaufzeichnungen und einem moderierten Diskussionsforum angeboten.

Schriftliche Prüfung.

Skriptum.

Weitere Literatur wird auf der Kurshomepage angeführt.

Im Rahmen der Studieneingangs- und Orientierungsphase (StEOP) sind folgende Lehrveranstaltungsprüfungen abzulegen:

  1. VO Einführung in die Programmierung (3 SSt/4,5 ECTS-AP)
  2. VO Einführung in die Theoretische Informatik (2 SSt/3 ECTS-AP)
  3. SL Einführung in die Theoretische Informatik (1 SSt/2 ECTS-AP)
siehe Termine
Gruppe 0
Datum Uhrzeit Ort
Fr 07.07.2023
09.00 - 12.15 HSB 3 HSB 3 Barrierefrei erste Prüfung
Di 26.09.2023
13.00 - 16.00 HSB 3 HSB 3 Barrierefrei zweiter Prüfungstermin