703007 VO Einführung in die Theoretische Informatik
Sommersemester 2024 | Stand: 19.08.2024 | LV auf Merkliste setzen703007
VO Einführung in die Theoretische Informatik
VO 2
3
wöch.
semestral
Deutsch
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 LehrerInnenbildung
- Fakultät für Mathematik, Informatik und Physik
- 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
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Fr 28.06.2024
|
12.00 - 14.00 | HSB 2 HSB 2 | Barrierefrei | 1. Klausur |
|
Fr 28.06.2024
|
12.00 - 14.00 | HSB 1 HSB 1 | Barrierefrei | 1. Klausur |
|
Fr 27.09.2024
|
10.00 - 12.00 | HS D (Technik) HS D (Technik) | Barrierefrei | 2. Klausur |