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 ComputationFoundations of Computation
by - Hobart and William Smith Colleges
The book covers material on logic, sets, and functions that would often be taught in a course in discrete mathematics. The second part covers automata, formal languages, and grammar that would ordinarily be encountered in an upper level course.
(18270 views)
Book cover: Computer Science IComputer Science I
by - University of Nebraska - Lincoln
A draft of text book for Computer Science I, covering CS1 topics in a generic manner using psuedocode with supplemental parts for specific languages. Computer Science is not programming. Programming is a necessary skill, but it is only the beginning.
(13009 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.
(19326 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.
(10979 views)