Content deleted Content added
→Examples: explain use of Not |
→Examples: make it a section |
||
Line 43:
:<math>f(x_1,\ldots,x_k) \simeq g(x_1,\ldots,x_l)</math>
holds if and only if for any choice of arguments either both functions are defined and their values are equal or both functions are undefined.
Examples not involving the minimization operator can be found at [[Primitive recursive function#Examples]].
| |||