论文部分内容阅读
以命题逻辑为基础,从等值演算、自然推理的方法出发,对判断推理问题进行分类并给出详细的分析和解答,将分析研究结果应用在教学实践中,提高命题逻辑的应用能力。
命题逻辑在判断推理中的应用
【摘 要】
：
以命题逻辑为基础,从等值演算、自然推理的方法出发,对判断推理问题进行分类并给出详细的分析和解答,将分析研究结果应用在教学实践中,提高命题逻辑的应用能力。
【机 构】
：
喀什师范学院信息工程技术系
【出 处】
：
计算机教育
【发表日期】
：
2014年24期
【基金项目】
：
新疆高校科研计划重点项目(XJEDU2014I039);喀什师范学院重点课题((13)2456);喀什师范学院教研教改重点项目(KJDZ1303;KJDZ1202)
其他文献
资料患者,女性,69岁。绝经23年,下腹疼痛、腹胀2个月,便秘1月余。当地超声检查示:盆腔包块(大小13.6 cm×9.8 cm×9.4 cm)。转诊至本院再次行超声检查,示膀胱后方巨
复合故障诊断是机械故障诊断领域的一大难点。齿轮箱出现复合故障时,受传递路径、测点布置等影响,所拾取的复合故障振动信号中,各故障成分会呈现强弱不平衡,特别在变转速条件
近年来我国教育主管部门极力倡导和推广"3+2中高职衔接"办学模式,但是相关的中职学校与高职院校往往只是形式上合作办学,并未形成统一的人才培养方案和教学体系,合作形式松散
目的探讨延续护理在持续性非卧床腹膜透析(CAPD)患者临床应用中的效果。方法选取我院2017年1月至2018年1月收治的120例CAPD患者作为研究对象,按照单双号法分为对照组和试验组
本文介绍了发电厂电气监控系统ECS的结构和功能，详细讨论了对断路器的电寿命和机械寿命进行在线监测的有关问题，最后指出增加对断路器的工作状态的在线监测功能是ECS的发展方向
目的:探讨抑癌基因P33ING1在宫颈癌中表达的临床意义及其与P53相互关系. 方法:应用Envision免疫组化法检测宫颈癌50例,宫颈不典型增生15例患者P33ING1和P53基因蛋白的表达,并
在高中众多学科中高中的物理是非常重要的一门学科,而且物理也是难度较高的一门学科。高中物理中的历史有利于提高学生个人对物理的理解,而且也是提高物理成绩的重要部分。为
新华网美国圣迭戈5月5日电（记者张超群）2014年美国伦琴放射学会年会5日在加利福尼亚州圣迭戈市举行，中国复旦大学副校长、中华医学会放射学会主任委员冯晓源教授在会上被该学会
本文通过SD大鼠海马内给药,电镜观察,探讨Aβ和神经元自噬异常关系。在Aβ大鼠海马中,神经元旁和附近可见结构异常的突触终末内含有单层膜或双层膜包裹的囊泡状结构(囊泡体),
会议
目的:研究甲磺酸帕珠沙星在健康志愿者体内的药动学特征. 方法:10名健康志愿者单剂量静脉滴注甲磺酸帕珠沙星注射剂300 mg,以高效液相色谱法测定给药前及给药后8 h内的血药浓