**Building Blocks for Theoretical Computer Science**

by Margaret M. Fleck

**Publisher**: University of Illinois, Urbana-Champaign 2013**Number of pages**: 271

**Description**:

This book teaches you how to read and write mathematical proofs. It provides a survey of basic mathematical objects, notation, and techniques which will be useful in later computer science courses. And, finally, it gives a brief introduction to some key topics in theoretical computer science: algorithm analysis and complexity, automata theory, and computability.

Download or read it online for free here:

**Download link**

(1.1MB, PDF)

## Similar books

**Foundations of Computer Science**

by

**Hans-Peter Bischof**

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.

(

**7242**views)

**Handbook of Knowledge Representation**

by

**Frank van Harmelen, Vladimir Lifschitz, Bruce Porter**-

**Elsevier Science**

Knowledge Representation is concerned with encoding knowledge on computers to enable systems to reason automatically. The Handbook of Knowledge Representation is an up-to-date review of twenty-five key topics in knowledge representation.

(

**7120**views)

**Computer Science Concepts in Scratch**

by

**Michal Armoni, Moti Ben-Ari**-

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

(

**2000**views)

**Foundations of Computation**

by

**Carol Critchlow, David Eck**-

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

(

**8375**views)