Définitions de „formalisieren“ dans le Orthographe allemande

for·ma·li·si̱e̱·ren VERBE avec objet (fran)

1.

mit Hilfe formaler Verfahren aus Mathematik und Logik beschreiben

2. sout

in eine strenge Form bringen

Phrases d'exemples tirées d'Internet (non-vérifiées par l'équipe de rédaction)

allemand

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