Skip to content

    Read more about Delftse Foundations of Computation - 2nd Edition

    Delftse Foundations of Computation - 2nd Edition

    (1 review)

    Stefan Hugtenburg

    Neil Yorke-Smith

    Copyright Year:

    ISBN 13: 9789463665988

    Publisher: TU Delft Open

    Language: English

    Formats Available

    Conditions of Use

    Attribution-NonCommercial-ShareAlike Attribution-NonCommercial-ShareAlike
    CC BY-NC-SA

    Reviews

    Learn more about reviews.

    Reviewed by Robert Minvielle, Technical Operations Director, ULL on 11/2/19

    I found the book to be concise and thorough. It covers logic, proofs, sets, functions and relations. The method seems to be more towards CS/EE majors, which is what we would like to see. read more

    Table of Contents

    • Chapter 1: Introduction and Learning Objectives
    • Chapter 2: Logic
    • Chapter 3: Proof
    • Chapter 4: Sets, Functions, and Relations
    • Chapter 5: Looking Beyond
    • Selected Solutions
    • Further Reading
    • Index

    Ancillary Material

    Submit ancillary resource

    About the Book

    DELFTSE FOUNDATIONS OF COMPUTATION is a textbook for a one-quarter introductory course in theoretical computer science. It includes top-ics from propositional and predicate logic, proof techniques, discrete structures, 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.

    This book is derived from Foundations of Computation by Carol Critchlow and David Eck, Version 2.3 (Summer 2011), which is licensed under CC BYNC-SA 4.0. Critchlow and Eck are not associated with the TU Delft editions. This book also uses some material from Wikipedia (English) (en.wikipedia. org), which is licensed under CC BY-SA 3.0. The authors of the TU Delft editions are responsible for any errors, and welcome bug reports and suggestions by email or in person.

    Thanks to M. de Jong, T. Klos, I. van Kreveld, F. Mulder, H. Tonino, E. Walraven, and all students who reported bugs or provided exercise solutions. This work can be redistributed in unmodified form, or in modified form with proper attribution and under the same licence as the original, for noncommercial uses only, as specified by the Creative Commons Attribution-Noncommercial-ShareAlike 4.0 Licence (creativecommons.org/licenses/by-ncsa/4.0/).

    About the Contributors

    Authors

    Stefan Hugtenburg holds a MSc in Computer Science from the Delft University of Technology, where he now teaches in the undergraduate Computer Science and Engineering programme. He is involved in all courses of the Algorithmics track in the curriculum, starting with this book and the course Reasoning & Logic, up until the final year course Complexity Theory.

    Neil Yorke-Smith is an Associate Professor of Algorithmics in the Faculty of Electrical Engineering, Mathematics and Computer Science at the Delft University of Technology. His research focuses on intelligent decision making in complex socio-technical situations, with a particular current interest in agent-based methodologies and behavioural factors in automated planning and scheduling. He teaches Reasoning & Logic and graduate courses in Artificial Intelligence.

    Contribute to this Page

    Suggest an edit to this book record