Computer Science 513/601.08 — Information about Assignments

Computer Science 513/601.08 — Information about Assignments

An Assignment

Information about Assignments

Overview

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.

General Information

Information about Academic Integrity

Expectations about Quality of Submitted Work

Assignment #1: Primitive Recursive Functions

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.


University of Calgary Extension of Logo
Department of Computer Science

cpsc 513/601.08 computer science faculty of science u of c

cpsc 513/601.08 intro and math review models of computation first hard problems classifying unsolvable problems post’s problem chomsky hierarchy cpsc 513 course outline cpsc 601.08 course outline more about administration references assignments tests