Universität Wien

250075 PS Introductory seminar on mathematical logic (2017W)

3.00 ECTS (2.00 SWS), SPL 25 - Mathematik
Continuous assessment of course work

The time will be fixed in a preparatory meeting on 2017-10-02, 12:00pm in the KGRC, 1090, Währinger Str. 25, 2 floor, lecture room number 101.

Details

Language: English

Lecturers

Classes (iCal) - next class is marked with N

The lecture takes place in the lecture room of the Kurt Gödel Research Center (Währinger Straße 25, 2nd floor, 02.101). There will be a preparatory meeting on October 2nd, 2017 at 12:00 in the KGRC lecture room in which we will decide the day and time of the lecture and exercise session. In case you are interested in this lecture and do not have time to come to the preparatory meeting, please send me an e-mail.

  • Friday 06.10. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 13.10. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 20.10. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 27.10. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 03.11. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 10.11. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 17.11. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 24.11. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 01.12. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 15.12. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 12.01. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 19.01. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 26.01. 10:45 - 12:15 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)

Information

Aims, contents and method of the course

In the course we will discuss exercises which complement the lecture "Introduction to mathematical logic".

Assessment and permitted materials

Presentation of the exercises.

Minimum requirements and assessment criteria

Examination topics

Reading list


Association in the course directory

MLOL

Last modified: Fr 18.11.2022 00:23