说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 文件分割
1)  file segmentation
文件分割
2)  class splitting
类文件的分割
3)  File cutting
文件切割
4)  Delivery Instrument
交割文件
5)  part partitioning
零件分割
6)  element segmentation
元件分割
补充资料:Dedekind分割


Dedekind分割
Dedekind cut

  D日加脑目分割[D汕如目cut;皿e八eKou皿。即ee,e。。e],分割(cut) 把实数集R(或有理数集Q)分割成两个非空集合A和B,其并为R(或Q),并使得对任何a6A和be及都有a  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条