Delftse Foundations of Computation

S. Hugtenburg; N. Yorke-Smith

doi:10.59490/tb.92

Delftse Foundations of Computation

Research output: Book/Report › Book › Professional

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
DOIs	https://doi.org/10.59490/tb.92
Publication status	Published - 2024

Bibliographical note

TU Delft OPEN Interactive Textbook

Keywords

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

Access to Document

10.59490/tb.92Licence: CC BY

Cite this

@book{3d723d5c4edc4318acb419f6e2cfb177,

title = "Delftse Foundations of Computation",

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 = "S. Hugtenburg and N. Yorke-Smith",

note = "TU Delft OPEN Interactive Textbook",

year = "2024",

doi = "10.59490/tb.92",

language = "English",

publisher = "TU Delft OPEN Publishing",

address = "Netherlands",

}

TY - BOOK

T1 - Delftse Foundations of Computation

AU - Hugtenburg, S.

AU - Yorke-Smith, N.

N1 - TU Delft OPEN Interactive Textbook

PY - 2024

Y1 - 2024

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.59490/tb.92

DO - 10.59490/tb.92

M3 - Book

BT - Delftse Foundations of Computation

PB - TU Delft OPEN Publishing

ER -

Delftse Foundations of Computation

Abstract

Bibliographical note

Keywords

Access to Document

Fingerprint

Cite this