Mathematical Foundations of Computer Science
by Susan Rodger
Publisher: Duke University 1998
Description:
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.
Download or read it online for free here:
Download link
(multiple PDF, PS files)
Similar books
A New Kind of Science
by Stephen Wolfram - 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.
(13576 views)
by Stephen Wolfram - 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.
(13576 views)
Computer Science Concepts in Scratch
by Michal Armoni, Moti Ben-Ari - 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.
(7853 views)
by Michal Armoni, Moti Ben-Ari - 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.
(7853 views)
Delftse Foundations of Computation
by Stefan Hugtenburg, Neil Yorke-Smith - 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.
(6114 views)
by Stefan Hugtenburg, Neil Yorke-Smith - 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.
(6114 views)
Building Blocks for Theoretical Computer Science
by Margaret M. Fleck - University of Illinois, Urbana-Champaign
This book provides a survey of basic mathematical objects, notation, and techniques useful in later computer science courses. It gives a brief introduction to some key topics: algorithm analysis and complexity, automata theory, and computability.
(12116 views)
by Margaret M. Fleck - University of Illinois, Urbana-Champaign
This book provides a survey of basic mathematical objects, notation, and techniques useful in later computer science courses. It gives a brief introduction to some key topics: algorithm analysis and complexity, automata theory, and computability.
(12116 views)