Solution Problem

The following article is from The Great Soviet Encyclopedia (1979). It might be outdated or ideologically biased.

Solution Problem

 

(or decision problem), an important concept in logic. The problem of constructing an algorithm that recognizes by any object of a set V whether or not the object belongs to a set A is called the solution problem of the given set A of constructive objects (with respect to some convolute set V of constructive objects). The solution problem of a set of all provable formulas of a formal system (or calculus) with respect to the set of all the system’s formulas is called its solution problem, or more accurately, the solution problem for provability. The solution problem of the set of all true formulas of an interpreted formal system (a formalized language) with respect to the set of all the system’s formulas is called a semantic solution problem, or the solution problem for truth.

The Great Soviet Encyclopedia, 3rd Edition (1970-1979). © 2010 The Gale Group, Inc. All rights reserved.
References in periodicals archive ?
Define [??](S, t; [xi], T) as the fundamental solution of the following solution problem:
Using the MFPS method, the solution problem (2)-(3) can be written the fractional power series form as
By the use of some fixed-point theorem, the existence results of positive solutions are obtained for singular factional problem [2, 4, 24, 25], impulsive fractional problem [3, 20], nonlocal problem [1, 12, 14, 16, 22, 23], numerical solution problem [17, 18], initial value problem [19, 20], Dirichlet value problem [6, 9, 15], iterative solution problem [5], and so on.
Zhang Haibo from Beijing University of Posts and Telecommunications studied the optimal solution problem in BWCS by chaotic neural network technology in Research on Wireless Resources Optimization Strategy Based on Chaotic Neural Network [4].
By these ways we may estimate the population density in an instant t = [t.sup.*] without necessarily using the analytical solution problem.
Saleh appealed to the official bodies and the community to take a stand against the Christianization to find a solution problem and argued that governments efforts in this regard are timid compared to missionaries' efforts.
In my January column, "The Solution Problem," I related how this revolution also derailed red winemaking for half a century, replacing the centrality of structure and soulfulness with a culture of squeaky-clean fruit bombs.
Just managing the changing situation of presbyopia or someone with allergic eye disease or a contact lens solution problem is very satisfying to solve.
The practice shows that often it is more efficient to solve a problem by starting with a similar previous solution problem, than to generate it's from the very outset.
The four systems solutions purposefully varied in the complexity of the targeting system and the associated complexity (or lack thereof) in the weapon, said Rose, to emphasize the point that "preemptive destruction was not a targeting solution problem. It was a targeting/weapon solution problem."

Full browser ?