Das große Fremdwörterbuch. 2013.
diophantisch — di|o|phạn|tisch 〈Adj.; Math.; in der Fügung〉 diophantische Gleichung G. mit mehreren Unbekannten, für die ganzzahlige Lösungen zu suchen sind [nach dem grch. Mathematiker Diophantos, um 250 n. Chr.] * * * di|o|phạn|tisch <Adj.> [nach dem… … Universal-Lexikon
diophantisch — di|o|phạn|tisch 〈Adj.; Math.〉 diophantische Gleichung G. mit mehreren Unbekannten u. unbestimmt vielen Lösungen [Etym.: nach dem grch. Mathematiker Diophantos, um 250 n. Chr.] … Lexikalische Deutsches Wörterbuch
diophantisch — di|o|phạn|tisch <nach dem altgriechischen Mathematiker Diophạntos>; diophantische Gleichung {{link}}K 89{{/link}} und {{link}}K 135{{/link}} … Die deutsche Rechtschreibung
Entscheidbar — In der theoretischen Informatik heißt eine Eigenschaft auf einer Menge entscheidbar (auch: rekursiv ableitbar), wenn es ein Entscheidungsverfahren für sie gibt. Ein Entscheidungsverfahren ist ein Algorithmus, der für jedes Element der Menge… … Deutsch Wikipedia
Entscheidbare Menge — Eine Eigenschaft auf einer Menge heißt entscheidbar (auch: rekursiv), 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… … Deutsch Wikipedia
Entscheidbarkeit — Eine Eigenschaft auf einer Menge heißt entscheidbar (auch: rekursiv), 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… … Deutsch Wikipedia
Entscheidungsproblem — Eine Eigenschaft auf einer Menge heißt entscheidbar (auch: rekursiv), 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… … Deutsch Wikipedia
Rekursiv entscheidbar — Eine Eigenschaft auf einer Menge heißt entscheidbar (auch: rekursiv), 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… … Deutsch Wikipedia
Rekursiv entscheidbare Menge — Eine Eigenschaft auf einer Menge heißt entscheidbar (auch: rekursiv), 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… … Deutsch Wikipedia
Semientscheidbarkeit — Eine Eigenschaft auf einer Menge heißt entscheidbar (auch: rekursiv), 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… … Deutsch Wikipedia
