Foundations of Computation
by Carol Critchlow, David Eck
Publisher: Hobart and William Smith Colleges 2011
Number of pages: 256
Description:
The first half of the course covers material on logic, sets, and functions that would often be taught in a course in discrete mathematics. The second part covers material on automata, formal languages, and grammar that would ordinarily be encountered in an upper level course in theoretical computer science.
Download or read it online for free here:
Download link
(1.7MB, PDF)
Similar books
Delftse Foundations of Computationby 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.
(6435 views)
Modern Information Systemsby Christos Kalloniatis - InTech
This book may assist researchers on studying the innovative functions of modern information systems in various areas like health, telematics, knowledge management, etc. It can also assist young students in capturing the new research tendencies.
(11575 views)
Computer Science from the Bottom Upby Ian Wienand - bottomupcs.com
Computer Science from the Bottom Up: a free, online book designed to teach computer science from the bottom end up. Topics covered include binary and binary logic, operating systems internals, toolchain fundamentals and system library fundamentals.
(16797 views)
Building Blocks for Theoretical Computer Scienceby 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.
(12532 views)