论文部分内容阅读
本文应用MATHEMATIC软件编制了命题的真值表的程序和验证等价关系的程序.
真值表与等价关系的程序设计
【摘 要】
：
本文应用MATHEMATIC软件编制了命题的真值表的程序和验证等价关系的程序.
【机 构】
：
包头师范学院数学科学学院
【出 处】
：
阴山学刊（自然科学版）
【发表日期】
：
2004年期
其他文献
陶行知先生说过：“先生的责任不在教，而在教学生学。教的法子必须根据学的法子。”教师教学的目的就在于推动学生的学，在“教”和“会了”之间有一个联系的纽带，那就是“学”，学生
物理教学中，非相互作用力下，若存在等大反向的外力，合外力为零，选择系统进行研究，运用动量守恒，比研究单一物体并运用动力学的方法简单。
检察机关作为国家的法律监督机关,主要职责就是实施法律监督,这是检察工作的总体要求.这一总目标是通过公诉、反贪、反渎、侦监、民行、监所、控申等具体业务工作来实现的,因
一元二次方程根的分布问题是中学数学的一个重点和热点.常见的问题是仅针对一个一元二次方程,通过对所含参数的讨论,以确定其根在实轴上的位置关系.分析此类题主要方法是利用
大麦茶我们也许会注意到，日式料理店经常会给客人提供大麦茶，因为此茶一方面可以清除生鱼片留在口中的异味，另一方面也能避免冷食伤胃。因此，大麦茶可谓是最适合吃大餐时饮用的茶
体育教学实践中的方法很多,如讲解法、直观法、完整与分解法、预防和纠正错误法等,每一种方法都有其特点和局限性。所以,教师在实践教学中必须结合具体的客观条件和自己的主
目的:探讨肺栓塞严重指数(PESI)对急性肺栓塞(PE)的预测价值。方法:利用PESI对6家医院2005年01月～2009年12月期间住院PE患者30天内的预后转归进行回顾性分析。结果:共收集PE患
随着现代化,网络化时代的发展进程及新课程标准的实施,我们的课堂也注入了新的活力,“多媒体课件”在课堂上以一种全新的教学方式充分展示了它的魅力.它为教师的教育教学改革
指定居所监视居住执行监督作为刑事执行检察部门的一项新增业务,目前尚处于探索规范过程中。加强执行监督工作有利于促进指定居所监视居住措施的规范适用,刑事执行检察部门应
Exponential stability analysis for neutral BAM neural networks with time-varying delays and stochast
This paper is concerned with the global exponential stability analysis problem for a class of neutral bidirectional associative memory (BAM) neural networks wit