Delftse Foundations of Computation 2nd Edition

Research output: Book/ReportBookProfessional

74 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 pages217
Edition2nd Edition
ISBN (Print)978-94-6366-598-8
Publication statusPublished - 2022

Bibliographical note

Creative Commons license CC BY-NC-SA 4.0


  • propositional logic
  • predicate logic
  • proof techniques
  • naive set theory
  • theoretical computer science


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

Cite this