Universität Wien

250130 VO Topics in computability (2016W)

3.00 ECTS (2.00 SWS), SPL 25 - Mathematik

More information here:

http://www.logic.univie.ac.at/~muellem3/teaching.html

Details

Language: English

Examination dates

Lecturers

Classes (iCal) - next class is marked with N

  • Tuesday 04.10. 15:30 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Tuesday 11.10. 15:30 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Tuesday 18.10. 15:30 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Tuesday 25.10. 15:30 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Tuesday 08.11. 15:30 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Tuesday 15.11. 15:30 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Tuesday 22.11. 15:30 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Tuesday 29.11. 15:30 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Tuesday 06.12. 15:30 - 17:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Tuesday 13.12. 15:30 - 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

Assessment and permitted materials

Minimum requirements and assessment criteria

oral examination by personal appointment

Examination topics

Reading list

Association in the course directory

MLOV

Last modified: Fr 18.11.2022 00:23