Jump to content

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

From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by Daryoush.Alipour (talk | contribs) at 09:36, 21 January 2014 (→‎E lements of Mathematical logic, algorithm theory and automata theory). The present address (URL) is a permanent link to this version.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)


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