**Foundations of Computation**

by Carol Critchlow, David Eck

**Publisher**: Hobart and William Smith Colleges 2011**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.

Download or read it online for free here:

**Download link**

(1.7MB, PDF)

## Similar books

**CS for All**

by

**Christine Alvarado, et al.**-

**Harvey Mudd College**

Our objective is to provide an introduction to computer science as an intellectually vibrant field rather than focusing exclusively on computer programming. We emphasize concepts and problem-solving over syntax and programming language features.

(

**4437**views)

**Delftse Foundations of Computation**

by

**Stefan Hugtenburg, Neil Yorke-Smith**-

**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.

(

**341**views)

**Advances in Knowledge Representation**

by

**Carlos RamÃrez GutiÃ©rrez**-

**InTech**

A compilation of research works on topics such as concept theory, positive relational algebra and k-relations, structured, visual and ontological models of knowledge representation, and detailed descriptions of applications to various domains.

(

**6281**views)

**Computer Science Introduction to Wolfram Mathematica**

by

**Ilkka Kokkarinen**-

**Ryerson University**

The book is an introduction to Wolfram Mathematica written in computer science spirit, using this language not just for mathematics and equation solving but for all sorts of computer science examples and problems from the standard CS101 exercises...

(

**3250**views)