703007 Einführung in die Theoretische Informatik

Wintersemester 2015/2016 | Stand: 02.09.2016 LV auf Merkliste setzen
703007
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
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