Definizioni di „formalisieren“ nel Ortografia tedesca

for·ma·li·si̱e̱·ren VB con ogg (franc)

1.

mit Hilfe formaler Verfahren aus Mathematik und Logik beschreiben

2. ricerc

in eine strenge Form bringen

Esempi dal web (non verificati dalla Redazione di PONS)

tedesco

Sie formalisieren die Vorstellung, dass man einen Versuch mehrmals hintereinander ausführt und die Ergebnisse der Einzelversuche sich nicht gegenseitig beeinflussen.

de.wikipedia.org

Kritiker betrachten die Anwendung auf formalisierte Schulstunden daher als schwer anwendbar.

de.wikipedia.org

Diese ökonomischen Überlegungen lassen sich alle mathematisch formalisieren, wozu im zeitkontinuierlichen Fall die Methoden der stochastischen Analysis benötigt werden.

de.wikipedia.org

Es ist ein Produktmodell und formalisiert die oben implizit getroffene Annahme, dass die Stichprobenvariablen unabhängig und identisch verteilt sind.

de.wikipedia.org

Diese ist aufgrund der oben genannten Gründen im Allgemeinen von der schwachen Konvergenz verschieden und muss über Netze oder die Filterkonvergenz formalisiert werden.

de.wikipedia.org

In der Praxis werden Anwendungen mit Programmiersprachen formalisiert.

de.wikipedia.org

Mithilfe dieser Eigenschaften lässt sich nun wie folgt der erste Unvollständigkeitssatz formalisieren.

de.wikipedia.org

Dem folgte der Versuch einer leicht formalisierten praktischen Semantik, die vor allem der Handlungstheorie verpflichtet ist.

de.wikipedia.org

Während der Frühen Neuzeit wurde der ehrenamtliche Dienst am Gemeinwesen formalisiert und institutionell verankert.

de.wikipedia.org

Um obigen eher informellen Zugang zu formalisieren, geht man von einer Strategie der Spielpartner aus.

de.wikipedia.org