全  文

不  限

  • 不  限
  • 1979年

不  限

  • 不  限
  • 1979年
  • 全  文
  • 主  题
  • 篇  名
  • 作  者
  • 导  师
  • 第一导师
  • 学位授予单位
  • 关键词
  • 摘  要
  • 目  录
  • 参考文献
  • 学科专业
  • 发表时间

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 作  者
  • 导  师
  • 第一导师
  • 学位授予单位
  • 关键词
  • 摘  要
  • 目  录
  • 参考文献
  • 学科专业
  • 发表时间
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用

沈复兴

教授;博导

北京师范大学 基础数学

发表文献 32|文献被引 70| 指导论文 2

相关度 时间 被引 下载 CNKI为你找到相关结果

可量词消去的带根节点的树理论  CNKI文献

讨论了带根节点r的有向树、无向树理论的量词消去性质,找到决定理论量词消去的三类特殊公式,并给出了在语言■_0={E,r}(E为有向边或无向边)及添加二元距离关系D_(n,n)<w所得膨胀语言下,可量词消去的这两类理论的完...

傅莺莺 沈复兴 《数学学报(中文版)》 2015年04期 期刊

关键词: 量词消去 / 有向树 / 无向树

下载(49)| 被引(0)

可量词消去的树形偏序理论的分类  CNKI文献

提出了偏序的全序片段、序模式的概念以刻画树形偏序的结构特征,以此为基础,讨论了有最小元0的树形偏序理论的量词消去性质,给出了在语言(?)_0={<,0}及其膨胀语言下可以量词消去的这类理论的完全分类。

傅莺莺 沈复兴 《数学学报(中文版)》 2014年06期 期刊

关键词: 偏序 / 量词消去 / 序模式 / 树结构

下载(52)| 被引(2)

可交换范畴理论的一个结构定理(英文)  CNKI文献

本文研究了可交换范畴理论的结构,得到了如下主要结果:(1)如果T是可交换范畴理论,那么T有一个强极小有限生成系统.(2)如果T(在L中)是可交换范畴理论,那么有一个有限的L0■L使得对所有满足L0■L′■L的L′,T|L′,亦为范...

童雪 沈复兴... 《数学进展》 2013年03期 期刊

关键词: 范畴理论 / 可交换理论 / 强极小公式 / 极小公式

下载(29)| 被引(1)

n素元组猜想对于Peano公理组的条件独立性  CNKI文献

用模型论的方法证明了一类n素元组猜想独立于一公理组,此公理组在自然数系N上是与Peano算数公理组等价的.

马鑫 沈复兴 《北京师范大学学报(自然科学版)》 2013年04期 期刊

关键词: n素元组 / Peano公理组 / 紧致性定理 / 模型

下载(35)| 被引(0)

一种超图类的全图存在性问题研究  CNKI文献

证明了当n≥4时,不存在排斥Cn的k-一致的可数超图的全图.Hanjanl和Pach于1981年证明了当k=2且n=4的情形;Cherlin和Komjath于1994年证明了当k=2且n≥4的情形,这里的结果是他们结论的推广.

吴茂念 沈复兴... 《北京师范大学学报(自然科学版)》 2009年01期 期刊

关键词: 超图 / 全图 / k-一致 / 排斥Cn

下载(94)| 被引(0)

Makinson一个公开问题的注记  CNKI文献

公式集的essential原子在逻辑中扮演了重要角色,如在SAT问题中可以去掉非essential原子,从而加快搜索解的速度。将essential原子引入到赋值集是近年的一个研究热点,2005年Makinson提出一个关于essential原子的公开问题...

吴茂念 陈武... 《计算机科学》 2009年06期 期刊

关键词: 非单调推理 / essential原子 / 等价关系

下载(31)| 被引(0)

完全稠密二叉偏序理论的量词消去(Ⅰ)  CNKI文献

给出了完全稠密二叉偏序理论在语言L={≤,R}中的公理集,证明了在语言L={≤,R}中,该理论具有不可量词消去的性质.同时提出了该理论在L={≤,R,*}中的六类基本公式,通过考虑不同基本公式合取的量词消去情况,来证明完全稠...

陈磊 沈复兴 《北京师范大学学报(自然科学版)》 2008年06期 期刊

关键词: 量词消去 / 完全稠密二叉偏序 / 基本公式 / 同类公式

下载(39)| 被引(3)

完全稠密二叉偏序理论可量词消去的新证明  CNKI文献

利用理论的代数素模型和简单闭性质,给出了完全稠密二叉偏序理论可量词消去的新的简短的证明.

傅莺莺 沈复兴... 《北京师范大学学报(自然科学版)》 2008年02期 期刊

关键词: 量词消去 / 完全稠密二叉偏序 / 代数素模型 / 简单闭性质

下载(42)| 被引(3)

一类特殊的归纳环及双向归纳环  CNKI文献

证明了环理论扩充到具有量词消去理论时,其任意模型都是归纳环,而且带有一阶可定义序关系的环理论扩充到具有量词消去时,其模型是双向归纳环.

马鑫 王世强... 《北京师范大学学报(自然科学版)》 2008年02期 期刊

关键词: 归纳环 / 双向归纳环 / 量词消去

下载(33)| 被引(0)

基于动态分割和加权综合匹配的音乐检索算法  CNKI文献

