学者知网节

【姓名】	童雪
【职称】	教授;
【研究领域】	数学;自动化技术;逻辑学;
【研究方向】
【发表文献关键词】	欧拉ψ－函数,紧致性定理,费马定理,正规逻辑系统,对偶可行基,紧致性特征,半正规逻辑系统,LS特征,准标准形,自然数,不可辩元,格值逻辑,型,Skolem膨胀,项式,函数定义,定积分,方向导数,单纯形...
【工作单位】	华北电力大学
【曾工作单位】	华北电力大学;
【所在地域】	北京,中国

中国期刊全文数据库 共找到16篇

[1]童雪;沈复兴;李永强;.可交换范畴理论的一个结构定理(英文)[J]数学进展.2013,(03)

[2]童雪;李永强;.模型论在代数上的应用(英文)[J]数学研究.2009,(03)

[3]童雪;陈国龙;.寻找第一个对偶可行基的一般方法(英文)[J]淮北煤炭师范学院学报(自然科学版).2006,(03)

[4]童雪;别荣芳;.L′_(ω1ω)上的α-省略型定理及其应用[J]数学进展.2006,(05)

[5]童雪;别荣芳;.有限可补格上的一阶格值逻辑几个性质[J]数学学报.2007,(06)

[6]童雪;李永强;.完备型序列及其应用[J]南京大学学报数学半年刊.2007,(02)

[7]童雪;别容芳;李永强;.有限可补格上的格值逻辑的特征[J]数学学报.2008,(01)

[8]童雪;别容芳;李永强;.模型中强极小集的关系[J]数学学报.2008,(02)

[9]童雪.一阶格值逻辑上的Mostowski定理[J]华北电力大学学报.2003,(02)

[10]童雪,别荣芳.α-型及其应用[J]数学进展.2003,(03)

今年新增/文献篇数	核心期刊论文数	基金论文数	第一作者篇数	总被引频次	总下载频次
0/16	7	3	16	4	518