TY - BOOK
T1 - Delftse Foundations of Computation
AU - Hugtenburg, Stefan
AU - Yorke-Smith, Neil
N1 - Creative Commons license CC BY-NC-SA 4.0 https://creativecommons.org/licenses/by-nc-sa/4.0/
PY - 2018
Y1 - 2018
N2 - 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.
AB - 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.
UR - http://resolver.tudelft.nl/uuid:d5e74054-2265-4540-86de-7984005bf183
U2 - 10.5074/t.isbn.9789463660839
DO - 10.5074/t.isbn.9789463660839
M3 - Book
SN - 978-94-6366-083-9
BT - Delftse Foundations of Computation
PB - TU Delft OPEN Publishing
ER -