Переводы „satisfiable“ в словаре англо » немецкий

sat·is·fi·able [ˈsatɪsfaɪəbl̩] ПРИЛ.

satisfiable

zufriedenstellend

satisfiable

befriedigend

Одноязычные примеры (не проверены редакцией PONS)

английский

In other logics, such as second-order logic, there are syntactically consistent theories that are not satisfiable, such as -inconsistent theories.

en.wikipedia.org

A theory is satisfiable when all of its sentences are true.

en.wikipedia.org

Since is finitely valid iff is not finitely satisfiable, we conclude that the set of sentences which are not finitely satisfiable is recursively enumerable.

en.wikipedia.org

A tableau checks whether a given set of formulae is satisfiable or not.

en.wikipedia.org

They may find a solution of a problem, but they may fail even if the problem is satisfiable.

en.wikipedia.org

The resulting instance is satisfiable if and only if no domain or constraint is made empty.

en.wikipedia.org

In this latter case, it is called unsatisfiable, otherwise satisfiable.

en.wikipedia.org

The basic model considers for simplicity needs that are 100% satisfiable and services that 100% satisfy the needs.

en.wikipedia.org

If the instance is satisfiable, then the expected weight of the assignment found is at least 7/8 of optimal.

en.wikipedia.org

Attempting to prove a satisfiable first-order formula as unsatisfiable may result in a nonterminating computation; this problem doesn't occur in propositional logic.

en.wikipedia.org