【摘 要】
:
本文应用形式逻辑学原理阐明了几个关于数学的逻辑问题,指出了部分师专使用的两本教材的逻辑错误。
论文部分内容阅读
本文应用形式逻辑学原理阐明了几个关于数学的逻辑问题,指出了部分师专使用的两本教材的逻辑错误。
其他文献
目的:探讨病毒性肝炎(Viral Hepatitis,VH) 患者的心理状态、内分泌变化及与肝功能的关系.方法:VH患者的结果与常模比较,心理测验同时检测血浆皮质醇 (Cortisol,CT)、血管紧
为提高数据库分类系统的分类精度,提出一种新的分类方法。首先,利用模糊C-均值聚类算法对数据库中的连续属性进行离散化;然后,在此基础上提出一种改进的模糊关联算法挖掘分类关联规则;最后,通过计算规则和模式之间的兼容性指标来构造特征向量,构建支持向量机的分类器模型。实验结果表明,该方法具有较高的分类识别能力和分类效率。
为了提高基于Service大型软件的开发效率和运行稳定性,需要解决Web Service开发方法过程中的多粒度Service复用问题,为此提出了一种基于Service构件和组合模式的解决方法。该方法首先通过封装Service及其协调机制,以统一的方式描述不同粒度Service构件的操作和特征,组成大粒度Service构件,这种组合的大粒度Service构件可以与传统的Web Service一样对外
近年来,教育界十分重视人文精神的培养.从素质教育的视野来看,人文精神的培养不仅仅是人文学科的任务,而是实施素质教育的一个综合课题,培养公民的科学人文精神,是时代的需求
本文联系中学数学实际,根据形式逻辑学原理,阐明了完全归纳推理和分情况证明是两种不同的推理论证方法,不能混淆。
情绪焦虑问题在人的发展过程中始终存在,但对于当代大学生而言,他们出现的这种情绪焦虑具有特殊性,本文通过对调查资料与数据的分析,揭示当代大学生情绪焦虑的基本状况与特征,并进
针对传统过程建模不能对仿真编码阶段前的过程进行有效的描述的问题,提出了一种基于扩展UML活动图的建模方法,并从信息活动和物理活动两方面对其进行建模。最后通过一个实例表明该方法能清楚描述过程建模的具体活动,且有利于用户和系统开发者进行沟通和交流。
迄今为止,基于群签名构造匿名指纹方案的问题尚未得到较好地解决。为此,提出一个具有直线提取器的匿名指纹方案,新方案的设计过程使用了关于OR逻辑的Canard-Gouget-Hufschmitt知识证明技术(CANARD S,GOUGET A,HUFSCHMITT E.A handy multi-coupon system.ACNS 2006:Proceedings of the 4th Intern