#computer-science
Maths
›
68. Computer Science
This volume studies theoretical and practical foundations of computation. It connects algorithms, systems, and formal models with mathematical rigor. Part I. Foundations of Computation Chapter 1. Models of Computation 1.1 Finite automata 1.2 Turing machines 1.3 Computability 1.4 Church–Turing thesis 1.5 Examples Chapter 2. Formal Languages 2.1 Alphabets and strings 2.2 Regular languages 2.3 Context-free languages 2.4 Grammars 2.5 Applications Chapter 3. Logic and Proof Systems 3.1 Propositional logic 3.2...