Delftse Foundations of Computation
Book
(2024)
Author(s)
S. Hugtenburg (TU Delft - Computer Science & Engineering-Teaching Team)
N. Yorke-Smith (TU Delft - Algorithmics)
DOI related publication
https://doi.org/10.59490/tb.92
Final published version
To reference this document use
https://resolver.tudelft.nl/uuid:3d723d5c-4edc-4318-acb4-19f6e2cfb177
More Info
expand_more
expand_more
Publication Year
2024
Language
English
Bibliographical Note
TU Delft OPEN Interactive Textbook
Publisher
TU Delft OPEN Publishing
Downloads counter
227
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.