Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Μ_operator> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Μ_operator abstract "In computability theory, the μ operator, minimization operator, or unbounded search operator searches for the least natural number with a given property. Adding the μ-operator to the five primitive recursive operators makes it possible to define all computable functions (given that the Church-Turing thesis is true).".
- Μ_operator wikiPageID "693197".
- Μ_operator wikiPageRevisionID "593823407".
- Μ_operator subject Category:Computability_theory.
- Μ_operator comment "In computability theory, the μ operator, minimization operator, or unbounded search operator searches for the least natural number with a given property. Adding the μ-operator to the five primitive recursive operators makes it possible to define all computable functions (given that the Church-Turing thesis is true).".
- Μ_operator label "Minimalizzazione".
- Μ_operator label "Μ operator".
- Μ_operator label "Μ算子".
- Μ_operator sameAs %CE%9C_operator.
- Μ_operator sameAs Minimalizzazione.
- Μ_operator sameAs Q307772.
- Μ_operator sameAs Q307772.
- Μ_operator wasDerivedFrom Μ_operator?oldid=593823407.