Delftse Foundations of Computation
Keywords:
propositional logic, predicate logic, proof techniques, naive set theory, theoretical computer scienceSynopsis
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.
Downloads
Download data is not yet available.

Downloads
Published
March 19, 2024
Copyright (c) 2024 Stefan Hugtenburg, Neil Yorke-Smith
License

This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Details about this monograph
Publication date (01)
2024-03-19
How to Cite
Delftse Foundations of Computation. (2024). TU Delft OPEN Books. https://doi.org/10.59490/tb.92