Delftse Foundations of Computation

Research output: Book/ReportBookProfessional

547 Downloads (Pure)


Delftse Foundations of Computation is a textbook for a one quarter 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.
Original languageEnglish
PublisherTU Delft OPEN Publishing
Number of pages118
ISBN (Print)978-94-6366-083-9
Publication statusPublished - 2018

Bibliographical note

Creative Commons license CC BY-NC-SA 4.0


Dive into the research topics of 'Delftse Foundations of Computation'. Together they form a unique fingerprint.

Cite this