703007 Einführung in die Theoretische Informatik
Wintersemester 2015/2016 | Stand: 02.09.2016 | LV auf Merkliste setzen703007
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
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mo 05.10.2015
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Di 06.10.2015
|
16.15 - 18.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 12.10.2015
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Di 13.10.2015
|
16.15 - 18.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 19.10.2015
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Di 20.10.2015
|
16.15 - 18.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Di 27.10.2015
|
16.15 - 18.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Di 03.11.2015
|
16.15 - 18.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 09.11.2015
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Di 10.11.2015
|
16.15 - 18.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 16.11.2015
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Di 17.11.2015
|
16.15 - 18.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 23.11.2015
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Di 24.11.2015
|
16.15 - 18.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 30.11.2015
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Di 01.12.2015
|
16.15 - 18.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 07.12.2015
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Mo 14.12.2015
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Di 15.12.2015
|
16.15 - 18.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 11.01.2016
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Di 12.01.2016
|
16.15 - 18.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 18.01.2016
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Di 19.01.2016
|
16.15 - 18.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 25.01.2016
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Di 26.01.2016
|
16.15 - 18.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Mo 01.02.2016
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Di 02.02.2016
|
16.15 - 18.00 | SR 12 SR 12 | Barrierefrei | TUTORIUM |
|
Fr 04.03.2016
|
10.00 - 12.00 | HS 11 HS 11 | Barrierefrei | 2. Klausur |
|
Di 27.09.2016
|
10.00 - 12.00 | HS 10 HS 10 | Barrierefrei | Klausur |