703007 Einführung in die Theoretische Informatik

Wintersemester 2012/2013 | Stand: 11.03.2014 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
Beginn: siehe Termine
Gruppe 0
Datum Uhrzeit Ort
Fr 05.10.2012
08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 09.10.2012
17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 12.10.2012
08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 16.10.2012
17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 19.10.2012
08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 23.10.2012
17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Di 30.10.2012
17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Di 06.11.2012
17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 09.11.2012
08.15 - 10.00 Gr. HS Gr. HS Barrierefrei
Di 13.11.2012
17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 16.11.2012
08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 20.11.2012
17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 23.11.2012
08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 27.11.2012
17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 30.11.2012
08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 04.12.2012
17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 07.12.2012
08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 11.12.2012
17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 14.12.2012
08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 08.01.2013
17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 11.01.2013
08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 15.01.2013
17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 18.01.2013
08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 22.01.2013
17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 25.01.2013
08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 29.01.2013
17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Di 29.01.2013
18.00 - 20.00 HS F (Technik) HS F (Technik) Barrierefrei Klausurvorbereitung
Fr 01.02.2013
08.15 - 10.00 HSB 2 HSB 2 Barrierefrei