Theory of Computation by S. Arun Kumar by S. Arun Kumar
File Type :PDF Number of Pages :83
Description This book covers the
following topics: The RAM Model, The Primitive Recursive Functions, The
Partial Recursive Functions, Coding and Godelization, The Hierarchy of
Primitive Recursive Functions, Universality and Parametrisation, The typefree
lambda calculus.
