Delftse Foundations of Computation

Book (2018)

Authors

S. Hugtenburg Data-Intensive Systems - EEMCS
N. Yorke-Smith Algorithmics - EEMCS
Research Group
Data-Intensive Systems (EEMCS) (TU Delft)
Copyright: © 2018 S. Hugtenburg, N. Yorke-Smith
DOI: https://doi.org/10.5074/t.isbn.9789463660839
More Info
expand_more

Published Date

2018

Language

English

Faculty

Electrical Engineering, Mathematics and Computer Science

Department

Software Technology

Research Group

Data-Intensive Systems

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.