论文部分内容阅读
研究了数理逻辑的若干应用,即利用数理逻辑证明某些数学证明方法的合理性,证明集合论中的某些关系,证明数学分析中的“一致”与“处处”的关系,证明某些推理形式的正确性,证明命题的等价性及在社会科学中的应用.
数理逻辑的若干应用
【摘 要】
：
研究了数理逻辑的若干应用,即利用数理逻辑证明某些数学证明方法的合理性,证明集合论中的某些关系,证明数学分析中的“一致”与“处处”的关系,证明某些推理形式的正确性,证
【机 构】
：
齐齐哈尔大学理学院
【出 处】
：
高师理科学刊
【发表日期】
：
2018年9期
【基金项目】
：
黑龙江省省属高等学校基本科研业务费科研项目(135209250);齐齐哈尔大学教育科学研究项目(2017028);齐齐哈尔大学教育科学研究项目(2015109)
其他文献
通过本草证认为：我国古代使用的海马为海龙科除小海马Ｈｉｐｐｏｃａｍｐｕｓ ｊａｐｏｎｉｃｕｓ以外的数种海马；海龙为刁海龙Ｓｏｌｅｎｏｇｎａｔｈｕｓ ｈａｒｄｗｉｃｋｉｉ。
学校特色建设既是当前基础教育改革的应有之义,也是其快速发展的内在需要。吉林市第二十九中学近年来确立了“实施健康教育,实现和谐发展”的办学理念,将教育教学的关注点聚
<正> 一、内部会计控制是一个动态的过程。实施《内部会计控制基本规范》应避免产生对内部会计控制认识的静态化。内部会计控制是企业经营过程的一部分,应与企业的经营管理过
依据运动解剖学学科特点以及传统教学法中存在的一些蔽病,采用实验对比法对结构式教学法在运动解剖学教学中的优越性和可行性作了论证。结果表明:采用结构式教学法的实验组的
双胎动脉反向灌注序列(TRAPS)是一种罕见并发症,是单绒毛膜双胎中最严重的并发症,是由于胎盘水平胎-胎血管异常吻合所致。该文报告空军军医大学第一附属医院收治的双胎动脉反
<正> 财政部2003年颁发的《关于执行<企业会计制度>和相关会计准则的有关问题解答二》(以下简称《解答二》)对会计年度内合并范围变化时合并资产负债表、合并利润表、合并现
环境保护、消除贫困是国际社会面临的全球性问题,也是当前我国实现全面建成小康社会目标的两个突出短板。环境退化和贫困存在互为因果的关系,要求环保和扶贫开发工作必须统筹
左云方言惯用语意义丰富、精练短小、幽默有趣,承载着深厚的人文内涵.笔者以收集到的《左云县志》、《古今俗语集成》等文献资料以及人们口头流传的左云方言惯用语为语料,从
"大众创业,万众创新"对高校人才培养模式改革提出了新的要求,持续的政策出台和经济投入使得"双创"教育的成效已经初步显现。高校开展创新创业教育必须遵循市场规律,激发市场
对６种黄连属药用植物进行了愈伤组织诱导和培养，并用薄层层析和高效液相色谱法分析比较了愈伤组织和原生药中小檗碱，药根碱，黄连碱，巴马丁和表小檗碱等成分。