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

Formalisierung {f}

формализация {ж}

• 1929 gab er die erste präzise prädikatenlogische Formalisierung der Zermelo-Fraenkel-Mengenlehre an.
• Ein höherer Polizeioffizier, der mit der Organisation der Durchführung von verschärften Vernehmungen im deutschbesetzten Polen vertraut war, bezeichnete die bürokratische Formalisierung des Vorgangs seit 1942 – d.
• Seine hauptsächlichen Interessenfelder waren "Computer oriented formalization of mathematics" (computergestützte Formalisierung von Mathematik), Computerlinguistik und die Semantik von Programmiersprachen.
• Bei seiner mathematischen Formalisierung greift Aumann auf die Gesetze der Mengenlehre zurück. Die folgende Formalisierung ist analog zu seiner.
• Die Beschreibung und Formalisierung nichtdeterministischer Turingmaschinen wird durch dieses Modell vereinfacht, da man explizit auf einen Lösungskandidaten (der Zusatzeingabe) zurückgreifen kann.

• Nach ihm ist die Lüders-Messung in der Quantenmechanik benannt, die eine Formalisierung des Messprozesses darstellt.
• Beim Entwurf komplexer Schaltwerke wird auch auf die Formalisierung mit abstrakten Zustandsmaschinen zurückgegriffen.
• Ob die Formalisierung der Ausbildung der Psychoanalyse in klinischer Hinsicht zum Vorteil gereichte, ist umstritten.
• Besonders die Vertreter der generativen Semantik suchten nach universellen Systemen von Bedeutungen und deren Formalisierung.
• Das Freiwilligendilemma stellt eine spieltheoretische Formalisierung der Verantwortungsdiffusion dar.

• Diese vier Eigenschaften werden auch die "Hausdorffschen Umgebungsaxiome" genannt und bilden die historisch erste Formalisierung des Begriffes des topologischen Raumes.
• Historisch geht dieser Prozess mit einer zunehmenden Formalisierung einher.
• Frege gelang in diesem Buch zum ersten Mal eine Formalisierung der klassischen Prädikatenlogik und damit die erste Formalisierung einer Logik, in der sich ein hinreichend großer Teil der Mathematik, aber auch der natürlichen Sprache ausdrücken ließ.
• Gottlob Frege drückt in seiner Begriffsschrift, der ersten Formalisierung der klassischen Prädikatenlogik, das Konditional „Wenn A, dann B“ durch aus.
• Wissenschaftstheoretisch bedeutet Formalisierung im weiteren Sinn „die Generalisierung einer (wissenschaftlichen) Aussage unter Absehung ihrer konkret-empirischen Bezüge“.

• Das automatische Problemlösen stellt ein Teilgebiet der Künstlichen Intelligenz dar, dessen Inhalt die Formalisierung von Problemen und ihre automatisierte Lösung ist.
• Die Formalisierung dieser Intuition war ein motivierendes Element in der Entwicklung der Kategorientheorie.
• Ein Ziel der MDA ist die Steigerung der Entwicklungsgeschwindigkeit. Das Mittel dazu heißt „Automation durch Formalisierung“.
• Das Zeichen [...] geht auf die Begriffsschrift zurück, jenes Werk, in dem Gottlob Frege 1879 die erste Formalisierung der Prädikatenlogik angegeben hat.