Textbook
Textbook image

Delftse Foundations of Computation


Author: Stefan Hugtenburg, TU Delft, Neil Yorke-Smith, TU Delft
Source: BC Campus

Share

Description
Delftse Foundations of Computation is a textbook for an introductory course in theoretical computer science. It includes topics from propositional and predicate logic, proof techniques, set theory and the theory of computation, along with practical applications to computer science. It has no prerequisites other than a general familiarity with computer programming.