Delftse Foundations of Computation 2nd Edition

Book (2022)
Author(s)

Stefan Hugtenburg (TU Delft - Data-Intensive Systems)

Neil Yorke-Smith (TU Delft - Algorithmics)

Research Group
Data-Intensive Systems
Copyright
© 2022 S. Hugtenburg, N. Yorke-Smith
DOI related publication
https://doi.org/10.5074/T.2022.005
More Info
expand_more
Publication Year
2022
Language
English
Copyright
© 2022 S. Hugtenburg, N. Yorke-Smith
Research Group
Data-Intensive Systems
ISBN (print)
978-94-6366-697-1
ISBN (electronic)
978-94-6366-598-8
Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Abstract

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.