703796 Berechenbarkeitstheorie

Wintersemester 2017/2018 | Stand: 06.03.2018 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/ws17/ct/
siehe Termine
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Mo 02.10.2017
 15.15 - 18.00 3W03 3W03 Barrierefrei
Mo 09.10.2017
 15.15 - 18.00 3W03 3W03 Barrierefrei
Mo 16.10.2017
 15.15 - 18.00 3W03 3W03 Barrierefrei
Mo 23.10.2017
 15.15 - 18.00 3W03 3W03 Barrierefrei
Mo 30.10.2017
 15.15 - 18.00 3W03 3W03 Barrierefrei
Mo 06.11.2017
 15.15 - 18.00 3W03 3W03 Barrierefrei
Mo 13.11.2017
 15.15 - 18.00 3W03 3W03 Barrierefrei
Mo 20.11.2017
 15.15 - 18.00 3W03 3W03 Barrierefrei
Mo 27.11.2017
 15.15 - 18.00 3W03 3W03 Barrierefrei
Mo 04.12.2017
 15.15 - 18.00 3W03 3W03 Barrierefrei
Mo 11.12.2017
 15.15 - 18.00 3W03 3W03 Barrierefrei
Mo 08.01.2018
 15.15 - 18.00 3W03 3W03 Barrierefrei
Mo 15.01.2018
 15.15 - 18.00 3W03 3W03 Barrierefrei
Mo 22.01.2018
 15.15 - 18.00 3W03 3W03 Barrierefrei
Mo 29.01.2018
 15.15 - 18.00 3W03 3W03 Barrierefrei
Fr 09.03.2018
 08.00 - 12.00 HS 11 HS 11 Barrierefrei 1st exam