COMPUTABILITY 2025-2026 - SCQ1098231, Settimana: 13/10/2025 | STEM

Macroarea STEM

Home Calendario Unipd Portale Didattica Orari Uniweb Webmail My Media

Schema della sezione

Exercises on some variants of the URM machine

Decidable predicates. [§1.4]

Computability on domains different from the natural numbers. [§1.5, §3.6]
- Seleziona attività Some notes produced during the lesson
  
  Some notes produced during the lesson File
- Seleziona attività Video recording
  
  Video recording Kaltura Video Resource