Bedeutung von "satisfiable" im Wörterbuch Englisch

AUSSPRACHE VON SATISFIABLE AUF ENGLISCH

satisfiable  [ˈsætɪsˌfaɪəbəl]

GRAMMATIKALISCHE KATEGORIE VON SATISFIABLE

Satisfiable ist ein Adjektiv.

Das Adjektiv ist das Wort, das das Nomen begleitet, um es genauer zu bestimmen oder zu bewerten.

WAS BEDEUTET SATISFIABLE AUF ENGLISCH

Zufriedenheit

Satisfiability

In mathematischer Logik sind Erfüllbarkeit und Gültigkeit elementare Begriffe der Semantik. Eine Formel ist erfüllbar, wenn es möglich ist, eine Interpretation zu finden, die die Formel wahr macht. Eine Formel ist gültig, wenn alle Interpretationen die Formel wahr machen. Die Gegensätze dieser Begriffe sind Unzufriedenheit und Unwirksamkeit, das heißt, eine Formel ist unzufrieden, wenn keiner der Interpretationen die Formel wahr macht und ungültig ist, wenn eine solche Interpretation die Formel falsch macht. Diese vier Begriffe sind in einer Weise analog zu Aristoteles Platz der Opposition miteinander verwandt. Die vier Konzepte können angehoben werden, um sich auf ganze Theorien zu beziehen: Eine Theorie ist erfüllbar, wenn eine der Interpretationen jedes der Axiome der Theorie wahr macht, und eine Theorie ist unbefriedigend, wenn alle Interpretationen jedes der Axiome der Theorie falsch machen . Es ist auch möglich, nur Interpretationen zu betrachten, die alle Axiome einer zweiten Theorie wahr machen. Diese Verallgemeinerung wird gewöhnlich als zufriedenstellend modulo Theorien bezeichnet. Die Frage, ob ein Satz in der Aussagenlogik erfüllbar ist, ist ein entscheidbares Problem.

In mathematical logic, satisfiability and validity are elementary concepts of semantics. A formula is satisfiable if it is possible to find an interpretation that makes the formula true. A formula is valid if all interpretations make the formula true. The opposites of these concepts are unsatisfiability and invalidity, that is, a formula is unsatisfiable if none of the interpretations make the formula true, and invalid if some such interpretation makes the formula false. These four concepts are related to each other in a manner exactly analogous to Aristotle's square of opposition. The four concepts can be raised to apply to whole theories: a theory is satisfiable if one of the interpretations make each of the axioms of the theory true, and a theory is unsatisfiable if all of the interpretations make each of the axioms of the theory false. It is also possible to consider only interpretations that make all of the axioms of a second theory true. This generalization is commonly called satisfiability modulo theories. The question whether a sentence in propositional logic is satisfiable is a decidable problem.

Definition von satisfiable im Wörterbuch Englisch

Die Definition von erfüllbar im Wörterbuch ist erfüllbar. Eine andere Definition von erfüllbar ist in der Lage, die Bedingungen eines Satzes, einer Annahme usw. zu erfüllen.

ÜBERSETZUNG VON SATISFIABLE

Erfahre, wie die Übersetzung von satisfiable auf 25 Sprachen mit unserem mehrsprachigen Übersetzer Englisch lautet.

Die Übersetzungen von satisfiable auf andere Sprachen, die in diesem Bereich vorgestellt werden, sind zustande gekommen durch automatische statistische Übersetzung, wobei die Basiseinheit der Übersetzung das Wort «satisfiable» in Englisch ist.

• Übersetzer Deutsch - Chinesisch: 可满足
• Übersetzer Deutsch - Spanisch: satisfiable
• Englisch: satisfiable
• Übersetzer Deutsch - Hindi: योग्य
• Übersetzer Deutsch - Arabisch: إرضاء
• Übersetzer Deutsch - Russisch: выполнима
• Übersetzer Deutsch - Portugiesisch: satisfiable
• Übersetzer Deutsch - Bengalisch: Satisfiable
• Übersetzer Deutsch - Französisch: satisfiable
• Übersetzer Deutsch - Malaysisch: Memuaskan
• Übersetzer Deutsch - Deutsch: erfüllbar
• Übersetzer Deutsch - Japanisch: 満足できる
• Übersetzer Deutsch - Koreanisch: 만족할 수
• Übersetzer Deutsch - Javanisch: Puas
• Übersetzer Deutsch - Vietnamesisch: thoả mãn
• Übersetzer Deutsch - Tamil: திருப்தியாகவில்லை
• Übersetzer Deutsch - Marathi: समाधानकारक
• Übersetzer Deutsch - Türkisch: karşılanabilir
• Übersetzer Deutsch - Italienisch: soddisfacibile
• Übersetzer Deutsch - Polnisch: spełnialna
• Übersetzer Deutsch - Ukrainisch: здійсненна
• Übersetzer Deutsch - Rumänisch: satisfiable
• Übersetzer Deutsch - Griechisch: ικανοποιήσιμος
• Übersetzer Deutsch - Afrikaans: satisfiable
• Übersetzer Deutsch - Schwedisch: satisfiable
• Übersetzer Deutsch - Norwegisch: satisfiable

10 BÜCHER, DIE MIT «SATISFIABLE» IM ZUSAMMENHANG STEHEN

Entdecke den Gebrauch von satisfiable in der folgenden bibliographischen Auswahl. Bücher, die mit satisfiable im Zusammenhang stehen und kurze Auszüge derselben, um seinen Gebrauch in der Literatur kontextbezogen darzustellen.

A Course on Mathematical Logic

