Foundations of Computation – Age 18 (Bachelor's)
Grade Equivalents
| 🇺🇸 United States | College Freshman |
| 🇬🇧 United Kingdom | University Year 1 |
| 🇮🇳 India | B.A./B.Sc. Year 1 |
| 🇳🇬 Nigeria | University Year 1 |
| 🇿🇦 South Africa | University Year 1 |
| 🇦🇺 Australia | University Year 1 |
| 🇨🇦 Canada | University Year 1 |
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