在模式识别领域中,音乐检索算法由于其易行和高效的特性而得到越来越多的重视。但是音符分割不精确和匹配模版不统一等问题直接影响MIR算法精确度。为解决上述问题,提出基于动态阈值分割和加权综合匹配算法。动态设定...

秦静 周明全... 《计算机工程》 2007年13期 期刊

关键词: 音乐检索算法 / 动态域分割 / 综合加权匹配 / 钢琴音频模版

下载(287)| 被引(17)

完全分叉树理论可量词消去的新证明  CNKI文献

利用理论的代数素模型和简单闭性质,我们给出了完全k(k<ω)-叉树理论和完全无穷叉树理论可量词消去的新的证明,很大程度上简化了原有证明。

傅莺莺 沈复兴... 《南京大学学报数学半年刊》 2007年02期 期刊

关键词: 量词消去 / 完全二叉树 / 完全k-叉树 / 完全无穷叉树

下载(43)| 被引(4)

完全稠密二叉偏序理论的可数模型  CNKI文献

在偏序理论和二叉树理论的基础上给出了稠密二叉偏序理论的公理,并在该理论中定义了上界函数*,利用有理数序列构造了该理论的一个可数模型.

陈磊 沈复兴 《北京师范大学学报(自然科学版)》 2007年02期 期刊

关键词: 完全稠密 / 二叉偏序 / 有理数序列 / 上界

下载(51)| 被引(3)

关于一类不定方程有解的一般性结论  CNKI文献

用模型论的方法证明了一类不定方程a1xr11+a2xr22+…+anxrnn=bys(其中a1,…,an,b为任意整数,r1,…,rn,s为任意正整数)有解.进一步地,我们用相同的方法解决了一个猜想.

马鑫 王世强... 《北京师范大学学报(自然科学版)》 2007年06期 期刊

关键词: 不定方程 / Peano公理 / 紧致性定理 / 模型

下载(98)| 被引(1)

完全二叉树模型中元素的CB秩  CNKI文献

本文以完全二叉树理论的可量词消去为基础,介绍了该理论的可数原子模型 及饱和模型,并计算了一元、二元完全型的CB秩,从而给出了CB秩在该理论中的 几何解释.

陈磊 沈复兴 《数学学报》 2005年02期 期刊

关键词: 完全二叉树 / 原子模型 / 饱和模型 / CB秩

下载(76)| 被引(5)

p阶拟循环群理论的模型论性质  CNKI文献

构造了p阶拟循环群理论的可数原子模型,并且筛选型中的公式得到原子模型上的完备公式.然后扩充原 子模型得到了可数万有模型.最后证明了p阶拟循环群理论的ω1 范畴性.

周明宏 沈复兴 《北京师范大学学报(自然科学版)》 2005年01期 期刊

关键词: p阶拟循环群 / 原子模型 / 完备公式 / 万有模型

下载(86)| 被引(1)

p阶拟循环群理论的超稳定性  CNKI文献

依次用Δ- 秩、U -秩与SU- 秩证明了p阶拟循环群理论的稳定性、超稳定性与超单纯性,并计算了该理论中一元与二元完全型的CB -秩,证明了该理论中任意n元型的CB -秩均小于ω1.

吴兴玲 沈复兴 《北京师范大学学报(自然科学版)》 2005年02期 期刊

关键词: p阶拟循环群理论 / 稳定 / Δ-秩 / U-秩

下载(44)| 被引(1)

完全二叉树理论的模型及性质  CNKI文献

定义了完全二叉树理论的决定公式 .利用该类公式证明了此理论是原子理论 ,且型的个数是可数的 .还给出了它的可数原子模型和饱和模型 .证明了完全二叉树理论的ω1 范畴性

陈磊 沈复兴 《北京师范大学学报(自然科学版)》 2004年02期 期刊

关键词: 完全二叉树理论 / 原子模型 / 饱和模型 /

下载(168)| 被引(8)

中小学信息技术课程的问题与思考  CNKI文献

《中小学信息技术课程指导纲要》公布已经一年多的时间了,全国各地教育部门以及各级学校领导都非常重视信息技术教育,纷纷积极行动起来,成立领导小组,制定发展规划,投资购买设备,安装校园网,编写信息技术课程的...

沈复兴 陈星火 《中国电化教育》 2002年09期 期刊

关键词: 信息技术课程 / 教育信息化 / 教育部 / 获取信息

下载(718)| 被引(55)

不定方程解的δ-组合计数方法及应用  CNKI文献

运用徐利治和 Peter Jau-Shyong Shiue的 Kronecker δ符号的组合计数方法,可以给出一般算术方程f(X)=m在给定区域内的解之计数公式,由此可产生无穷多个组合恒等式,并能引出一...

阴东升 沈复兴 《数学研究与评论》 2000年04期 期刊

关键词: 方程 / δ-组合计数方法 / 恒等式.

下载(76)| 被引(1)

格值模型论中的力迫方法  CNKI文献

本文把Robinson模型论有限力迫法引进格值模型理论,证明了格值可数语言的generic模型存在定理,并应用有限力迫方法给出格值模型论中的省略型定理的一种证明。

沈复兴 《数学年刊A辑(中文版)》 1986年01期 期刊

关键词: 格值模型论 / 当且仅当 / 定理 / 定义

下载(39)| 被引(2)

学术研究指数分析(近十年)详情>>

  • 发文趋势

主要合作者关系图

民国大师细说中国史