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

**Concrete Abstractions: An Introduction to Computer Science Using Scheme**

by

**Max Hailperin, Barbara Kaiser, Karl Knight**-

**Course Technology**

The book Concrete Abstractions covers the programming and data structures basics. It will give first-time computer science students the opportunity to not only write programs, but to prove theorems and analyze algorithms as well.

(

**18769**views)

**Concepts, Techniques, and Models of Computer Programming**

by

**Peter Van Roy, Seif Haridi**-

**The MIT Press**

Covered topics: concurrency, state, distributed programming, constraint programming, formal semantics, declarative concurrency, message-passing concurrency, forms of data abstraction, building GUIs, transparency approach to distributed programming.

(

**24850**views)

**Computer Science from the Bottom Up**

by

**Ian Wienand**-

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

(

**15506**views)

**Modern Information Systems**

by

**Christos Kalloniatis**-

**InTech**

This book may assist researchers on studying the innovative functions of modern information systems in various areas like health, telematics, knowledge management, etc. It can also assist young students in capturing the new research tendencies.

(

**10444**views)