Delftse Foundations of Computation

Research output: Book/ReportBookProfessional


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
Publication statusPublished - 2024

Bibliographical note

TU Delft OPEN Interactive Textbook


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


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

Cite this