Babylon NG
Simply the best definition!

Download it's free

Entscheidung

Wikipedia English The Free Encyclopedia

Download this dictionary
Entscheidungsproblem
In mathematics and computer science, the (, German for 'decision problem') is a challenge posed by David Hilbert in 1928. The asks for an algorithm that takes as input a statement of a first-order logic (possibly with a finite number of axioms beyond the usual axioms of first-order logic) and answers "Yes" or "No" according to whether the statement is universally valid, i.e., valid in every structure satisfying the axioms. By the completeness theorem of first-order logic, a statement is universally valid if and only if it can be deduced from the axioms, so the can also be viewed as asking for an algorithm to decide whether a given statement is provable from the axioms using the rules of logic.

See more at Wikipedia.org...


© This article uses material from Wikipedia® and is licensed under the GNU Free Documentation License and under the Creative Commons Attribution-ShareAlike License

Wikipedia Deutsch Die freie Enzyklopädie

Download this dictionary
Entscheidung
Eine Entscheidung ist eine Wahl zwischen Alternativen oder zwischen mehreren unterschiedlichen Varianten von einem oder mehreren Entscheidungsträgern in Zusammenhang einer sofortigen oder späteren Umsetzung. Eine Entscheidung kann spontan bzw. emotionalzufällig oder rational erfolgen. Eine rational begründete Entscheidung richtet sich nach bereits vorgängig abgesteckten Zielen oder vorhandenen Wertmaßstäben. Von der Entscheidungskompetenz eines Individuums hängt es ab, ob seine Pro- oder Contra-Entscheidungen zum gewünschten Ziel führt. Die Eigenschaft, ohne Verzögerung zu entscheiden und dabei zu bleiben, wird als Entschiedenheit bezeichnet (vgl. Führung oder Starrsinn). Die Statistik und Ökonomie befasst sich in der Entscheidungstheorie mit der Frage nach der optimalen Entscheidung. Etymologisch soll sich das Wort vom Ziehen einer Waffe aus der Scheide herleiten, womit der Waffenträger den Kampf gewählt hat. Die Entscheidung wird auch, oftmals im Sinne eines Ergebnisses, als der Entscheid bezeichnet.

Mehr unter Wikipedia.org...

 
Entscheidbar
In der theoretischen Informatik heißt eine Eigenschaft auf einer Menge entscheidbar (auch rekursiv, rekursiv ableitbar), wenn es ein Entscheidungsverfahren für sie gibt. Ein Entscheidungsverfahren ist ein Algorithmus, der für jedes Element der Menge beantworten kann, ob es die Eigenschaft hat oder nicht. Wenn es kein solches Entscheidungsverfahren gibt, dann nennt man die Eigenschaft unentscheidbar. Als Entscheidungsproblem bezeichnet man die Frage, ob und wie für eine gegebene Eigenschaft ein Entscheidungsverfahren formuliert werden kann.

Mehr unter Wikipedia.org...


© Dieser Eintrag beinhaltet Material aus Wikipedia® und ist lizensiert auf GNU-Lizenz für freie Dokumentation und Creative Commons Attribution-ShareAlike License

Ceská Wikipedie- Bezplatná encyklopedie

Download this dictionary
Entscheidungsproblem
Entscheidungsproblem (nemecký výraz pro „rozhodovací problém“) je úloha, kterou poprvé predložil  matematik David Hilbert roku 1928. Ptá se, existuje-li postup (algoritmus), který by umel rozhodnout, jestli je dané matematické tvrzení v daném formálním jazyce pravdivé nebo nepravdivé.

Více na Wikipedia.org...


© Tento clánek používá materiály z Wikipedia® a je licencovaný pod GNU Free Documentation License a dispozici za podmínek licence Creative Commons Uvedte autora-Zachovejte licenci

Babylon German English dictionary

Download this dictionary
Entscheidung (die)
nf. decision, ruling, determination, verdict, conclusion

Neue Deutsch-Chinesisch Wörterbuch

Download this dictionary
Entscheidung
Entscheidung
(f) -en ①判决,裁决,仲裁 ②决定,抉择 ③[体]决赛

© 2007 EIMC International Limited, Co.


| Entscheidung in English | Entscheidung in Italian | Entscheidung in Spanish | Entscheidung in Dutch | Entscheidung in Portuguese | Entscheidung in German | Entscheidung in Russian | Entscheidung in Turkish | Entscheidung in Arabic | Entscheidung in Other Russian languages | Entscheidung in Hungarian | Entscheidung in Czech | Entscheidung in Lithuanian | Entscheidung in Serbian | Entscheidung in Bulgarian | Entscheidung in Danish