Foundations of Computation

(1 review)

star01star02star03star04star05

Carol Critchlow, Hobart and William Smith Colleges
David Eck, Hobart and William Smith Colleges

Pub Date: 2011

ISBN 13:

Publisher: Independent

Read This Book

Conditions of Use

Attribution-NonCommercial-ShareAlike
CC BY-NC-SA

Reviews

  All reviews are licensed under a CC BY-ND license.

Learn more about reviews.

star01star02star03star04star05

Reviewed by Nathanael DePano, Associate Professor, University of New Orleans, on 2/16/2017.

The text covers all areas and ideas of the subject appropriately, missing only the last portion of the NP problem that is discussed in my class … read more

 

Table of Contents

  • Chapter 1: Logic and Proof
  • Chapter 2: Sets, Functions, and Relations
  • Chapter 3: Regular Expressions and FSA's
  • Chapter 4: Grammars
  • Chapter 5: Turing Machines and Computability

About the Book

Foundations of Computation is a free textbook for a one-semester course in theoretical computer science. It has been used for several years in a course at Hobart and William Smith Colleges. The course has no prerequisites other than introductory computer programming. 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.

About the Contributors

Author(s)

Carol Critchlow, Associate Professor, Department of Mathematics and Computer Science, Hobart and William Smith Colleges. Critchlow received her PhD in Applied Mathematics from Cornell University in 1991 and joined the faculty of Hobart and William Smith Colleges the same year.

David J. Eck, PhD in Mathematics, Brandeis University, 1980. Professor, Department of Mathematics and Computer Science, Hobart and William Smith Colleges, Geneva, New York.