PCSE Department Courses

CPSC 470. Theoretical Computer Science (3-3-0)

Prerequisite: CPSC 260, CPSC 270 and MATH 240.
Offering: Fall.

Presentation of basic results relating to formal models of computation. Emphasis is placed on developing skills in understanding rigorous definitions in computing and in determining their logical consequences.

Back to courses.