703007 Einführung in die Theoretische Informatik

Wintersemester 2012/2013 | Stand: 11.03.2014 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Univ.-Prof. Dr. Georg Moser Univ.-Prof. Dr. Georg Moser, +43 512 507 53213
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
http://cl-informatik.uibk.ac.at/teaching/ws12/eti/
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
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