703007 VO Einführung in die Theoretische Informatik
Sommersemester 2023 | Stand: 24.05.2023 | LV auf Merkliste setzen703007
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:
- VO Einführung in die Programmierung (3 SSt/4,5 ECTS-AP)
- VO Einführung in die Theoretische Informatik (2 SSt/3 ECTS-AP)
- SL Einführung in die Theoretische Informatik (1 SSt/2 ECTS-AP)
siehe Termine
- Fakultät für Mathematik, Informatik und Physik
- Fakultät für LehrerInnenbildung
- SDG 4 - Hochwertige Bildung: Inklusive, gleichberechtigte und hochwertige Bildung gewährleisten und Möglichkeiten lebenslangen Lernens für alle fördern
- SDG 9 - Industrie, Innovation und Infrastruktur: Eine widerstandsfähige Infrastruktur aufbauen, breitenwirksame und nachhaltige Industrialisierung fördern und Innovationen unterstützen