703796 Berechenbarkeitstheorie

Wintersemester 2014/2015 | Stand: 19.01.2015 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Univ.-Prof. Dr. Aart Middeldorp Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
703796
Berechenbarkeitstheorie
VO 3
6
wöch.
2-Jahresrhythmus
Englisch

Students who have completed this course will have a thorough understanding of computability theory. They are prepared to prove Turing-completeness of models of computation.

The course will cover different models of computation:

  • recursive function theory
  • lambda calculus
  • combinatory logic
  • LOOP/WHILE programs
  • term rewrite systems

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

schriftliche Prüfung

course notes will be made available from the accompanying web site

keine

The course is taught in English.

http://cl-informatik.uibk.ac.at/teaching/ws14/ct/
06.10.2014
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Mo 06.10.2014
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 13.10.2014
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 20.10.2014
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 27.10.2014
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 03.11.2014
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 10.11.2014
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 17.11.2014
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 24.11.2014
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 01.12.2014
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 15.12.2014
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 12.01.2015
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 19.01.2015
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 26.01.2015
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 02.02.2015
 14.15 - 17.00 3W04 3W04 Barrierefrei
Di 24.02.2015
 08.45 - 12.15 3W04 3W04 Barrierefrei 1st exam