703007 VO Einführung in die Theoretische Informatik
Wintersemester 2017/2018 | Stand: 21.09.2018 | LV auf Merkliste setzen703007
VO Einführung in die Theoretische Informatik
VO 2
3
wöch.
jährlich
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.
siehe Termine
- Fakultät für Mathematik, Informatik und Physik
- Bachelorstudium Informatik nach dem Curriculum 2007 (180 ECTS-AP, 6 Semester)
- Lehramtsstudium Unterrichtsfach Informatik und Informatikmanagement (2001W)
- School of Education - Fakultät für LehrerInnenbildung
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mo 02.10.2017
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Do 05.10.2017
|
16.15 - 17.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 09.10.2017
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Do 12.10.2017
|
16.15 - 17.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 16.10.2017
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Do 19.10.2017
|
16.15 - 17.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 23.10.2017
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Mo 30.10.2017
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Mo 06.11.2017
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Do 09.11.2017
|
16.15 - 17.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 13.11.2017
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Do 16.11.2017
|
16.15 - 17.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 20.11.2017
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Do 23.11.2017
|
16.15 - 17.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 27.11.2017
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Do 30.11.2017
|
16.15 - 17.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 04.12.2017
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Do 07.12.2017
|
16.15 - 17.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 11.12.2017
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Do 14.12.2017
|
16.15 - 17.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 08.01.2018
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Do 11.01.2018
|
16.15 - 17.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 15.01.2018
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Do 18.01.2018
|
16.15 - 17.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 22.01.2018
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Do 25.01.2018
|
16.15 - 17.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 29.01.2018
|
12.00 - 14.00 | HS 10 HS 10 | Barrierefrei | 1. Klausur |
|
Mo 29.01.2018
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Fr 23.03.2018
|
14.00 - 17.00 | HS C (Technik) HS C (Technik) | Barrierefrei | Prüfung |
|
Di 25.09.2018
|
14.00 - 16.00 | HS F (Technik) HS F (Technik) | Barrierefrei | 3. Klausur |