Delftse foundations of computation
(eBook)
Author
Contributors
Yorke-Smith, Neil, author.
Technische Universiteit Delft, issuing body.
BC Open Textbook Project, distributor.
BCcampus, distributor.
Technische Universiteit Delft, issuing body.
BC Open Textbook Project, distributor.
BCcampus, distributor.
Published
Delft, The Netherlands : Delft University of Technology, 2019.
Format
eBook
Edition
First TU Delft edition (TUD-1.1, August 2019).
Status
Description
Loading Description...
More Details
Language
English
Notes
Bibliography
Includes bibliographical references (page 157) and index.
Description
"Delftse Foundations of Computation is a textbook for an 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"--BCcampus website.