Übersetzung für 'formalisieren' von Deutsch nach Russisch

formalisieren

формализовать {verb} [сов./несов.]

• Die Skolemform gehört zu den mathematischen Darstellungen der Prädikatenlogik, um Argumente zu formalisieren und auf ihre Gültigkeit zu überprüfen.
• Die Quantenlogik lässt sich in der mathematischen Sprache analog zum modularen Verband formalisieren.
• Eine suffiziente σ-Algebra ist ein spezielles Mengensystem in der mathematischen Statistik, das verwendet wird, um die Kompression von Daten ohne Informationsverlust mittels suffizienter Statistiken zu formalisieren.
• Wie kann man den Begriff der intuitiven Berechenbarkeit formalisieren?
• Ersetzt man die Veranschaulichungen „hinreichend fein“ und „beliebig nähern“ durch eine präzise Formulierung, so lässt sich diese Idee wie folgt formalisieren.

• Die Presburger-Arithmetik kann Konzepte wie Teilbarkeit oder Primzahlen nicht formalisieren, geschweige denn die Multiplikation, denn dann müsste die Presburger-Arithmetik wie die Peano-Arithmetik unvollständig und unentscheidbar sein.
• Turingmaschinen machen die Begriffe des Algorithmus und der Berechenbarkeit mathematisch fassbar, das heißt, sie formalisieren diese Begriffe.
• 1925 (und wieder 1932) befasste er sich auch mit der intuitionistischen Logik von Brouwer, die er zu formalisieren suchte.
• ] formalisieren." Das Gegenteil der Lambda-Abstraktion ist die Lambda-Konversion.
• Es ist geplant, die Standardisierung durch Einbringung in entsprechende Gremien bei W3C zu formalisieren.

• 2005 wurde der OLMUN e. V. gegründet, um die Organisation der Konferenz zu erleichtern und zu formalisieren.
• Sie formalisieren die Vorstellung, dass man einen Versuch mehrmals hintereinander ausführt und die Ergebnisse der Einzelversuche sich nicht gegenseitig beeinflussen.
• Dieses Vorgehen ist nur schwer zu formalisieren, es ist in Teilbereichen jedoch versucht worden, eine Standardisierung, beispielsweise im Rahmen des Standards ISO 17799, zu erreichen.
• Der Philosoph und Logiker Gotthard Günther legte im Rahmen seiner Polykontexturalitätstheorie einen seit 1933 mehrfach ausgebauten Ansatz vor, die hegelsche Dialektik im Rahmen einer mehrwertigen Logik zu formalisieren, wobei er sich kritisch namentlich von Jürgen Habermas absetzte.
• Diese Entwicklungen trugen dazu bei, den Sport, der traditionell in Dörfern gespielt wurde, für den internationalen Wettbewerb zu formalisieren.

• Diese erlaubte es, alle Kontextbedingungen mit zu formalisieren.
• Auf europäischer Ebene gibt es seit einigen Jahren vielfache Bestrebungen, Bürgerbeteiligung zu formalisieren und fest in die politischen Verfahren zu integrieren.
• Juli 2021 unterzeichneten ELSA und die WTO eine neue Vereinbarung, welche die Unterstützung und Beteiligung der WTO am Moot Court formalisieren soll.
• Ive sagte über die Ernennung: „Ich bin begeistert, meine Beziehung zum RCA zu formalisieren, angesichts des tiefgreifenden Einflusses, den die Hochschule auf so viele Künstler und Designer hatte, die ich bewundere“.
• Eine Sonderrolle haben sie insofern, als sie bewusst beide Formen von Notwendigkeit (hinreichende Bedingung und logische Notwendigkeit) intensiv benutzen und beide Formen formalisieren.