Википедия

Обсуждение участника:Arachnelis/Сусек: различия между версиями

Интерактивная навигация по истории
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
Строка 34:
 
* [https://www.lingvolive.com/en-us/translate/en-ru/range%20over?utm_campaign=firefox&utm_medium=plugin&utm_source=opensearch В Lingvo online]: This is defined to be F where (B, C) ranges over the compact subspaces of (X, A). (Bredon, Glen / Introduction to compact transformation groups) - Они определяются как F, где (В, С) пробегает пары всех компактных подпространств из (X, А). (Бредон, Г. / Введение в теорию компактных групп преобразований) и ещё пара там же, ЧТД [[У:Arachnelis|Arachnelis]] ([[ОУ:Arachnelis|обс.]]) 18:25, 1 августа 2017 (UTC)
*:* Вырванные из контекста случаи перевода слова не подтверждают, что в вашем случае возможно применение слова в этом смылсе. Тем более, что оба случая, описанные по ссылке скорее доказывают именно мою правоту, так как в них — как раз случаи, когда действительно пробегает =— значит, последовательно принимает '''все''' значения из множества.--[[У:Tucvbif|Tucvbif]]<span style="display:inline-block;font-size:0.7em;vertical-align:text-top;text-align:center;line-height:1em;">[[оу:Tucvbif|???]]<br/>[[:commons:user:Tucvbif|*]]</span> 12:09, 6 августа 2017 (UTC)
::* Английский - очень контекстно зависимый, это верно. Но вся математика - это контекст сама по себе. В ней ''не делается'' различий между "обязательно" и "может быть". Никогда. [[У:Arachnelis|Arachnelis]] ([[ОУ:Arachnelis|обс.]]) 16:06, 6 августа 2017 (UTC)
 
== ЯП: "ML доминирует в формальной верификации" ==
Добавить тему
Источник — https://ru.wikipedia.org/wiki/Обсуждение_участника:Arachnelis/Сусек