切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
字的~L(MP)等价类数目
字的~L(MP)等价类数目
来源 :数学进展 | 被引量 : 0次 | 上传用户:wgsnt1
【摘 要】
:
给出并证明了字模型在等价关系 ̄L(MP)之下等价类数目的两类上界。
【作 者】
:
别荣芳
【机 构】
:
北京师范大学数学系
【出 处】
:
数学进展
【发表日期】
:
1997年6期
【关键词】
:
字
分划逻辑
模型论博奕
等价类数目
word
partition logic
pebble game
【基金项目】
:
国家教委博士点基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
给出并证明了字模型在等价关系 ̄L(MP)之下等价类数目的两类上界。
其他文献
智能交通高级论坛:科技部、国家计委、中国系统工程学会、《交通运输系统工程与信息》杂志联合召开“智能交通‘十五’发展高级研讨会”纪要
期刊
中国
智能交通
会议纪要
综合交通运输系统
系统规划
系统管理
体制改革
信息技术
纳米TiO2光催化剂的制备及其对碱性藏红花的降解
实验采用钛酸丁酯在有机溶剂中高温热水解与结晶同时进行的方法,制备了二氧化钛光催化剂。考察不同条件制得的二氧化钛光催化剂对碱性藏红花的降解反应,确定了催化剂的最佳制备
期刊
TIO2
制备
降解
二氧化钛
纳米粉
光催化剂
碱性藏红花
废水处理
titanium dioxide
nanometer powder
photocat
汽车起重机六边形截面形伸缩臂计算研究
本文对五节臂六边形截面伸缩臂的设计计算方法进行了探讨。编制了相应的计算程序,对50T汽车起重机伸缩壁强度、刚度、稳定性进行了计算。
期刊
伸缩臂
强度
刚度
轮胎式起重机
六边形截面
局部稳定性
设计计算
crane
telescopic boom
strength
stiffness
s
物理萎凋程度及发酵条件和时间引起的红茶质量和化学成分的变化
期刊
物理萎凋
发酵
红茶
质量
化学成分
发展电动汽车的工程哲学和总体策略
电动汽车在全球范围正在蓬勃发展,在我国已被列入一大科技产业、本文较系统地论述了在我国发展电动汽车的工程哲学思想和总体策略。
期刊
电动汽车
零排放
燃料电池
电力驱动
工程哲学
electric vehicles
zero exhaust
fuel cell
electric drive
微型名,优茶成套机械制作“开化龙顶”初报
期刊
开化龙顶茶
制茶机械
茶叶
工艺
氯氮平合并安度利可治疗难治性精神分裂症36例分析
目的了解氯氮平合并安度利可治疗难治性精神分裂症的疗效和安全性.方法36例符合CCMD-2-R精神分裂症诊断标准且临床判断属于难治性病人,予以氯氮平合并安度利可治疗,疗程12周,
期刊
氯氮平
安度利可
精神分裂症
治疗
茶树、茶叶与茶人
<正> (一) 茶树聚宝于一身,无私奉献于人类。它的根含有酰胺类化合物、简单儿茶素和黄酮甙类化合物,是苦口良药;茎叶,尤其是幼嫩芽叶,富含多种氨基酸、维生素、矿物质、糖类
期刊
茶树
茶文化
中国
茶学
发展
泡沫铝材料的制轩及其消声性能研究
研究了泡沫铝材料的制备工艺,对两种结构的泡沫铝消声器消声性能的测试结果表明,泡沫铝在消除空气动力噪声方面有优越的性能。
期刊
泡沫铝
消声器
渗流铸造法
制备工艺
消声性能
空气噪声
功能材料
aluminium foam
muffler
infiltration casting
精神分裂症恢复期心理社会干预的对照研究
目的采用前瞻性随机对照研究,以恢复期精神分裂症患者为研究对象,探讨集体和个别心理社会干预应用于病人的可行性和近期效果.方法120例病人被随机分配到干预组(60例)和对照组
期刊
精神分裂症
恢复期
心理社会干预
治疗
与本文相关的学术论文