Logo

Delftse Foundations of Computation

Small book cover: Delftse Foundations of Computation

Delftse Foundations of Computation
by

Publisher: TU Delft Open
ISBN-13: 9789463660839
Number of pages: 176

Description:
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.

Home page url

Download or read it online for free here:
Download link
(5.1MB, PDF)

Similar books

Book cover: Foundations of Computer ScienceFoundations of Computer Science
by
This text is an introduction to the formal study of computation. The course will provide students with a broad perspective of computer science and will acquaint them with various formal systems on which modern computer science is based.
(9750 views)
Book cover: Computer Science from the Bottom UpComputer Science from the Bottom Up
by - bottomupcs.com
Computer Science from the Bottom Up: a free, online book designed to teach computer science from the bottom end up. Topics covered include binary and binary logic, operating systems internals, toolchain fundamentals and system library fundamentals.
(12415 views)
Book cover: Computer Science Concepts in ScratchComputer Science Concepts in Scratch
by - Weizmann Institute of Science
This book will familiarize you with the Scratch visual programming environment, focusing on using Scratch to learn computer science. Each concept is introduced in order to solve a specific task such as animating dancing images or building a game.
(4589 views)
Book cover: GRE Computer Science Test Practice BookGRE Computer Science Test Practice Book
- Educational Testing Service
This book contains one actual, full-length GRE Computer Science Test and test-taking strategies. The test consists of about 70 multiple-choice questions, some of which are grouped in sets and based on diagrams, graphs, and program fragments.
(14167 views)