Definiciones de „formalisierte“ en el Ortografía alemana

for·ma·li·si̱e̱·ren V. con obj. (fr.)

1.

mit Hilfe formaler Verfahren aus Mathematik und Logik beschreiben

2. elev.

in eine strenge Form bringen

Ejemplos de uso para formalisierte

eine streng formalisierte Sprache, die von einem Programmierer in einen Computer eingegeben wird, um mit ihm (eine) bestimmte Aufgabe(n) zu lösen

Ejemplos de uso procedentes de internet (no verificados por la redacción de PONS)

alemán

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