User:VladimirCharkot/Books/Information Theory


 * Information theory
 * Computable function
 * Lambda calculus
 * Μ-recursive function
 * Turing machine
 * Turing completeness
 * Church–Turing thesis