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

**A Machine Made this Book: Ten Sketches of Computer Science**

by

**John Whitington**-

**Coherent Press**

Using examples from the publishing industry, Whitington introduces the fascinating discipline of Computer Science to the uninitiated. Chapters: Putting Marks on Paper; Letter Forms; Storing Words; Looking and Finding; Typing it In; Saving Space; etc.

(

**2453**views)

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

(

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

(

**1232**views)

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

(

**8296**views)