Skip to main content
If you continue browsing this website, you agree to our policies:
Condizioni di utilizzo e trattamento dei dati
Continue
x
English (en)
English (en)
Français (fr)
Italiano (it)
You are currently using guest access
Log in
Macroarea STEM
Home
Calendar
Unipd
Educational Offer
Timetables
Uniweb
Webmail
My Media
Home
Calendar
Unipd
Educational Offer
Timetables
Uniweb
Webmail
My Media
More
Expand all
Collapse all
Open course index
Computability 25-26
13 October - 19 October
13/10/2025
13/10/2025
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