Logo

Essentials of Theoretical Computer Science

Small book cover: Essentials of Theoretical Computer Science

Essentials of Theoretical Computer Science
by

Publisher: University of Kentucky
Number of pages: 287

Description:
This text contains the essentials of theoretical computer science. It is a broad introduction to the field, presented from a computer science viewpoint for computer scientists. This was designed to be used in a one-semester course for senior computer science majors or first year masters students.

Download or read it online for free here:
Download link
(1.3MB, 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.
(11207 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.
(15995 views)
Book cover: Computer Science Concepts in ScratchComputer Science Concepts in Scratch
by - Weizmann Institute of Science
This book will familiarize you with the Scratch visual programming environment, focusing on using Scratch to learn computer science. Each concept is introduced in order to solve a specific task such as animating dancing images or building a game.
(2228 views)
Book cover: Delftse Foundations of ComputationDelftse Foundations of Computation
by - 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.
(332 views)