Jump to content

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

From Wikipedia, the free encyclopedia


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