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


Mathematical modeling, numerical methods and software complexes (Part 4)

edit

Elements of Mathematical logic, algorithm theory and automata theory

edit
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