Schema della sezione

  • Generation of computable functions

    • Primitive recursion and examples [§2.4]
    • Definition by cases. Algebra of Decidability. Bounded sums and products. Bounded quantification [§2.4.6, §2.4.7, §2.4.10]
    • Bounded minimalisation [§2.4.12, §2.4.13, §2.4.14, §2.4.15]