Computer Science 513/601.08 — Information about Assignments
Information about what is expected and allowed for assignments, assignment submission, and descriptions of the assignments, are provided below.
Additional details about the assignments will be provided to students using the course’s D2L page.
The initial assignment tests students’ understanding of primitive recursive functions, and their ability to use the kind of recursive definition — that used to define these — to show that a given function is primitive recursive.
Another — even more limited — class of “computable” total functions is also introduced and considered in a second question. An optional bonus question gives students an early chance to develop a “hardness” result, by showing that the two classes of functions, that have now been introduced, are different.