Logo

Foundations of Computation by Carol Critchlow, David Eck

Small book cover: Foundations of Computation

Foundations of Computation
by

Publisher: Hobart and William Smith Colleges
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.

Home page url

Download or read it online for free here:
Download link
(1.7MB, PDF)

Similar books

Book cover: Rough set data analysis: A road to non-invasive knowledge discoveryRough set data analysis: A road to non-invasive knowledge discovery
by - Methodos Publishers (UK)
In this book the authors present an overview of the work they have done on the foundations and details of data analysis, the first attempt to do this in a non-invasive way. It is a look at data analysis from many different angles.
(11253 views)
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.
(12941 views)
Book cover: Computer Science Logo StyleComputer Science Logo Style
by - The MIT Press
This series is for people who are interested in computer programming because it's fun. The three volumes use the Logo as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence.
(13357 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.
(18155 views)