论文部分内容阅读
一阶逻辑理论与集合论是两种不同的理论,但两者的理论结构有很多相同之处,将这两种理论进行了比较,分析了它们之间的一致性.
一阶逻辑与集合论
【摘 要】
：
一阶逻辑理论与集合论是两种不同的理论,但两者的理论结构有很多相同之处,将这两种理论进行了比较,分析了它们之间的一致性.
【机 构】
：
秦皇岛教育学院数学系,秦皇岛广播电视大学,邯郸市第二十四中学
【出 处】
：
邯郸职业技术学院学报
【发表日期】
：
2004年4期
其他文献
对西北地区5个酿酒葡萄赤霞珠（Vitis viniferaL.cv.Cabernet Sauvignon）葡萄园根际土壤0—60 cm土层的AM真菌空间分布进行了研究。结果表明,葡萄根系可形成丛枝菌根,且侵染率较
2000年3月～2001年2月对黄河三角洲盐碱土壤中5种优势植物柽柳(Tamarix chinensis)、芦苇(Phragmitescommums)、碱蓬(Suaeda glauca)、獐毛(Aeluropus littoralis var.sinensis
建立中卫旅游经济开发试验区,大力发展旅游经济,是贯彻落实国家旅游业＂十二五＂规划,推动中卫市旅游业从行业管理向综合管理发展的重大部署,是积极推进宁夏内陆开放型试验区建设
为降低茶树组培过程中外植体褐化程度,从外植体表面消毒时间、切割方式、转瓶间隔时间、培养基类型、激素配比、抗褐化剂和吸附剂的使用方面进行了综合试验。结果表明：表面消
介绍新型钢丝帘线3＋9＋15×0.245HT,3＋8×0.35HT BETRU和5×0.35HI在矿山型全钢载重子午线轮胎中的应用.与3＋9＋15×0.22＋1NT和3×4×0.22HE钢丝帘线相比,3＋9
给出了一种利用TSMC 0.18μm CMOS工艺实现的2.5 Gb/s跨阻前置放大器.此跨阻放大器的增益为66.3 dBΩ,3 dB带宽为2.18 GHz,等效输入电流噪声为112.54 nA.在标准的1.8 V电源电
为了提高农田地力分等定级评价成果服务于农业生产的作用,必须加强其与耕地地力评价、测土配方施肥工作的交叉分析和综合应用。该研究以浙江省富阳市为样区,利用各种空间数据
本文构造了两种求解BBM型粘性分数阶方程的数值格式,分析了两种格式的稳定性与误差估计,严格证明了两种格式是无条件稳定的,两种格式的收敛都是O(Δt^3/2+N^1-m),数值结果验