Logo

Foundations of Computation by Carol Critchlow, David Eck

Small book cover: Foundations of Computation

Foundations of Computation
by

Publisher: Hobart and William Smith Colleges
Number of pages: 256

Description:
The first half of the course covers material on logic, sets, and functions that would often be taught in a course in discrete mathematics. The second part covers material on automata, formal languages, and grammar that would ordinarily be encountered in an upper level course in theoretical computer science.

Home page url

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

Similar books

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.
(12043 views)
Book cover: Delftse Foundations of ComputationDelftse Foundations of Computation
by - TU Delft Open
This 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 CS.
(1295 views)
Book cover: Introduction to Computer Science using JavaIntroduction to Computer Science using Java
by - Central Connecticut State University
The text for a first course in computer science using the programming language Java. It covers the fundamentals of programming and of computer science. It is assumed that you have the Java version 5.0 or later and a text editor such as Notepad.
(21116 views)
Book cover: Mathematical Foundations of Computer ScienceMathematical Foundations of Computer Science
by - Duke University
These lecture notes present an introduction to theoretical computer science including studies of abstract machines, the language hierarchy from regular languages to recursively enumerable languages, noncomputability and complexity theory.
(9544 views)