Werbung
 Übersetzung für 'satisfiable' von Englisch nach Deutsch
ADJ   satisfiable | more satisfiable | most satisfiable
SYNO satiable | satisfiable
satisfiable {adj}erfüllbar
15
satisfiable {adj}befriedigend
15
satisfiable {adj}zufriedenstellend
7
sb./sth. is satisfiablejd./etw. kann zufriedengestellt werden
sb./sth. is satisfiablejd./etw. kann zufrieden gestellt werden
5 Übersetzungen
Neue Wörterbuch-Abfrage: Einfach jetzt tippen!

Anwendungsbeispiele Englisch
  • Each "condition" is a finite piece of information – the idea is that only finite pieces are relevant for consistency, since, by the compactness theorem, a theory is satisfiable if and only if every finite subset of its axioms is satisfiable.
  • A satisfiable theory is a theory that has a model. This means there is a structure "M" that satisfies every sentence in the theory.
  • Output: A truth value indicating whether Φ is satisfiable.
  • The "Boolean satisfiability problem" (SAT) is, given a formula, to check whether it is satisfiable.
  • A nondeterministic algorithm for determining whether a 2-satisfiability instance is "not" satisfiable, using only a logarithmic amount of writable memory, is easy to describe: simply choose (nondeterministically) a variable "v" and search (nondeterministically) for a chain of implications leading from "v" to its negation and then back to "v".

  • Though the output expression contains more variables than the input, it remains equisatisfiable, meaning that it is satisfiable if, and only if, the original input equation is satisfiable.
  • The compactness theorem states that a set of sentences S is satisfiable if every finite subset of S is satisfiable.
  • In particular φ is valid if and only if ¬φ is unsatisfiable, which is to say it is false that ¬φ is satisfiable.
  • In mathematical logic (a subtopic within the field of formal logic), two formulae are equisatisfiable if the first formula is satisfiable whenever the second is and vice versa; in other words, either both formulae are satisfiable or both are not.
  • Conversely, a DNF formula is satisfiable if, and only if, one of its conjunctions is satisfiable; this can be decided in polynomial time.

  • If [...] is satisfiable in a structure M, then, considering [...] , we see that [...] is satisfiable as well.
  • If a sentence [...] is satisfiable then [...].
  • A formula [...] is "satisfiable" if there exist an ω-word "w" such that "w" ⊨ [...].
Werbung
© dict.cc English-German dictionary 2024
Enthält Übersetzungen von der TU Chemnitz sowie aus Mr Honey's Business Dictionary (nur Englisch/Deutsch).
Links auf das Wörterbuch oder auch auf einzelne Übersetzungen sind immer herzlich willkommen!