Delftse Foundations of Computation

Book (2024)
Author(s)

S. Hugtenburg (TU Delft - Computer Science & Engineering-Teaching Team)

N. Yorke-Smith (TU Delft - Algorithmics)

Research Group
Computer Science & Engineering-Teaching Team
DOI related publication
https://doi.org/10.59490/tb.92
More Info
expand_more
Publication Year
2024
Language
English
Research Group
Computer Science & Engineering-Teaching Team
Bibliographical Note
TU Delft OPEN Interactive Textbook@en

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.

No files available

Metadata only record. There are no files for this record.