About This Textbook
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.
Author
Stefan Hugtenburg and Neil Yorke-Smith
Publisher
TU Delft
Publish Date
2018
Level
Undergraduate
License
CC BY-NC-SA 4.0 except where otherwise noted
Attribution
Delftse Foundations of Computation by Stefan Hugtenburg and Neil Yorke-Smith is licensed under a CC BY-NC-SA 4.0 license.
License
This resource is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.