Print Email Facebook Twitter Delftse Foundations of Computation 2nd Edition Title Delftse Foundations of Computation 2nd Edition Author Hugtenburg, S. (TU Delft Distributed Systems) Yorke-Smith, N. (TU Delft Algorithmics) Date 2022 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. Subject propositional logicpredicate logicproof techniquesnaive set theorytheoretical computer science To reference this document use: http://resolver.tudelft.nl/uuid:262f09fa-78df-4ac8-be1a-ea64b709e5e0 DOI https://doi.org/10.5074/T.2022.005 Publisher TU Delft Open ISBN 978-94-6366-598-8 Edition 2nd Edition Bibliographical note Creative Commons license CC BY-NC-SA 4.0 https://creativecommons.org/licenses/by-nc-sa/4.0/ Part of collection Institutional Repository Document type book Rights © 2022 S. Hugtenburg, N. Yorke-Smith Files PDF 53_Book_Manuscript_370_1_ ... 220824.pdf 6.23 MB Close viewer /islandora/object/uuid:262f09fa-78df-4ac8-be1a-ea64b709e5e0/datastream/OBJ/view