Material Detail

Delftse Foundations of Computation | TU Delft OPEN Textbooks

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, theoretical computer science, proof techniques, predicate logic, naive set theory

Disciplines:

Science and Technology / Computer Science

Go to Material

Bookmark / Add to Course ePortfolio

Create a Learning Exercise

Add Accessibility Information

Rate

Add a Comment

Quality

Selected For Peer Review
User Rating
Comments
Learning Exercises
Bookmark Collections
Course ePortfolios
Accessibility Info

Report Broken Link
Report as Inappropriate

More about this material

Material Type:: Open (Access) Textbook
Date Added to MERLOT:: November 9, 2024
Date Modified in MERLOT:: March 14, 2025
Authors:: Stefan Hugtenburg, TU Delft, Faculty of Electrical Engineering, Mathematics & Computer Science
Neil Yorke-Smith, TU Delft, Faculty of Electrical Engineering, Mathematics & Computer Science
Submitter:: Jacqueline Michielen
Primary Audience:: College Upper Division
Technical Format:: Website

Mobile Compatibility:: Not specified at this time
Language:: English
Cost Involved:: No
Source Code Available:: Yes
Creative Commons:: This work is licensed under a Attribution-ShareAlike 4.0 International