Delftse Foundations of Computation

Research output: Book/ReportBookProfessional

1453 Downloads (Pure)

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.
Original languageEnglish
PublisherTU Delft OPEN
Number of pages118
ISBN (Print)978-94-6366-083-9
DOIs
Publication statusPublished - 2018

Bibliographical note

Creative Commons license CC BY-NC-SA 4.0 https://creativecommons.org/licenses/by-nc-sa/4.0/

Fingerprint

Dive into the research topics of 'Delftse Foundations of Computation'. Together they form a unique fingerprint.

Cite this