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.
| # | 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 |
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).
It's also present a "Notations" folder, to further help you with symbols used during the course or some sort of summary.
- 📘 Nigel Cutland - Computability: An Introduction to Recursive Function Theory
- 📗 Computability - some unofficial notes
For any questions or clarifications, please don't hesitate to reach out!
In this case, please:
- ✉️ Send me an email - gabriel.rovesti@studenti.unipd.it
- 🌐 Foster a discussion in the Telegram group or write me - @gabrielrovesti