Mathematical Foundations of Computer Science: COMPSCI 350 Semester 1, City Campus

The aim of this paper is to present mathematical models for computers and computation, and derive results about what can and cannot be computed. It deals with idealised computers (automata) which operate on idealised input and output (formal languages).

For more information visit detailed course page.