703007 VO Einführung in die Theoretische Informatik
Wintersemester 2019/2020 | Stand: 20.01.2020 | 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
Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.
Schriftliche Prüfung.
Skriptum.
Weitere Literatur wird auf der Kurshomepage angeführt.
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.
siehe Termine
- Fakultät für Mathematik, Informatik und Physik
- Bachelorstudium Informatik nach dem Curriculum 2007 (180 ECTS-AP, 6 Semester)
- Bachelorstudium Informatik nach dem Curriculum 2019 (180 ECTS-AP, 6 Semester)
- Fakultät für LehrerInnenbildung
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mo 07.10.2019
|
12.15 - 14.00 | Gr. HS Gr. HS | Barrierefrei | |
|
Mo 07.10.2019
|
18.15 - 19.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 14.10.2019
|
12.15 - 14.00 | Gr. HS Gr. HS | Barrierefrei | |
|
Mo 14.10.2019
|
18.15 - 19.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 21.10.2019
|
12.15 - 14.00 | Gr. HS Gr. HS | Barrierefrei | |
|
Mo 21.10.2019
|
18.15 - 19.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 28.10.2019
|
12.15 - 14.00 | Gr. HS Gr. HS | Barrierefrei | |
|
Mo 28.10.2019
|
18.15 - 19.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 04.11.2019
|
12.15 - 14.00 | Gr. HS Gr. HS | Barrierefrei | |
|
Mo 04.11.2019
|
18.15 - 19.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 11.11.2019
|
12.15 - 14.00 | Gr. HS Gr. HS | Barrierefrei | |
|
Mo 11.11.2019
|
18.15 - 19.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 18.11.2019
|
12.15 - 14.00 | Gr. HS Gr. HS | Barrierefrei | |
|
Mo 18.11.2019
|
18.15 - 19.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 25.11.2019
|
12.15 - 14.00 | Gr. HS Gr. HS | Barrierefrei | |
|
Mo 25.11.2019
|
18.15 - 19.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 02.12.2019
|
12.15 - 14.00 | Gr. HS Gr. HS | Barrierefrei | |
|
Mo 02.12.2019
|
18.15 - 19.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 09.12.2019
|
12.15 - 14.00 | Gr. HS Gr. HS | Barrierefrei | |
|
Mo 09.12.2019
|
18.15 - 19.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 13.01.2020
|
12.15 - 14.00 | Gr. HS Gr. HS | Barrierefrei | |
|
Mo 13.01.2020
|
18.15 - 19.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 20.01.2020
|
12.15 - 14.00 | Gr. HS Gr. HS | Barrierefrei | |
|
Mo 20.01.2020
|
18.15 - 19.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 27.01.2020
|
12.15 - 14.00 | Gr. HS Gr. HS | Barrierefrei | 1. Prüfung |
|
Mo 27.01.2020
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | 1. Prüfung |
|
Mo 27.01.2020
|
18.15 - 19.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |