沈复兴
- 作品数：33 被引量：70H指数：3
- 供职机构：北京师范大学信息科学与技术学院更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金中国博士后科学基金更多>>
- 相关领域：理学文化科学自动化与计算机技术机械工程更多>>
- 0－1律研究中的局部化方法
- 1994年
- 对０－１律的研究提出了一种有别于以付的整体化方法的新方法，称之为局部化的方法，并证明了一个有关局部一整体的结论。
- 田启家沈复兴
- 关键词：一阶逻辑0-1律数理逻辑
- 中小学信息技术课程的问题与思考被引量：39
- 2002年
- 沈复兴陈星火
- 关键词：信息技术课程基础教育计算机课程
- 可量词消去的带根节点的树理论
- 2015年
- 讨论了带根节点r的有向树、无向树理论的量词消去性质,找到决定理论量词消去的三类特殊公式,并给出了在语言■_0={E,r}(E为有向边或无向边)及添加二元距离关系D_(n,n)
- 傅莺莺沈复兴
- 关键词：量词消去
- 一种超图类的全图存在性问题研究
- 2009年
- 证明了当n≥4时,不存在排斥Cn的k-一致的可数超图的全图.Hanjanl和Pach于1981年证明了当k=2且n=4的情形;Cherlin和Komjath于1994年证明了当k=2且n≥4的情形,这里的结果是他们结论的推广.
- 吴茂念沈复兴傅莺莺
- 关键词：超图全图
- 完全二叉树理论的模型及性质被引量：8
- 2004年
- 定义了完全二叉树理论的决定公式 .利用该类公式证明了此理论是原子理论 ,且型的个数是可数的 .还给出了它的可数原子模型和饱和模型 .证明了完全二叉树理论的ω1
- 陈磊沈复兴
- 关键词：原子模型
- 完全稠密二叉偏序理论可量词消去的新证明
- 2008年
- 利用理论的代数素模型和简单闭性质,给出了完全稠密二叉偏序理论可量词消去的新的简短的证明.
- 傅莺莺沈复兴吴茂念
- 关键词：量词消去
- 可量词消去的树形偏序理论的分类
- 2014年
- 提出了偏序的全序片段、序模式的概念以刻画树形偏序的结构特征,以此为基础,讨论了有最小元0的树形偏序理论的量词消去性质,给出了在语言(?)_0={<,0}及其膨胀语言下可以量词消去的这类理论的完全分类。
- 傅莺莺沈复兴
- 关键词：偏序量词消去树结构
- 王世强先生简介
- 2007年
- 王世强，1927年3月30日生于河北省石家庄市，祖籍河北省深县相家庄（现划归衡水市）。抗日战争爆发时，跟随父母经过逃难及转移，在沦陷后的天津市法租界读完小学，1939年辗转迁徙到抗战后方的甘肃省。1942年在甘肃武威中许中学初中毕业，然后去酒泉河西中学高中部肄业两年，1944年以同等学历方式考入兰州西北师范学院数学系。抗战胜利后，于1946年转入北京师范大学数学系，1948年毕业留校，被任北京师范大学数学系主任的傅种孙提升为讲师。
- 沈复兴别荣芳
- 关键词：数学系抗日战争
- p阶拟循环群理论的超稳定性被引量：1
- 2005年
- 依次用Δ- 秩、U -秩与SU- 秩证明了p阶拟循环群理论的稳定性、超稳定性与超单纯性,并计算了该理论中一元与二元完全型的CB -秩,证明了该理论中任意n元型的CB -秩均小于ω1.
- 吴兴玲沈复兴
- 关键词：超稳定
- 整数环的一些可换扩环的数论性质
- 1990年
- 用模型论和数论的方法,讨论整数环I的可换扩环R和S的数论性质,如Mordell方程的可解性,平方和问题,素元组问题.
- 沈复兴丁征
- 关键词：整数环数论
