Universität Wien
Warning! The directory is not yet complete and will be amended until the beginning of the term.

250073 VO Introduction to theoretical computer science (2017W)

5.00 ECTS (3.00 SWS), SPL 25 - Mathematik

There is no lecture on Oct. 10. The second lecture will take place on the Oct. 17.

Details

Language: English

Examination dates

Lecturers

Classes (iCal) - next class is marked with N

  • Tuesday 03.10. 15:15 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Tuesday 17.10. 15:15 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Tuesday 24.10. 15:15 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Tuesday 31.10. 15:15 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Tuesday 07.11. 15:15 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Tuesday 14.11. 15:15 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Tuesday 21.11. 15:15 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Tuesday 28.11. 15:15 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Tuesday 05.12. 15:15 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Tuesday 12.12. 15:15 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Tuesday 09.01. 15:15 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Tuesday 16.01. 15:15 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Tuesday 23.01. 15:15 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Tuesday 30.01. 15:15 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)

Information

Aims, contents and method of the course

This is an introductory course in theoretical computer science. It offers knowledge in recursion theory and computational complexity. Some elementary knowledge in mathematical logic will be helpful.

Assessment and permitted materials

Minimum requirements and assessment criteria

oral examination by personal appointment

Examination topics

Reading list

Association in the course directory

MLOI

Last modified: Fr 18.11.2022 00:23