汽车“身份”唯一性综合检验研究(I)敖琪(华东政法大学,上海201620)摘要:汽车作为现代交通工具,其整车产品信息、注册信息和使用信息,构成了一辆汽车区别于其它汽车的唯一“身...
汽车“身份”唯一性综合检验研究(II)敖琪(华东政法大学,上海201620)摘要:现代汽车作为工业产品,其唯一性“身份”可用整车型号、车辆识别代号(VIN)、发动机号码、变速箱...
基于括号表示法的一阶逻辑系统杜国平摘要:括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑的形式语言为例,...
丁杰[1]2009年在《整函数及其导函数的唯一性和STO方程精确解的研究》文中指出本文运用正规族理论,研究整函数与其导函数公共值集的唯一性问题。当公共值集的元素个数为n+1个(n≥2)时,得到整函数和它导函数的各种具体关系。这个结果是方明亮和Zalcman结果的推广。本文共分六章。第一章介绍了本文的...
杨先德[1]2001年在《关于环的W理想与零化子以及模的准素分解》文中认为本文讨论叁个内容:一、环R的单边W-理想与其矩阵环M_n(R)的单边零化子的关系.主要的结论:1、当矩阵环的某个集的左change是二个元生成时,作为右R-模,这个集的右零化子是某个短正合列的中间项,其左、右两项均是有限个右W...