Marco Benini

Mathematical Logic – Online Course

Due to the covid-19 pandemic, the course in Mathematical Logic will be held online. Although the material (required content, slides, etc.) will be the same, the lessons will be remote and pre-registered. The format of a lesson changes too: instead of a remote classroom lecture, a series of video clips are provided, possibly with some additional notes. Note that video clips have subtitles in English and Italian.

The student is required to see and read the material in advance. Afterwards, at scheduled time (sorry, this is independent from the teacher) there will be question answering (Q/A) sessions, which will be online using the university conference call system. The schedule of the Q/A sessions will appear in due time on this page. During a Q/A session it is assumed that a student has already seen the clips and the additional material the session is referring to.

Assignments will be managed by making them available online at a predefined time. The student has two hours to send back the answer via email (use the official university address) to the teacher. 

To connect to a Q/A session, follow the provided link and authenticate on the university website.

In general, a video clip is more compact than a traditional lecture: the ratio used in this course is that 10 minutes of a clip correspond roughly to 30 minutes of a class lesson. Please, keep in mind that this ratio indicates that students have to perform more work. Clips are organised as conceptual units.

Lectures

  1. Clips: 1, 2; notes
  2. Clips: 1, 2, 3, 4, 5, 6, 7
  3. Clips: 1; Q/A session – March 5, 2021, 15:30-18:30
  4. Clips: 1, 2, 3
  5. Clips: 1, 2, 3; Q/A session – March 12, 2021, 15:30-18:30
  6. Clips: 1; Q/A session – March 19, 2021, 15:30-18:30 (to discuss all the issues in lectures 2-6)
  7. Clips: 1, 2, 3, 4
  8. Clips: 1
  9. Clips: 1, 2, 3; Q/A session – March 26, 2021, 15:30-18:30
    First assignment (April 9, 2021, 10:30-12:30)
  10. Clips: 1
  11. Q/A session – April 9, 2021, 15:30-18:30
  12. Clips: 1, 2, 3, 4, 5
  13. Clips: 1, 2, 3, 4, 5; Q/A session – April 16, 2021, 15:30-18:30 (to discuss all the issues in lectures 7-12)
  14. Clips: 1, 2, 3
  15. Clips: 1, 2, 3, 4, 5, 6, 7; Q/A session – April 23, 2021, 15:30-18:30 (to discuss all the issues in lectures 13-15)
    Second assignment (April 30, 2021, 10:30-12:30)
  16. Clips: 1, 2, 3, 4, 5, 6
  17. Clips: 1, 2, 3; Q/A session – April 30, 2021, 15:30-18:30
  18. Clips: 1
  19. Clips: 1, 2, 3; Q/A session – May 7, 2021, 15:30-18:30 (to discuss all the issues in lectures 16-18)
  20. Clips: 1, 2, 3, 4, 5
  21. Clips: 1, 2, 3; Q/A session – May 14, 2021, 15:30-18:30 (to discuss all the issues in lectures 19-21)
  22. Clips: 1, 2, 3
  23. Clips: 1; Q/A session – May 21, 2021, 15:30-18:30
    Third assignment (May 28, 10:30-12:30)
  24. Clips: 1, 2, 3
  25. Clips: 1, 2; Q/A session – May 28, 15:30-18:30
  26. Clips: 1, 2; Q/A session – June 4, 15:30-18:30  (to discuss all the issues in lectures 22-26)
  27. Q/A session – June 11, 15:30-18:30 (to discuss the issues of the whole course)
  28. Q/A session – June 18, 15:30-18:30 (to discuss the issues of the whole course)
    Fourth assignment (June 15, 10:30-12:30)