TY  - BOOK
AU  - Critchlow,Carol
AU  - Eck,David
ED  - Open Textbook Library
TI  - Foundations of Computation
T2  - Open textbook library
AV  - QA76 
PB  - Open Textbook Library
KW  - Computer Science
KW  - Textbooks
N1  - 1 Logic and Proof -- 2 Sets, Functions, and Relations -- 3 Regular Expressions and FSA's -- 4 Grammars -- 5 Turing Machines and Computability
N2  - 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
UR  - https://open.umn.edu/opentextbooks/textbooks/166
ER  -