Some complicated sentences of an article.

  • 63
  • 3
  • 1
  • English 
Aug 5, 2018 23:52
Some complicated sentences of an article.

The number of vertexes is a deterministic machine time of operation on input X.

All notions described in this paper are strictly formalizable within the Zermelo–Fraenkel set theory using methods described in [1,2,3].

In the author's report [4], the Q-valued elementary functions of hyperrational argument are introduced.

These functions are called to model real functions and to make reduction of transcendent functions to infinite-degree polynomials possible.

In this case the function g is called defined through a recursion by f and by h.

Let P, NP and EXP classes be formalized in the ZFC theory.