re·al·iz·er [ˈrɪəlaɪzəʳ, америк. ˈri:əlaɪzɚ] СУЩ.
- realizer
- Realisierer м.
PONS OpenDict
Вы хотите добавить слова, фразы или переводы?
Пожалуйста, отправьте нам новый словарный запись для PONS OpenDict. Внесенные предложения проверяются редакцией PONS и соответствующим образом включаются в результаты.
Примеры предложений недоступны
Попробуй ввести другую запись.
Одноязычные примеры (не проверены редакцией PONS)
The realizer, however, usually gives more information about the formula than a formal proof would directly provide.
en.wikipedia.org A partial order is series-parallel if and only if it has a realizer in which one of the two permutations is the identity and the other is a separable permutation.
en.wikipedia.org Formulas from a formal theory are realized by objects, known as realizers, in a way that knowledge of the realizer gives knowledge about the truth of the formula.
en.wikipedia.org