Universität Wien
Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.

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

Sprache: Englisch

Prüfungstermine

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

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

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

Art der Leistungskontrolle und erlaubte Hilfsmittel

Mindestanforderungen und Beurteilungsmaßstab

oral examination by personal appointment

Prüfungsstoff

Literatur

Zuordnung im Vorlesungsverzeichnis

MLOV

Letzte Änderung: Fr 18.11.2022 00:23