검색어: satisfiable (영어 - 독일어)

cryptographic methods for demonstrating satisfiable formulas from propositional logic
kryptographische verfahren zum beweisen von erfÜllbaren formeln der aussagenlogik

if this is the case, the formula is called "satisfiable".
es fragt, ob eine aussagenlogische formel erfüllbar ist.

a sentence is satisfiable if there is some interpretation under which it is true.
im eingangs gegebenen beispiel geordneter abelscher gruppen ist formula_170 eine formula_171-struktur.

a theory is satisfiable if it has a model formula_14, i.e.
die theorie der dichten offenen strengen totalordnungen ist ein standardbeispiel in der modelltheorie.

the formula obtained by this transformation is satisfiable if and only if, the original formula is.
hinweis:formula_5 steht hier für die formel g, in der x durch w ersetzt wurde.

they do so in a way that ensures that dependencies of other packages in testing are always satisfiable.
sie machen es auf eine art, die sicherstellt, dass die abhängigkeiten von anderen paketen in testing immer aufgelöst werden können.

in this case, the initial tableau is a single node labeled with the set to be proved satisfiable.
diese satzmenge wird als knoten – als "ein" knoten – eines baums angesehen, deshalb die umrahmung.

a consistent theory is sometimes defined to be a syntactically consistent theory, and sometimes defined to be a satisfiable theory.
)== sätze ==wichtige sätze über theorien sind:der gödelsche vollständigkeitssatz:* jede konsistente theorie hat ein modell.

a formula is satisfiable if it is true under at least one interpretation, and thus a tautology is a formula whose negation is unsatisfiable.
dies wiederum ist aber der "zweite" teilsatz der disjunktion, sodass der ganze satz auch in diesem fall wahr ist.

this disease only seen in women and messing up the social life comes out as a non-satisfiable sexual hunger and strong sexual desire.
diese krankheit ist nur bei frauen anzutreffen und führt dazu, dass das soziale leben völlig außer kontrolle gerät und taucht mit einer unersättlichen sexuellen begierde und sexuellen wünschen auf.

in particular φ is valid if and only if ¬φ is unsatisfiable, which is to say it is not true that ¬φ is satisfiable.
es ist ja die eigenschaft einer aussagenvariablen, daß ihr wahrheitswert entweder wahr oder falsch ist.

all of its dependencies must either be satisfiable by packages already in testing, or be satisfiable by the group of packages which are going to be installed at the same time;
all seine abhängigkeiten müssen entweder von paketen erfüllt werden können, die sich bereits in testing befinden, oder von der gruppe der pakete erfüllt werden, die zur gleichen zeit installiert werden;

something i wanted to do for years and what had never succeeded satisfiable, was a good preset manager and the ability to integrate external hardware controllers easily (midi learn).
etwas, das ich seit jahren machen wollte und was mir bisher nie gelungen war, war ein guter preset-manager und die möglichkeit, externe hardware-controller unkomplizert einzubinden (midi-learn).

the journey is the dream 10. october to 17. november 2012 satisfiable: with flight from germany, the luxustörn on the radiance of the seas as early as 3.999 be eur per person in twin cabin booked.
der reisetraum ist vom 10. oktober bis 17. november 2012 erfüllbar : mit flug ab deutschland kann der luxustörn auf der radiance of the seas bereits ab 3.999 euro pro person in der zweibett-kabine gebucht werden .

closure of main. adam majer asked how to interpret "must not require a package outside of main" from the policy manual. joel baker explained that it means that the dependencies of a package must be satisfiable in main alone. hence, a single non-free package as alternative to free packages in main does not harm. steve langasek added that the same is required from "recommends".
abgeschlossenheit von main. adam majer fragte, wie darf kein paket außerhalb von main erfordern aus der debian-policy zu interpretieren sei. joel baker erklärte, dass dies bedeute, dass die abhängigkeiten eines paketes in main allein auflösbar sein müssen. ein einzelnes non-free paket als alternative zu freien paketen aus main schadet also nicht. steve langasek fügte hinzu, dass das selbe für recommends statt depends gelte.