Logo

Building Blocks for Theoretical Computer Science

Small book cover: Building Blocks for Theoretical Computer Science

Building Blocks for Theoretical Computer Science
by

Publisher: University of Illinois, Urbana-Champaign
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.

Home page url

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

Similar books

Book cover: A Computer Science Tapestry: Exploring Computer Science with C++A Computer Science Tapestry: Exploring Computer Science with C++
by - McGraw - Hill
This book is designed for a first course in computer science that uses C++ as the programming language. The goal was to leverage the best features of the language using sound practices of programming and pedagogy in the study of computer science.
(9367 views)
Book cover: Introduction to High-Performance Scientific ComputingIntroduction to High-Performance Scientific Computing
by - University of Texas
A computational scientist needs knowledge of several aspects of numerical analysis and discrete mathematics. This text covers: computer architecture, parallel computers, machine arithmetic, numerical linear algebra, applications.
(8309 views)
Book cover: Concepts, Techniques, and Models of Computer ProgrammingConcepts, Techniques, and Models of Computer Programming
by - 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.
(13494 views)
Book cover: Computer Science Introduction to Wolfram MathematicaComputer Science Introduction to Wolfram Mathematica
by - 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...
(2558 views)