• Title Foundations of Computation
• Authors Carol Critchlow, David Eck
• Publisher: Hobart and William Smith Colleges (2011)
• Lic ense(s): Creative Commons Attribution-Noncommercial-ShareAlike 4.0 License
• Paperback: N/A
• eBook: HTML and PDF (256 pages, 1.7 MB)
• Language: English
• ISBN-10: N/A
• ISBN-13: N/A
• Share This:  

Book Description

This is a textbook for a one-semester course in theoretical computer science. 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.

• N/A

• Amazon

• Introduction to Computer Science
• Theory of Computation
• Mathematical Logic - Set Theory, Model Theory, Computability, etc
• Theory of Programming Languages

• Foundations of Computation (Carol Critchlow, et al)
• The Mirror Site (1) - PDF

• Models of Computation: Exploring the Power of Computing (John E. Savage)
• Computer Science from the Bottom Up (Ian Wienand)
• Building Blocks for Theoretical Computer Science (Margaret Fleck)