Foundations of Computation
Suitable Age Group: Ages 18–21
Grade Reference
| 🇺🇸 United States | College Freshman – College Senior |
| 🇬🇧 United Kingdom | University Year 1 – University Year 4 |
| 🇮🇳 India | B.Sc. Year 1 – B.Sc. Year 4 |
| 🇳🇬 Nigeria | University Year 1 – University Year 4 |
| 🇿🇦 South Africa | University Year 1 – Honours |
| 🇦🇺 Australia | University Year 1 – Honours |
| 🇨🇦 Canada | University Year 1 – University Year 4 |
About This Textbook
This textbook is designed for a one-semester course in theoretical computer science. It has no prerequisites other than a general familiarity with computer programming.
Table of Contents
Logic and Proof — Sets, Functions, and Relations — Regular Expressions and FSA’s — Grammars — Turing Machines and Computability
