703317 VU Selected Chapters in Logic and Learning B: Computability Theory

summer semester 2022 | Last update: 05.05.2022 | Place course on memo list

Department:

Department of Computer Science

Instructor:

Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205

Course number:

703317

Title:

VU Selected Chapters in Logic and Learning B: Computability Theory

Type/hours:

VU 3

ECTS credits:

Period:

weekly

Mode of repetition:

annually

Language of instruction:

English

Learning Outcome:

Advanced understanding of selected advanced areas of specialisation in logic and learning; acquisition of the ability to independently educate themselves in the field. 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.

Contents:

The course will introduce and relate different models of computation:

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

Assessment:

Continuous assessment based on regular written and oral contributions. An optional written test is offered at the end of the course.

Literature:

Extensive slides. Accompanying literature will be linked from the course website.

Prerequisites:

None.

Remarks:

The course is taught in English.

OLAT:

https://lms.uibk.ac.at/url/RepositoryEntry/5167972583

Link:

http://cl-informatik.uibk.ac.at/teaching/ss22/ct/

Start:

see dates

Course allocation

Faculty of Mathematics, Computer Science and Physics

Master's Programme Computer Science according to the Curriculum 2021 (120 ECTS-Credits, 4 semesters)

Elective Modules (50 ECTS-Credits)

Elective Module 8: Selected Chapters of Logic and Learning (10 ECTS-credits, 6 hours)

Sustainable development goals

SDG 4 - Quality education: Ensure inclusive and equitable quality education and promote lifelong learning opportunities for all.
SDG 9 - Industry, Innovation, and Infrastructure: Build resilient infrastructure, promote inclusive and sustainable industrialization, and foster innovation.

Dates

Group 0	Export course dates of this group as iCalendar (.ics) Help
Date	Time	Location
Mon 2022-03-07	14.15 - 17.00	3W03 3W03	Barrier-free
Mon 2022-03-14	14.15 - 17.00	3W03 3W03	Barrier-free
Mon 2022-03-21	14.15 - 17.00	3W03 3W03	Barrier-free
Mon 2022-03-28	14.15 - 17.00	3W03 3W03	Barrier-free
Mon 2022-04-04	14.15 - 17.00	3W03 3W03	Barrier-free
Mon 2022-04-25	14.15 - 17.00	3W03 3W03	Barrier-free
Mon 2022-05-02	14.15 - 17.00	3W03 3W03	Barrier-free
Mon 2022-05-09	14.15 - 17.00	SR 12 SR 12	Barrier-free
Mon 2022-05-16	14.15 - 17.00	HS 11 HS 11	Barrier-free
Mon 2022-05-23	14.15 - 17.00	3W03 3W03	Barrier-free
Mon 2022-05-30	14.15 - 17.00	3W03 3W03	Barrier-free
Mon 2022-06-13	14.15 - 17.00	3W03 3W03	Barrier-free
Mon 2022-06-20	14.15 - 17.00	3W03 3W03	Barrier-free
Wed 2022-06-29	16.15 - 19.00	SR 13 SR 13	Barrier-free	test