703062 SL Einführung in die Theoretische Informatik
Sommersemester 2021 | Stand: 26.02.2021 | LV auf Merkliste setzenUniv.-Prof. Dr. Georg Moser Univ.-Prof. Dr. Georg Moser, +43 512 507 53213
Jonas Helmut Schöpf, BSc MSc Jonas Helmut Schöpf, BSc MSc, +43 512 507 53444
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.
Beurteilung aufgrund von regelmäßigen schriftlichen und/oder mündlichen Beiträgen der Teilnehmerinnen und Teilnehmer.
Lehrveranstaltungsprüfung gemäß § 7 Satzungsteil, Studienrechtliche Bestimmungen
Fernlehre. Aufgrund der derzeitigen Situation wird die SL online angeboten; die Studiernden laden die Lösungen im OLAT Kurs hoch; diese werden dann zum Zeitraum der SL online diskutiert. Weitere Informationen sind im OLAT Kurs zu finden.
Wird im Rahmen der ersten Lehrveranstaltung besprochen.
Studieneingangs- und Orientierungsphase (StEOP) ab dem Wintersemester 2019/2020:
Im Rahmen der Studieneingangs- und Orientierungsphase, die im ersten Semester stattfindet, 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)
Weitere Informationen finden Sie hier.
- 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