Skip to main content
If you continue browsing this website, you agree to our policies:
Condizioni di utilizzo e trattamento dei dati
Conservazione, tracciabilità e accesso ai materiali didattici digitali
Continue
x
English (en)
English (en)
Français (fr)
Italiano (it)
You are currently using guest access
Log in
Macroarea STEM
Home
Calendar
Unipd
Course Catalogue
Timetables
Uniweb
Webmail
My Media
Home
Calendar
Unipd
Course Catalogue
Timetables
Uniweb
Webmail
My Media
More
Expand all
Collapse all
Open course index
Open block drawer
DEPARTMENT OF MATHEMATICS "Tullio Levi-Civita" - DM
A.A.2026 - 2027
Laurea Magistrale
SC2598 - COMPUTER SCIENCE
Computability 26/27
10 October - 16 October
12/10/2026
12/10/2026
Section outline
Exercises on some variants of the URM machine
Decidable predicates. [§1.4]
Computability on domains different from the natural numbers. [§1.5, §3.6]
Select activity Some notes produced during the lesson
Some notes produced during the lesson
File
Select activity Video recording
Video recording
Kaltura Video Resource