We call A finitely satisfiable if every finite subset of A is satisfiable. Clearly if A is satisfiable, then it is finitely satisfiable. The compactness theorem tells us that the converse is also true. We proceed now to prove this important result. Lemma ...

Shashi Mohan Srivastava, 2013

First-order Logic

in U, and satisfiable in U if it is true in at least one interpretation in U. And a set S is called satisfiable in U if there is at least one interpretation in U which satisfies every element of S. Thus A is valid iff A is valid in every universe; A is satisfiable ...

Raymond M. Smullyan, 1995

Current Issues in Parsing Technology

Turn the disjunctive system into an equi-satisfiable flat conjunction of contexted constraints; 2. Normalize the contexted constraints using extensions of standard techniques; 3. Extract and solve a propositional 'disjunctive residue;' and 4.

Masaru Tomita, 1990

Model Theory : An Introduction

Otherwise, let c£*' be any element of M. Clearly, M' \= 6^ for i <n. Thus, T\ is finitely satisfiable. We now iterate the construction above to build a sequence of languages C C C\ C £2 Q . . . and a sequence of finitely satisfiable £j-theories T C T\ C ...

David Marker, 2002

Theorem Proving with Analytic Tableaux and Related Methods: ...

By an interpretation of S in the model M we mean an injective mapping I : {k :(k,B) € S} -> W We say that S is satisfiable under the interpretation I if for each (k, A) G S, M,I(k) \= A. We say S is satisfiable if 5 is satisfiable under some interpretation .

P. Miglioli, 1996

Introduction to Mathematics of Satisfiability

If F C Formvar is a finitely satisfiable set of clauses then there is a maximal set of clauses G such that F C G and G is satisfiable (thus finitely satisfiable) . Proof: Let F be finitely satisfiable. Let v \= F (such v exists by Proposition 6.1). Treating v as  ...

Victor W. Marek, 2009

First-Order Modal Logic

A closed tableau is not satisfiable. Proof Suppose we had a tableau that was both closed and satisfiable. Since it is satisfiable, some branch of it is. Let S be the set of prefixed formulas on that branch. Say S is satisfiable in the model ($, !R, F) ...

M. Fitting, Richard L. Mendelsohn, 1998

STACS 2001: 18th Annual Symposium on Theoretical Aspects of ...

One of the reasons for studying random k-SAT instances is that they have the following sharp threshold behaviour [Fr99]: There exists a constant c = ck such that for any ε > 0 formulas with at most (1−ε)·c·n clauses are satisfiable whereas ...

Afonso Ferreira, Horst Reichel, 2001

AI*IA 2009: Emergent Perspectives in Artificial ...

3.2 Satisfiable Instances with Many Solutions We next consider the case when a satisfiable SAT instance F is partitioned into n new instances F1 ,...,F n fulfilling Eq. (1). In order to deduce that F is satisfiable, it is enough to show that any of the  ...

Roberto Serra, Rita Cucchiara, 2009

First-Order Logic and Automated Theorem Proving

Proof Suppose T is a satisfiable tableau, and a Tableau Expansion Rule is applied to formula occurrence X on branch 0 of T, producing a tableau T* . We must show T* is also a satisfiable tableau. The proof has several cases and subcases, ...

Melvin Fitting, 1996

10 NACHRICHTEN, IN DENEN DER BEGRIFF «SATISFIABLE» VORKOMMT

Erfahre, worüber man in den einheimischen und internationalen Medien spricht und wie der Begriff satisfiable im Kontext der folgenden Nachrichten gebraucht wird.

TED 2: An Alternative Life-Path that Deliberately Ignores the Point

... his/her parents — one element of which is the child's ability to financially support him-/herself, easily satisfiable by an established 'Ted' brand and trust fund. «Screen Invasion, Jun 15»

Ron Perlman is campaigning for 'Hellboy 3'

Unfortunately, Mr. del Toro cannot guarantee a satisfiable ending to the storyline without this kind of money, and hence there's been no confirmation of a movie ... «Blasting News, Jun 15»

The Patriots Just Made Two Strange Decisions

And despite amassing a satisfiable amount of depth at the tight end position, coach Bill Belichick still felt compelled to sign one more, according to ESPN's Adam ... «BostInno, Mai 15»

Where Will WeWork?

“The demand for small office spaces in Brooklyn is not physically satisfiable—not without new construction,” Havens continued. “[WeWork] won't 'have an impact. «The Awl, Mai 15»

Want to quit smoking? Steer clear of beautiful women, study finds

... leading them to display increased temporal discounting, which is associated with yielding to the immediately satisfiable impulse to smoke, Chiou wrote. «WantChinaTimes, Mär 15»

Op-Ed: It's Worse Than We Thought

Realistically, a deal that is satisfiable to Obama will not be reached under Netanyahu's rule. That much is clear. And the Israeli people have unequivocally stated ... «Yeshiva World News, Mär 15»

VIDEO: Bill Gates wants to make human waste drinkable

With this all-in-one system, Janicki and Gates hope to bring a simple, yet satisfiable, sanitation system to impoverished parts of the globe. Janicki also hopes to ... «6abc.com, Jan 15»

Mating Mindset Interferes With Attempts to Stop Smoking

“We argue that male smokers may show increased temporal discounting, which is associated with yielding to the immediately satisfiable impulse to smoke,” the ... «Pacific Standard, Dez 14»

Rethinking exchange reliability

Furthermore, in recent months there have been mathematical breakthroughs – to which Mr Passmore contributed – in a field known as satisfiable modulo ... «Financial Times, Nov 14»

Doctors On Strike

Vísir reports that the strike began at midnight after talks failed to reach any satisfiable resolution. In all, about 300 doctors from various health clinics, as well as ... «Reykjavík Grapevine, Okt 14»