理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 公理集合论 >>>
搜索结果: 1-15 共查到公理集合论相关记录146条 . 查询时间(0.405 秒)
Bernstein problem for affine maximal type hypersurfaces has been a core problem in affine geometry. A conjecture proposed firstly by Chern (Proc. Japan-United States Sem., Tokyo, 1977, 17-30) for enti...
In 1990, Gambaudo introduced the notion of linking of two invariant sets of a surface self-map. Most of the known results of linked periodic orbits are about an orbit linked with a fixed point. In thi...
邻域粗糙集可以直接处理数值型数据,F-粗糙集是第一个动态粗糙集模型.针对动态变化的数值型数据,结合邻域粗糙集和F-粗糙集的优势,提出了F-邻域粗糙集和F-邻域并行约简.首先,定义了F-邻域粗糙集上下近似、边界区域;其次,在F-邻域粗糙集中提出了F-属性依赖度和属性重要度矩阵;根据F-属性依赖度和属性重要度矩阵分别提出了属性约简算法,证明了两种约简方法的约简结果等价;最后,比对实验在UCI数据集、真...
安徽科技学院离散数学课件第3章 集合。
冯涛,女,博士,副教授,硕士研究生导师。入选河北省三三三人才工程第三层次人才。主持完成国家自然科学基青年科学基金项目、河北省自然科学基金青年科学基金各1项;在《Information Sciences》、《 Knowledge-Based Systems》、《International Journal of Approximate Reasoning》等国际、国内学术期刊和会议上发表论文20余篇。...
杨建生,1994北京大学博士,1991北京大学硕士,1988北京大学学士,2012- 北京大学数学科学学院信息科学系教授,2006-2012北京大学数学科学学院信息科学系副教授,1994-2006北京大学数学科学学院信息科学系讲师。主讲课程:春季集合论与图论数学学院本科生,春季生物医学成像的数学方法研究生,高年级本科生,秋季算法设计与分析研究生,高年级本科生。社会兼职:2010,9-数学学院201...
科睿唯安(Clarivate)最近公布了2018年全球高被引科学家名单,西安交大共4名教授入选。其中,能动学院郭烈锦院士、理学院丁书江教授、材料学院马伟教授三人入选交叉学科领域的高被引科学家名单,人居学院程海教授入选地球科学领域高被引科学家名单。
科睿唯安(Clarivate)最近公布了2018年全球高被引科学家名单,西安交大共4名教授入选。其中,能动学院郭烈锦院士、理学院丁书江教授、材料学院马伟教授三人入选交叉学科领域的高被引科学家名单,人居学院程海教授入选地球科学领域高被引科学家名单。
2018年1月19日,爱思唯尔发布2017年中国高被引学者(Most Cited Chinese Researchers)榜单,1793名最具世界影响力的中国学者入选。我校3位教授继2016年后再次入选,入榜学者总数并列全国第78位。3名入榜教授为数学学科入选者、理学院蒋达清教授,物理学和天文学学科入选者、理学院孙道峰教授,免疫和微生物学学科入选者、原化学工程学院党宏月教授。
2018年1月15日,教育部在京召开在线开放课程建设与应用推进会,宣布首批共490门国家精品在线开放课程,我校24门课程入选,入选数量居全国第二。我校被认定的国家级精品在线开放课程,均在中国大学MOOC平台上至少完成了两期教学活动,课程质量高、共享范围广、应用效果好、示范性强,涉及的学科包括哲学、医学、文学、历史学、理学、经济学、管理学、工学、法学。
本文首先给出了集合为近似E-次类凸的等价刻画.其次,分别在锥具有紧基和弱紧基的条件下,获得了近似E-次类凸集值优化问题的E-Benson真有效元的Lagrange乘子定理.作为应用,获得了集值优化问题Benson真有效元的Lagrange乘子定理.最后,给出了集值优化问题E-鞍点的充分条件.
We prove a conjecture of Knutson asserting that the Schubert structure constants of the cohomology ring of a two-step flag variety are equal to the number of puzzles with specified borde...
Provability in product logic     Provability  product logic       2015/9/30
We sharpen H丩ajek乫s Completeness Theorem for theories extending predicate product logic, 儺佂. By relating provability in this system to embedding properties of ordered abelian groups we construct a ...
We present a general construction of a family of ordinal sums of a sequence of structures and prove an elimination theorem for the class of ordinal sums in an expanded language. From this we deduce...
A classification of BL-algebras.

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...