Skip to content
This repository was archived by the owner on Jun 25, 2025. It is now read-only.

gabrielrovesti/Computability-Tutoring-2024-2025

Repository files navigation

Computability Tutoring 2024-2025

Welcome to the repository for notes and solutions to exercises proposed during the Computability course, part of the Master's degree in Computer Science at the University of Padua, taught by Prof. Paolo Baldan for the academic year 2024-2025.

📅 Schedule

# Date Time Room
1 16/10/2024 16:30/18:30 1BC50
2 31/10/2024 16:30/18:30 1BC45
3 06/11/2024 16:30/18:30 1BC50
4 13/11/2024 16:30/18:30 1BC50
5 20/11/2024 16:30/18:30 1BC50
6 27/11/2024 16:30/18:30 1BC50
7 04/12/2024 16:30/18:30 1BC50
8 11/12/2024 16:30/18:30 1BC50
9 18/12/2024 16:30/18:30 1BC50
10 08/01/2025 16:30/18:30 1BC50
11 15/01/2025 16:30/18:30 1BC50
12 22/01/2025 16:30/18:30 1BC50

📁 Repository Structure

For each meeting, accompanied with date, there is the notes file being written by me during the lesson (tablet-based) and the PDF transcription of the same notes, so to help you use directly this one in case of misunderstandings and also to have a more coherent form.

I do specify that for each meeting there is a folder called "Useful files", which can be used as summary to study for exams or just to personally get a better grasp of the presented lesson's content. It's all present there to help: material there is also found within the web (owners are specified), given this is material found easily within search engine searches (or custom created so to help you).

Other files were added overtime, like the agenda of the course I received as tutor (and for you to be organized upfront) and other guides to completely cover this subject + my biggest notes file I created. Many more here.

Subfolders present

  • "General course notations"

    • Helps to read and understand the notation of the course and of each meeting of the tutoring activities presented
    • Includes documents on functions, minimization, Cantor's method, SMN Theorem, predicates, recursive sets, Rice's theorem and Rice-Shapiro Theorem
  • "Exercises with no solutions"

    • Helps you in seeing all of the solutions for exercises from the professor PDF currently with no official solutions plus some exercises from older exams with the same logic
    • It's intended to be a guidance and a draft, so in case of errors or doubts, feel free to feedback
  • "General guides"

    • Notes written specifically for each exercise category
    • Includes guides on recursive functions, proving non-computability, Rice's theorem, S-m-n Theorem, universal functions, predicates, and more
  • "Meetings - Tutorings"

    • Contains all tutoring sessions organized by date
    • Each meeting folder includes:
      • Lesson notes (tablet-written .xopp)
      • PDF transcription
      • PC-written notes in both .docx and PDF formats
      • "Useful files" subfolder with topic-specific materials
  • "Notes"

    • My notes file - complete of everything - written last year for this course and updated on some peers suggestions (always welcome!)
  • "Exam Guides"

    • Some files I gathered to help you passing this exam or custom created + a merge of previous exams solved so for you to have practical guidance
  • "Older Tutorings Recordings"

    • Links to previous recordings of other tutoring activities of this subject - big thanks to Riccardo Borsetto and Giacomo Stevanato for those (completementary to all the material present here)
  • "Solved Exams with No Solutions"

    • Possible solutions to ALL previous exams with no solutions - up to 2025, to FULLY cover this subject, in a 200% complete way

📚 Recommended Study Materials

Textbooks and notes

💡 Feedback and Suggestions

For any questions or clarifications, please don't hesitate to reach out!

In this case, please:


About

Material for the Tutoring of the Computability Course for the M.Sc. in Computer Science held at UniPD in 2024-2025

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published