703007 Einführung in die Theoretische Informatik

Wintersemester 2013/2014 | Stand: 13.09.2013 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

Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.

Lehrveranstaltungsprüfung gemäß § 7 Satzungsteil, Studienrechtliche Bestimmungen

Wird im Rahmen der ersten Lehrveranstaltung besprochen.

http://cl-informatik.uibk.ac.at/teaching/ws13/eti
04.10.2013
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Fr 04.10.2013
 08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 08.10.2013
 17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 11.10.2013
 08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 15.10.2013
 17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 18.10.2013
 08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 22.10.2013
 17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 25.10.2013
 08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 29.10.2013
 17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Di 05.11.2013
 17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 08.11.2013
 08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 12.11.2013
 17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 15.11.2013
 08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 19.11.2013
 17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 22.11.2013
 08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 26.11.2013
 17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 29.11.2013
 08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 03.12.2013
 17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 06.12.2013
 08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 10.12.2013
 17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 13.12.2013
 08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 07.01.2014
 17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 10.01.2014
 08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 14.01.2014
 17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 17.01.2014
 08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 21.01.2014
 17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 24.01.2014
 08.15 - 10.00 HSB 2 HSB 2 Barrierefrei
Di 28.01.2014
 17.00 - 18.00 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 31.01.2014
 08.15 - 10.00 HSB 2 HSB 2 Barrierefrei