Delftse Foundations of Computation (2018)
source link: https://open.umn.edu/opentextbooks/textbooks/delftse-foundations-of-computation
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Delftse Foundations of Computation
Stefan Hugtenburg
Neil Yorke-Smith
Pub Date: 2018
ISBN 13: 9789463660839
Publisher: TU Delft Open
Language: English
Read this book
Conditions of Use
Attribution-NonCommercial-ShareAlike
CC BY-NC-SA
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.
Table of Contents
- Chapter 1: Introduction
- Chapter 2: Logic
- Chapter 3: Proof
- Chapter 4: Sets, Functions, and Relations
- Chapter 5: Looking Beyond
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 Hugtenburgholds 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-Smithis 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.
Recommend
-
56
“Clutter and confusion are not attributes of data - they are shortcomings of design.” – Edward Tufte What is Data Visualization Michael Friendly defines data v...
-
48
Expanding on The Core Protocols, this book is a roadmap for anyone who wants to lead or participate fully in the greatest team experience of their lives. It is short and practical, focused on implementation and tactics...
-
55
“Git is a free and open source distributed version control system designed to handle everything from small to very large projects with speed and efficiency.” — git-scm Being a version control system…
-
49
Foundations, adapters, extensions, middlewares and utilities for Phalcon
-
48
There are currently two main open source foundations that focus on JavaScript: the JavaScript (JS) Foundation, which was founded in 2016, and the Node.js Foundation, which launched in 2015. The JS Foundation’s mission is to sh...
-
67
There are currently two main open-source foundations that focus on JavaScript: the JS Foundation, which was founded in 2016, and the Node.js Foundation, which launched in 2015. The JS Foundation’s mission is to shepherd the ecosystem around the...
-
36
Programmer, Teach Yourself Foundations of ML and AI with these 6 Books You can adopt a pet function! Support my work
-
39
"The Linux Foundation and RISC-V Foundation announced yesterday a joint collaboration project to promote open source development and commercial adoption of the RISC-V instruction set architecture (ISA)," reports TechRepubli...
-
42
“5.6 in April next year and then 7.0 by end of 2019. But also we're teaching users to keep PHP up to date. #WCUS Yes I wish we were going to 7.1 but the foundations to keep updating is getting set. So proud of the team who...
-
27
Data science underlies Amazon’s product recommender, LinkedIn’s People You Know feature, Pandora’s personalized radio stations, Stripe’s fraud detectors, and the incredible insights arising from the world’s increasingly u...
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK