论文部分内容阅读
数理逻辑是应用数学方法引进一套符号系统来研究抽象思维的形式结构和规律的一门年轻的应用学科,它要求学生要具有高度的抽象思维能力和严谨的数学推理功底.学生反映学习起来比较困难,特别是对推理理论的习题总是感到无从下手,没有解题思路.本文结合教学实践工作给出谓词推理的几种思路.
进行谓词推理常用的几种方法
【摘 要】
：
数理逻辑是应用数学方法引进一套符号系统来研究抽象思维的形式结构和规律的一门年轻的应用学科,它要求学生要具有高度的抽象思维能力和严谨的数学推理功底.学生反映学习起来
【机 构】
：
黄山学院计算机科学与技术系安徽黄山
【出 处】
：
黄山学院学报
【发表日期】
：
2004年3期
其他文献
对平板卧倒闸门的平面体系和空间体系的几种计算方法(平面体系包括主横梁、主纵梁、双向主平面和支臂计算方法,空间体系包括三维有限元算法),进行了简单介绍,并对优缺点进行
随着新课改的不断深入和发展,我国许多教育者对小学音乐教学提出了更为严格的要求,即在实际教学中,教师应当围绕音乐教学目标,来激发学生学习音乐的热情,让学生在喜爱音乐的
建立了利用中空纤维三相液相微萃取-高效液相色谱联用技术(HF-LPME-HPLC)同时测定环境水中痕量麦草畏(dicamba)、氟草烟(fluroxypyr)、4-氯苯氧乙酸(4-CPA)、2甲4氯(MCPA)、2
目的 通过对我院耐多药肺结核患者的病情与发病因素进行研究,探讨耐多药肺结核临床治疗转归的影响因素.方法 选择我院2014 年 6 月至 2016 年 6 月收治的耐多药肺结核患者 85
有效教学一直以来是教师的基本追求,为了更好地提升教学的有效性,许多教师在教学中做出了各种尝试,如采用分层教学法、合作学习法、情境教学法等教学方式,这些方式在课堂上的
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
期刊
随着中国人口老龄化进程的飞速演变,老年人群体利用机器人技术进行日常步行活动的需求日益增大。穿戴式步行辅助机器人根据用户体能进行主/从运动辅助(据需辅助)的功能特性与
考察了来自全国各地的377份甘蓝型油菜种质材料,在贵阳环境条件下种植的7个重要农艺性状,即:株高（X1）,每角果粒数（X2）,角果长度（X3）,一次有效分支数（X4）,主分支长度（X5）,主分支角果数（X6
<正>我们党历来反对不良乃至腐朽的文风。延安整风运动毛泽东发表《改造我们的学习》,对党八股进行了淋漓尽致的批判,倡导生动活泼新鲜有力的马克思主义文风;新时期,邓小平、