Übersetzung für 'формализовать' von Russisch nach Deutsch

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

formalisieren

• Для построения теории и отхода от кибернетического эксперимента в различных теориях эксперимент с обучением без учителя пытаются формализовать математически.
• Ее цель - формализовать средства информирования и просвещения общественности по вопросам ЛГБТ.
• Чтобы формализовать его, нужно заметить, что в конечной раскраске наиболее популярный цвет имеет положительную верхнюю плотность.
• Автор глоссематики — оригинальной структуралистской теории языка, имеющей значительную математическую составляющую (язык рассматривается как частный случай семиотических систем, как структура, которую можно строго формализовать в духе требований математики, логики и семиотики).
• Её можно формализовать как проекцию замкнутой орбиты геодезического потока на касательное пространство многообразия.

• Кроме того, это произведение позволяет формализовать процесс функционирования свёрточной нейросети.
• Перед передачей процесса на аутсорсинг крайне желательно его формализовать и автоматизировать, что требует отдельных затрат.
• Так называемая гипотеза Делиня, возникающая в контексте алгебр (и когомологий Хохшильда) вызвала интерес в теории деформаций в свете теории струн (грубо говоря, формализовать идею того, что теория струн может быть рассмотрена как деформация теории точечных частиц).
• Сформулировал основные принципы обратной логики, призванной формализовать отношения противоречивых суждений в пределах одной логической системы.
• Система F позволяет формализовать концепцию параметрического полиморфизма в языках программирования и служит теоретической основой для таких языков программирования как Haskell и ML.

• Для успешного изменения необходимо в полной мере владеть навыками проектного управления, которые более технологизированы и стараются формализовать, установить четкие рамки для проекта изменений.
• Аксиомы Пеано позволили формализовать арифметику, доказать многие свойства натуральных и целых чисел, а также использовать целые числа для построения формальных теорий рациональных и вещественных чисел.
• Об интересе Андропова к Луи упоминает и генерал-майор КГБ Вячеслав Кеворков, подчёркивая, что руководитель КГБ запрещал каким-либо образом формализовать отношения КГБ с Луи и выпускать даже секретные документы об этом сотрудничестве.
• Эти свойства базиса можно формализовать при помощи универсального свойства.
• Далее необходимо формализовать понятие движения одной ИСО относительно другой.

• Электронная очередь — это программно-аппаратный комплекс, позволяющий формализовать и оптимизировать управление потоком посетителей.
• Компромисс между уплотнением функции и её преобразованием Фурье можно формализовать в виде принципа неопределенности, рассматривая функцию и её преобразование Фурье как сопряжённые переменные относительно симплектической формы на время-частоту: c точки зрения линейного канонического преобразования, преобразование Фурье является поворотом на 90° во временно-частотной области и сохраняет симплектическую форму.
• Это можно формализовать в [...] , где комбинаторика представляется как линейная алгебра над полем с одним элементом.
• была даже предпринята попытка формализовать и изучить подход Троцкого из «Преданной революции», используя математическую теорию катастроф [...].