Models of Computation

More about the book

Focusing on foundational models of computation, this book explores various programming paradigms and their mathematical underpinnings. It includes formal techniques for reasoning and proving properties of each model. Initial chapters cover structure, meaning, semantic methods, inference rules, and logic programming. Subsequent sections delve into a simple imperative language (IMP), a higher-order functional language (HOFL), as well as concurrent, nondeterministic, interactive, and probabilistic models, providing a comprehensive overview of computational theories.