Delftse Foundations of Computation 2nd Edition
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.
KEYWORDS propositional logic, predicate logic, proof techniques, naive set theory, theoretical computer science
Details about the available publication format: Download PDF
August 24, 2022
Copyright (c) 2022 Stefan Hugtenburg, Neil Yorke-Smith
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.