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
14/10/2025
14/10/2025
Section outline
Generating computable functions: Notation.
Closure under generalised composition (Substitution) [§2.1, §2.2, §2.3]
Primitive recursion and examples [§2.4]
Select activity Some notes produced during the lesson
Some notes produced during the lesson
File
Select activity Video recording
Video recording
Kaltura Video Resource