| Property |
Value |
| dbo:abstract
|
- Man kann in der Mathematik ein Objekt nicht nur durch eine Definitionsgleichung (explizit), sondern auch durch eine charakteristische Eigenschaft (implizit) definieren. Insbesondere bei Relationen vom Typ Funktion oder Verknüpfung kommt es vor, dass sie nur »implizit definiert« werden können. Dies geschieht dann dadurch, dass zunächst eine Relation (als Untermenge eines kartesischen Produkts) mit derselben Anzahl von Stellen (explizit) definiert wird. Von dieser Relation wird ausdrücklich behauptet, dass sie von einem spezifischen Typ, bspw. Funktion oder Verknüpfung, ist. Die gesamte »Definition« ist jedoch erst dann vollständig und gültig, wenn ein Beweis für die Behauptung erbracht ist. Man sagt dann: das Objekt (der Begriff) ist (als dieser spezifische Typ) wohldefiniert. Andernfalls spricht man von Mehrdeutigkeit u. Ä., und das Objekt bleibt (bspw. als Funktion oder Verknüpfung) undefiniert. (de)
- Man kann in der Mathematik ein Objekt nicht nur durch eine Definitionsgleichung (explizit), sondern auch durch eine charakteristische Eigenschaft (implizit) definieren. Insbesondere bei Relationen vom Typ Funktion oder Verknüpfung kommt es vor, dass sie nur »implizit definiert« werden können. Dies geschieht dann dadurch, dass zunächst eine Relation (als Untermenge eines kartesischen Produkts) mit derselben Anzahl von Stellen (explizit) definiert wird. Von dieser Relation wird ausdrücklich behauptet, dass sie von einem spezifischen Typ, bspw. Funktion oder Verknüpfung, ist. Die gesamte »Definition« ist jedoch erst dann vollständig und gültig, wenn ein Beweis für die Behauptung erbracht ist. Man sagt dann: das Objekt (der Begriff) ist (als dieser spezifische Typ) wohldefiniert. Andernfalls spricht man von Mehrdeutigkeit u. Ä., und das Objekt bleibt (bspw. als Funktion oder Verknüpfung) undefiniert. (de)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageRevisionID
| |
| prop-de:title
| |
| prop-de:urlname
| |
| dct:subject
| |
| rdfs:comment
|
- Man kann in der Mathematik ein Objekt nicht nur durch eine Definitionsgleichung (explizit), sondern auch durch eine charakteristische Eigenschaft (implizit) definieren. Insbesondere bei Relationen vom Typ Funktion oder Verknüpfung kommt es vor, dass sie nur »implizit definiert« werden können. Dies geschieht dann dadurch, dass zunächst eine Relation (als Untermenge eines kartesischen Produkts) mit derselben Anzahl von Stellen (explizit) definiert wird. Von dieser Relation wird ausdrücklich behauptet, dass sie von einem spezifischen Typ, bspw. Funktion oder Verknüpfung, ist. Die gesamte »Definition« ist jedoch erst dann vollständig und gültig, wenn ein Beweis für die Behauptung erbracht ist. Man sagt dann: das Objekt (der Begriff) ist (als dieser spezifische Typ) wohldefiniert. Andernfalls s (de)
- Man kann in der Mathematik ein Objekt nicht nur durch eine Definitionsgleichung (explizit), sondern auch durch eine charakteristische Eigenschaft (implizit) definieren. Insbesondere bei Relationen vom Typ Funktion oder Verknüpfung kommt es vor, dass sie nur »implizit definiert« werden können. Dies geschieht dann dadurch, dass zunächst eine Relation (als Untermenge eines kartesischen Produkts) mit derselben Anzahl von Stellen (explizit) definiert wird. Von dieser Relation wird ausdrücklich behauptet, dass sie von einem spezifischen Typ, bspw. Funktion oder Verknüpfung, ist. Die gesamte »Definition« ist jedoch erst dann vollständig und gültig, wenn ein Beweis für die Behauptung erbracht ist. Man sagt dann: das Objekt (der Begriff) ist (als dieser spezifische Typ) wohldefiniert. Andernfalls s (de)
|
| rdfs:label
|
- Wohldefiniertheit (de)
- Wohldefiniertheit (de)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is foaf:primaryTopic
of | |
