Main content

Delftse foundations of computation

Details:

  • Resource Links:
    Author: Yorke-Smith, Neil; Hugtenburg, Stefan
    Contributor: Technische Universiteit Delft; BC Open Textbook Project; BCcampus
    Edition: First TU Delft edition (TUD-1.1, August 2019)
    Date:
    Created
    2019
    Summary:

    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.

    Contents:
    • 1. Introduction
    • 2. Logic. Propositional logic ; Boolean algebra ; Application: logic circuits ; Predicate logic ; Deduction
    • 3. Proof. A little historical background ; Mathematical proof ; Proof by contradiction ; Mathematical induction ; Strong mathematical induction ; Application: recursion and induction ; Recursive definitions ; Invariants
    • 4. Sets, Functions, and Relations. Basic concepts ; The Boolean algebra of sets ; Application: Programming with sets ; Functions ; Application: programming with functions ; Counting past infinity ; Relations ; Application: relational databases
    • 5. Looking Beyond.
    Genre:
    Instructional and educational works, Computer science
    Subject(s): Computer Science
    Original Publisher: Delft, The Netherlands, Delft University of Technology
    Language(s): English
    Collection(s)/Series: BC Open Textbooks