Use "formalisiert" in a sentence

1. A ist in der Tat zentraler, und das kann mathematisch formalisiert werden.

2. Außerdem wurden die Projektverfahren für Überwachung, Berichterstattung, Risikobegrenzung, Bewältigung von Veränderungen, Einbeziehung der Beteiligten und Qualitätsmanagement formalisiert.

3. Die Beziehungen zwischen dem Unternehmen und den Angestellten sind gemäß den Bestimmungen des Arbeitsgesetzbuches und des Sozialversicherungsgesetzbuchs formalisiert.

4. Die Rechnungslegungssysteme wurden vom Rechnungsführer nicht förmlich validiert, weil einige der zugrunde liegenden Abläufe noch nicht formalisiert waren.

5. Die Presburger-Arithmetik ist erheblich schwächer als die Peano-Arithmetik, in der sowohl Addition als auch Multiplikation formalisiert werden.

6. Mit anderen Worten konnte das Projekt durch das Studium von formaler Logik, natürlicher Sprache und diskursiver Semantik aufzeigen, warum Rechtfertigung nie vollständig formalisiert oder auf Argumentation reduziert werden konnte.

7. 47 Die belgische Regierung weist schließlich darauf hin, dass das belgische Rechtssystem eine Aufteilung der Kompetenzen zwischen der Föderation und den Regionen umfasse, die, bevor bestimmte politische Entscheidungen formalisiert werden könnten, die Einhaltung eines langen Verfahrens der Abstimmung und Beratung erfordere; sie macht geltend, nur auf diese immanente Komplexität sei es zurückzuführen, dass der Beschluss des Ministerrats erst am 14. April 2002 mit dem Erlass der Königlichen Verordnung, mit der Nachtflüge neu bescheinigter Flugzeuge verboten worden seien, habe formalisiert werden können.

8. Anfang der 1920er wurden die britische und die französische Kontrolle über diese Gebiete durch ein Mandatsystem des Völkerbundes formalisiert und Frankreich bekam das Mandat über Syrien am 29. September 1923, welches neben dem modernen Syrien den modernen Libanon und Hatay (Alexandretta) umfasste.

9. Diese Dokumente, die den politischen Prozess für eine verstärkte Zusammenarbeit bei der beruflichen Bildung, bekannt als ,Kopenhagen-Prozess", in Gang gesetzt haben, waren selbst das Ergebnis eines langen Diskussions- und Konsultationspro zesses, der unter dem belgischen Ratsvorsitz auf der Sitzung der Generaldirektoren für Berufsbildung vom 2. Oktober 2001 auf der Grundlage einer Diskussion, die zu einer ähnlichen Gelegenheit im Frühjahr desselben Jahres (21.-24. April) unter dem schwedischen Ratsvorsitz in Vaxjö stattgefunden hatte, formalisiert worden war.

10. Betrifft: Euro-Rat Trotz früherer Beschlüsse des Rates, wonach die vor den Tagungen des Rates "Wirtschaft und Finanzen " stattfindenden Vorbereitungstreffen der Minister der zwölf Euro-Staaten völlig informell stattfinden und nur die mit dem Euro zusammenhängenden Themen betreffen sollen, gibt es zunehmend Signale, dass diese Treffen allmählich zu einer Art "Euro-Rat " formalisiert werden und dass sie in der Praxis durch vorläufige Beschlüsse in verschiedensten Angelegenheiten des Bereichs Wirtschaft und Finanzen die reale Entscheidungsgewalt vom Rat "Wirtschaft und Finanzen " übernehmen.