Ortografia tedesca

Definizioni di „Unifikation“ nel Ortografia tedesca

die Uni·fi·ka·ti·o̱n <->

Esempi dal web (non verificati dalla Redazione di PONS)

tedesco
Die Anwendung eines Unifikators auf diese Menge bezeichnet man als Unifikation.
de.wikipedia.org
Auf ihn geht ein Algorithmus zur Unifikation von prädikatenlogischen Formeln zurück, der entscheidend beim Nachweis der Unerfüllbarkeit einer prädikatenlogischen Formel ist.
de.wikipedia.org
Die für den Widerspruch notwendigen Instanzen werden über Unifikation erzeugt.
de.wikipedia.org
Die Unifikation hat insbesondere in der Computerlogik und Computerlinguistik eine größere Bedeutung erlangt.
de.wikipedia.org
Als Basisoperation liegt der Unifikation die Substitution zu Grunde.
de.wikipedia.org
Insgesamt verfährt der Algorithmus nun, indem er immer die allgemeinst mögliche Auswahl triff und die Spezialisierung der Unifikation überlässt, die ihrerseits das allgemeinst mögliche Resultat erzeugt.
de.wikipedia.org
Wenn innerhalb dieses rekursiven Vorgangs der Fall eintritt, dass zwei Merkmale mit demselben Namen, aber unterschiedlichen Werten in der Ergebnismatrix abgelegt werden sollen, dann schlägt die Unifikation fehl.
de.wikipedia.org
Während logische Prädikate weiterhin durch Unifikation behandelt werden, werden die zusätzlichen Constraints gesammelt, in den Constraint-Speicher übertragen und von einem Constraint-Löser behandelt.
de.wikipedia.org
Auch beim Theorembeweisen spielt Unifikation eine große Rolle.
de.wikipedia.org
Unifikation ist eine Methode zur Vereinheitlichung prädikatenlogischer Ausdrücke.
de.wikipedia.org

Non trovi una parola nel dizionario dell'ortografia tedesca?

Inviacelo - Saremo lieti di ricevere il tuo feedback!

Cerca nel dizionario

tedesco

Cerca "Unifikation" in altre lingue

"Unifikation" nei dizionari monolingue di tedesco


Pagina in Deutsch | English | Español | Français | Italiano | Polski | Русский
Cerca nei dizionari
I più amati