Universität Wien FIND

Due to the COVID-19 pandemic, changes to courses and exams may be necessary at short notice. Inform yourself about the current status on u:find and check your e-mails regularly.

Please read the information on https://studieren.univie.ac.at/en/info.

250052 VO Introduction to Theoretical Computer Science (2021S)

5.00 ECTS (3.00 SWS), SPL 25 - Mathematik

Registration/Deregistration

Note: The time of your registration within the registration period has no effect on the allocation of places (no first come, first served).

Details

Language: English

Examination dates

Lecturers

Classes (iCal) - next class is marked with N

Monday 01.03. 11:15 - 12:45 Digital
Wednesday 03.03. 08:45 - 10:15 Digital
Monday 08.03. 11:15 - 12:45 Digital
Wednesday 10.03. 08:45 - 10:15 Digital
Monday 15.03. 11:15 - 12:45 Digital
Wednesday 17.03. 08:45 - 10:15 Digital
Monday 22.03. 11:15 - 12:45 Digital
Wednesday 24.03. 08:45 - 10:15 Digital
Monday 12.04. 11:15 - 12:45 Digital
Wednesday 14.04. 08:45 - 10:15 Digital
Monday 19.04. 11:15 - 12:45 Digital
Wednesday 21.04. 08:45 - 10:15 Digital
Monday 26.04. 11:15 - 12:45 Digital
Wednesday 28.04. 08:45 - 10:15 Digital
Monday 03.05. 11:15 - 12:45 Digital
Wednesday 05.05. 08:45 - 10:15 Digital
Monday 10.05. 11:15 - 12:45 Digital
Wednesday 12.05. 08:45 - 10:15 Digital
Monday 17.05. 11:15 - 12:45 Digital
Wednesday 19.05. 08:45 - 10:15 Digital
Wednesday 26.05. 08:45 - 10:15 Digital
Monday 31.05. 11:15 - 12:45 Digital
Wednesday 02.06. 08:45 - 10:15 Digital
Monday 07.06. 11:15 - 12:45 Digital
Wednesday 09.06. 08:45 - 10:15 Digital
Monday 14.06. 11:15 - 12:45 Digital
Wednesday 16.06. 08:45 - 10:15 Digital
Monday 21.06. 11:15 - 12:45 Digital
Wednesday 23.06. 08:45 - 10:15 Digital
Monday 28.06. 11:15 - 12:45 Digital
Wednesday 30.06. 08:45 - 10:15 Digital

Information

Aims, contents and method of the course

We will cover topics in recursion theory and computational complexity.

Assessment and permitted materials

The (oral) exam will take place on June 30. Please let me know a couple of days beforehand if you intend to take the exam then.
There will be another possibility sometime in July.

Minimum requirements and assessment criteria

Examination topics

Reading list

H. B. Enderton "Computability Theory: An Introduction to Recursion Theory"
S. Arora, B. Barak "Computational Complexity: A Modern Approach"

Association in the course directory

MLOI

Last modified: Mo 04.10.2021 14:30