切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
公理系统GB的布尔值模型
公理系统GB的布尔值模型
来源 :河南大学学报:自然科学版 | 被引量 : 0次 | 上传用户:gkhy0907
【摘 要】
:
本文在V~(B)的基础上,构造了模型Δ~(B),定义了集合论的有穷公理系统GB的每个公式的布尔值(GB是比ZFC丰富的理论)。证明了Δ~(B)是GB的布尔值模型。即:GB的每条公理的布尔值
【作 者】
:
李娜
【出 处】
:
河南大学学报:自然科学版
【发表日期】
:
1989年4期
【关键词】
:
公理系统GB
布尔值模型
布尔类
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文在V~(B)的基础上,构造了模型Δ~(B),定义了集合论的有穷公理系统GB的每个公式的布尔值(GB是比ZFC丰富的理论)。证明了Δ~(B)是GB的布尔值模型。即:GB的每条公理的布尔值为1。
其他文献
玉米种植技术要点浅谈
对玉米种植过程中的相关技术进行分析,分别总结并阐述玉米种子的选择、种子的处理、地块的选择、肥料的施用及病害防治等。另外,在玉米生长过程中,还要进行适当的田间管理。
期刊
玉米种植
种子选择
田间管理
浅析我国农村农机化现状及发展方向
摘 要 我国作为农业大国,农村生产力的发展有着非常重要的作用。随着经济的不断发展,农村也逐渐向机械化发展,实现农村农机化是促进农村现代化建设的重要表现。基于此,结合我国农村农机化的现状,对今后农机化的发展方向做了进一步探究。 关键词 农机化;现状;发展方向 中图分类号:F323.3 文献标志码:B DOI:10.19415/j.cnki.1673-890x.2017.29.052 农机化是我
期刊
农机化
现状
发展方向
灰色系统理论在豫东土壤肥力研究中的应用
利用灰色系统特有的方法,对原始数据进行均值化处理后,再进行关联性分析,判别结果表明,土壤中有效态氮,磷,钾,锌,锰,硼和稀土元素与作物具有较高的关联度。关联分析还说明,土壤中有机质
期刊
灰色系统
土壤
肥力
河南
有机质
gray system
soil in fastern henan province
fertility
南京机场线0112次(19+20)制动管接头脱落分析
<正>2015年1月26日,12:17分,0112(19+20)次在翔宇路北站至正方中路上行区间发生主风缸风压力低于4BAR故障,经司机处理后恢复,原救援应急预案终止。该车至正方中路上行清客下
期刊
主风
存车线
风压力
机场线
三方通话
风管
制动管路
现场检查情况
卡箍
紧急制动
开封市旅游环境质量下降的原因及防治对策的分析探讨
本文通过对开封市自然地理环境的历史变造及旅游环境现状的研究,揭示了开封市旅游环境质量下降的原因,指出提高开封旅游环境质量的关键是搞好城市规划、提高能源消费的层次、抓
期刊
旅游
城市规划
地理环境
环境质量
符号学原理在导向系统设计中的应用研究
随着经济的迅速发展,大型商场在给顾客提供必需品的同时也带来了诸多功能复杂、空间变化很大的问题。把符号学原理应用到大型商场导向系统设计中,通过特殊的编码,把简洁鲜明
期刊
符号学
导向系统设计
符号编码
应用研究
国家安全生产信息化总体规划(下)
(接上期)五、国家安全生产信息化建设的主要任务为确保总体目标的实现,加快国家安全生产信息化建设的进程,在"十五"期问应完成以下主要任务:
期刊
国家安全生产
信息化
数据处理
企业
职业安全健康管理体系
信息安全
远程安全教育
政务信息化
我国生态农业发展对策浅议
摘 要 结合生态农业的定义,分析发展生态农业的重要意义,提出发展生态农业的具体措施和主要方向。 关键词 生态农业;农业经济;可持续发展;现代农业 中图分类号:F323 文献标志码:C 文章编号:1673-890X(2016)13-067-02 生态农业是强调结合有机物和无机物的优点,把其充分运用到农业生态系统的生产中,克服传统农业的缺陷,寻求人与自然的健康发展,构成有机物与无机物、生态环境内
期刊
生态农业
农业经济
可持续发展
现代农业
改变回采工艺方法的选择与实践
随着煤炭开采地质条件的变化,改变回采工艺方法是必要的。峰峰集团羊渠河矿8230工作面原为轻放工作面,由于工作面内断层多、地质条件复杂,因此影响推进速度。经矿、集团公司研究
期刊
工艺方法
回采
开采地质条件
轻放工作面
高档普采工作面
集团公司
推进速度
城市自然地理学的理论探讨与实例研究
本文第一部分讨论城市自然地理学的一些理论问题。第二部分是根据这些理论撰写的杭州城市自然地理纲要。杭州城市土地类型共分三级:一级是地方,二级是土地地段,三级是院落;分
期刊
城市自然地理
城市土地
院落
与本文相关的学术论文