Обсуждение участника:Arachnelis/Сусек: различия между версиями
Содержимое удалено Содержимое добавлено
→Переменная типа: дополнение |
|||
Строка 11:
:::::::* «Вы … провозгласили в общепринятых терминах некий скрытый смысл» — вы так и не доказали авторитетными источниками, что термин «пробегает» может использоваться в этом значении, а уже говорите о том, что он «общепринятый»? «Вам стал мало играть правилами в основном пространстве» — если вы считаете, что я играю с правилами — подавайте жалобу. --[[У: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> 07:52, 14 июля 2017 (UTC)
* [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)
== ЯП: "ML доминирует в формальной верификации" ==
| |||