Delftse Foundations of Computation 2nd Edition

Stefan Hugtenburg; Neil Yorke-Smith

doi:10.5074/T.2022.005

Delftse Foundations of Computation 2nd Edition

Stefan Hugtenburg, Neil Yorke-Smith

Research output: Book/Report › Book › Professional

74 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 language	English
Publisher	TU Delft OPEN Publishing
Number of pages	217
Edition	2nd Edition
ISBN (Print)	978-94-6366-598-8
DOIs	https://doi.org/10.5074/T.2022.005
Publication status	Published - 2022

Bibliographical note

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

Keywords

propositional logic
predicate logic
proof techniques
naive set theory
theoretical computer science

Access to Document

10.5074/T.2022.005

53-Book Manuscript-370-1-10-20220824Final published version, 5.96 MBLicence: CC BY-NC-SA

Cite this

@book{262f09fa78df4ac8be1aea64b709e5e0,

title = "Delftse Foundations of Computation 2nd Edition",

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.",

keywords = "propositional logic, predicate logic, proof techniques, naive set theory, theoretical computer science",

author = "Stefan Hugtenburg and Neil Yorke-Smith",

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

year = "2022",

doi = "10.5074/T.2022.005",

language = "English",

isbn = "978-94-6366-598-8 ",

publisher = "TU Delft OPEN Publishing",

address = "Netherlands",

edition = "2nd Edition ",

}

TY - BOOK

T1 - Delftse Foundations of Computation 2nd Edition

AU - Hugtenburg, Stefan

AU - Yorke-Smith, Neil

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

PY - 2022

Y1 - 2022

N2 - 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.

AB - 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.

KW - propositional logic

KW - predicate logic

KW - proof techniques

KW - naive set theory

KW - theoretical computer science

U2 - 10.5074/T.2022.005

DO - 10.5074/T.2022.005

M3 - Book

SN - 978-94-6366-598-8

BT - Delftse Foundations of Computation 2nd Edition

PB - TU Delft OPEN Publishing

ER -

Delftse Foundations of Computation 2nd Edition

Abstract

Bibliographical note

Keywords

Access to Document

Fingerprint

Cite this