Read more about Delftse Foundations of Computation

Delftse Foundations of Computation

(1 review)

Stefan Hugtenburg

Neil Yorke-Smith

Copyright Year: 2018

ISBN 13: 9789463660839

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
  • Chapter 2: Logic
  • Chapter 3: Proof
  • Chapter 4: Sets, Functions, and Relations
  • Chapter 5: Looking Beyond

Ancillary Material

  • Suggest ancillary resource
  • About the Book

    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.

    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.