Building Blocks for Theoretical Computer Science
by Margaret M. Fleck
Publisher: University of Illinois, Urbana-Champaign 2013
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.
Download or read it online for free here:
Download link
(1.1MB, PDF)
Similar books
Insight into Theoretical and Applied Informaticsby Andrzej Yatsko, Walery Suslow - De Gruyter Open
The objective of this book is to provide the reader with all the necessary elements to get him or her started in the modern field of informatics and to allow him or her to become aware of the relationship between key areas of computer science.
(10194 views)
Advances in Knowledge Representationby Carlos RamÃrez Gutiérrez - 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.
(14044 views)
Mathematical Foundations of Computer Scienceby Susan Rodger - 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.
(19655 views)
Foundations of Computationby Carol Critchlow, David Eck - Hobart and William Smith Colleges
The book covers material on logic, sets, and functions that would often be taught in a course in discrete mathematics. The second part covers automata, formal languages, and grammar that would ordinarily be encountered in an upper level course.
(18351 views)