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: Computational and Inferential Thinking: The Foundations of Data ScienceComputational and Inferential Thinking: The Foundations of Data Science
by - GitBook
Data Science is about drawing useful conclusions from large and diverse data sets through exploration, prediction, and inference. Our primary tools for exploration are visualizations and descriptive statistics, for prediction are machine learning ...
(1557 views)
Book cover: A New Kind of ScienceA New Kind of Science
by - Wolfram Media
Starting from a collection of simple computer experiments -- illustrated in the book by striking computer graphics -- Wolfram shows how their unexpected results force a whole new way of looking at the operation of our universe.
(4515 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.
(7822 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.
(11045 views)