User:Daryoush.Alipour/Books/Mathematical modeling, numerical methods and software complexes (Part 4)

Elements of Mathematical logic, algorithm theory and automata theory

 * Mathematical logic
 * Theory of computation
 * Automata theory
 * Deduction theorem
 * Consistency
 * Robinson's joint consistency theorem
 * Gödel's completeness theorem
 * Generalized quantifier
 * Recursion
 * IP set
 * Implicit function
 * Turing machine
 * Finite-state machine