狄德金分割
_
Dedekind cut
Dedekind cut
пословный:
| 狄 | 德 | 金分 | 分割 |
I dí сущ.
1) ист. ди (некитайские иноплеменные народности Северо-Востока; царства Ци, Лу, Цзинь и др.)
2) ист. иноплеменники (варвары) Севера (общее название некитайских народов Севера; с эпохи Цинь ― Хань) 3) * низшие чины служилого сословия (下士); служители (музыканты) двора
4) * вм. 翟 (длинные фазаньи перья)
II tì прил./наречие
* быстрый, в чеканном ритме (о мелодии)
III dí гл.
1) * отдалять, удерживать вдалеке
2) * считать за варваров; относить к числу иноплеменников
IV собств.
1) ист., геогр. (сокр. вм. 狄县) Дисянь (уезд на террит. нынешней пров. Шаньдун, с дин. Хань)
2) Ди (фамилия)
|
1) нравственность; добродетель; мораль; этика; добродетельный
2) доброта, добро; благодеяние; милость
3) сокр. Германия; германский; немецкий
|
1) разрезать, разъединять, разобщать, делить, разделять; деление, раздел, распределение; глубоко прорезанный, разрезной
2) биол. сегментация
|