-
1 unerfüllbar
unerfüllbar; z.B. un. Wünsche, *optata, quae non eveniunt. – un. Wünsche hegen, *optare, quae non eveniunt.
-
2 unerfüllbar
unerfüllbar adj yerine getirilemez -
3 unerfüllbar
unerfüllbarTraum, Wunsch irréalisable; Forderung impossible à satisfaire -
4 unerfüllbar
unerfüllbar a неисполни́мый, невыполни́мый; несбы́точный -
5 unerfüllbar
yerine getirilemez -
6 unerfüllbar
-
7 unerfüllbar
Adj. unrealizable* * *unrealizable; unaccomplishable* * *un|er|fụ̈ll|bar [Un|ɛɐ'fʏlbaːɐ, 'ʊn-]adjunrealizable; Wunsch, Ziel auch unattainable* * *un·er·füll·bar[ʊnʔɛɐ̯ˈfʏlba:ɐ̯]adj unattainable, unviable, unrealizable; (Forderungen, Träume) unfulfillable; (Wünsche) unattainable* * *Adjektiv unrealizable* * *unerfüllbar adj unrealizable* * *Adjektiv unrealizable* * *adj.not accomplishable adj.unrealizable adj. -
8 unerfüllbar
unerfüllbar uopfyldelig -
9 unerfüllbar
unerfüllbar som inte kan uppfyllas -
10 unerfüllbar
-
11 unerfüllbar
adjнеисполнимый, невыполнимый; несбыточный -
12 unerfüllbar
'unɛrfylbaːradj -
13 unerfüllbar
неисполнимыйневыполнимыйDeutsch-Russische Handels-und Wirtschafts-Wörterbuch > unerfüllbar
-
14 unerfüllbar
прил.1) общ. невыполнимый, несбыточный, неисполнимый2) юр. неисполнимый (напр. Forderung)3) лингв. недостижимый -
15 unerfüllbar
-
16 unerfüllbar
-
17 unerfüllbar
(тж [ˈʊn-]) a невыполнимый, неисполнимый, несбыточный -
18 unerfüllbar
невыполни́мый. Traum, Hoffnung несбы́точный -
19 unerfüllbar
unerfǘllbar (únerfüllbar) aнеисполни́мый, невыполни́мый -
20 unerfüllbar
uner'füllbar nesplnitelný
- 1
- 2
См. также в других словарях:
unerfüllbar — ↑utopisch … Das große Fremdwörterbuch
unerfüllbar — visionär; über den Wolken schwebenn (umgangssprachlich); realitätsfremd; nur in der Fantasie möglich; realitätsfern; utopisch; unrealistisch; wirklichkeitsfremd; nur in der Phantasie möglich * * * un|er|füll|bar [ʊn|ɛɐ̯ f … Universal-Lexikon
unerfüllbar — un|er|fụ̈ll|bar [auch ʊ... ] … Die deutsche Rechtschreibung
Davis-Putnam-Algorithmus — Das Davis Putnam Verfahren (nach Martin Davis und Hilary Putnam) entscheidet über die Unerfüllbarkeit einer aussagenlogischen Formel in Konjunktiver Normalform. Das Verfahren sollte nicht mit der Weiterentwicklung, dem DPLL (Davis Putnam Logemann … Deutsch Wikipedia
Davis-Putnam-Verfahren — Das Davis Putnam Verfahren (nach Martin Davis und Hilary Putnam) entscheidet über die Unerfüllbarkeit einer aussagenlogischen Formel in Konjunktiver Normalform. Das Verfahren sollte nicht mit der Weiterentwicklung, dem DPLL (Davis Putnam Logemann … Deutsch Wikipedia
Satz von Herbrand — Der Satz von Herbrand ist ein Satz aus der Prädikatenlogik und wurde nach dem französischen Logiker Jacques Herbrand benannt. Er macht eine Aussage über die Erfüllbarkeit einer prädikatenlogischen Formel. Der Satz lautet: Sei F eine geschlossene… … Deutsch Wikipedia
Allgemeingültigkeit — In einer formalen Logik oder einem Kalkül bezeichnet man eine Formel als allgemeingültig, wenn sie von jeder beliebigen Interpretation erfüllt wird. Die Allgemeingültigkeit ist also ein spezieller Fall der Erfüllbarkeit einer Formel. Während die… … Deutsch Wikipedia
Erfüllbarkeitsäquivalenz — ist eine Eigenschaft, die zwischen zwei prädikatenlogischen Formeln gelten kann. Zwei Formeln F und G sind genau dann erfüllbarkeitsäquivalent, wenn gilt: F ist erfüllbar G ist erfüllbar Oder umgekehrt: F ist unerfüllbar G ist unerfüllbar Die… … Deutsch Wikipedia
Herbrand-Theorie — Der nach Jacques Herbrand, einem französischen Logiker, benannte Satz von Herbrand (engl. Herbrand s theorem, was gelegentlich nicht ganz korrekt als Herbrand Theorie übersetzt wird) in der Prädikatenlogik lautet: Sei F eine geschlossene Formel… … Deutsch Wikipedia
Algorithmus von Gilmore — Der Algorithmus von Gilmore (auch Gilmore Algorithmus) basiert auf dem Satz von Herbrand und liefert ein Semi Entscheidungsverfahren um prädikatenlogische Formeln auf Unerfüllbarkeit zu testen. Es gilt: Die abzählbare Menge sei die Herbrand… … Deutsch Wikipedia
Aussagenlogik — Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird. In der klassischen Aussagenlogik … Deutsch Wikipedia