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: Mathematical Foundations of Computer ScienceMathematical Foundations of Computer Science
by - Duke University
These lecture notes present an introduction to theoretical computer science including studies of abstract machines, the language hierarchy from regular languages to recursively enumerable languages, noncomputability and complexity theory.
(18152 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.
(27670 views)
Book cover: Advances in Knowledge RepresentationAdvances in Knowledge Representation
by - 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.
(12652 views)
Book cover: Common LISP: A Gentle Introduction to Symbolic ComputationCommon LISP: A Gentle Introduction to Symbolic Computation
by - Benjamin-Cummings Pub Co
This is a gentle introduction to Common Lisp for students taking their first programming course. No prior mathematical background beyond arithmetic is assumed. There are lots of examples, the author avoided technical jargon.
(29243 views)