论文部分内容阅读
基于maple v releaSe 5.1平台,编制了一个通用程序logiCBager.选取30个一元谓词公式,利用这个程序在计算机上自动产生了它们之间所有的等值关系与蕴含关系,从而得到了全称量词与存在量词对合取∧、析取v、等值、蕴含→、析舍↑、合舍↓及排斥或的所有分配律.
量词对7种联结词的分配律--计算机自动推理的1个实例
【摘 要】
：
基于maple v releaSe 5.1平台,编制了一个通用程序logiCBager.选取30个一元谓词公式,利用这个程序在计算机上自动产生了它们之间所有的等值关系与蕴含关系,从而得到了全称量
【机 构】
：
宁波大学理学院
【出 处】
：
宁波大学学报(理工版)
【发表日期】
：
2001年3期
其他文献
平板电脑作为一种新鲜事物，如同当初的录音机、PPT一样，也只不过是一种教学辅助工具而已。它既不能完全替代黑板的作用，也不能取代教师的主导地位，所以，我们也就没必要对平板电脑进课堂大惊小怪。但是，应该肯定的是，平板电脑进课堂最终会成为未来课堂教学发展的一种走向、趋势和必然。对于平板电脑走进课堂，服务教学，笔者还是比较赞同和欢迎的。 首先，平板电脑进课堂可以减轻学生们的书包重量。在当前素质教育与应试
近年来，交互式电子白板所具有的良好的交互性与生成性，使其在一线课堂得到进一步推广和落实。它提供了教师与学生、学生与学生、师生与资源的交互平台，极大地促进了多种多样的交互活动；它支持构建一个课堂教与学的协作环境，能促使师生的教与学的角色和行为发生积极的变化，教师可以利用交互式电子白板提供的交互平台开展更有效的学习活动，进行更优化的训练活动。就目前的语文教学研究来说，教师们关注的焦点是阅读教学——如何
人们通常所说的城市经营实际上指的是城市资产经营,城市经营具有充足的理论依据和五个方面的必要性.阐述我国开展城市经营的主要实践,对我国民间投资发展状况的进行统计,并对
根据信息技术教材的特点和学校的实际情况，在深入研究教材、教法、学生和学法的基础上，注重信息技术课程资源的重组与开发，不仅是教师自身专业成长的需要，也是教师积累教学经验、激发教学智慧、提高教学效率的有效途径。本文将以初中“网页制作技术”板块的教学为例，介绍如何根据信息技术教材的特点和课时现状，对教学内容和教学资源进行重组与开发，从而提高课堂教学效率。 一、教材内容及分析 武汉市很多学校所
理想的地理教学应该是智力因素与非智力因素同步发展的过程。在众多的非智力因素中，兴趣是学生接受教育的感情基础，是非智力因素中最为活跃的一个，是入门的向导，是学生探求知识、
在小学语文课堂教学中，合理、恰当地运用信息技术手段，不仅能丰富教学内容，优化课堂教学结构，而且还能拓展学生的知识面，培养学生的创新能力，提高语文课堂教学效率。 在教学过程中，教师要善于调动学生的学习积极性和学习热情，使学生形成良好的学习动机。恰当地运用现代信息技术则可以再现情境，使课文内容形象化，从而有效地激发学生的学习兴趣。 《向往奥运》这篇课文作者借助特殊的经历、特有的感受，抒发了为北京申
近几年,随着国家大力发展职业教育,许多高等职业技术学院(校)得到了蓬勃发展,但是在发展的同时,也遇到了许多困难和问题,其中,如何管好、用好资金,提高与创新财务管理水平,成
3Ds Max中的ParticleFlow粒子流系统是很多大型影片中特效制作的主要工具，它的出现给影视制作带来了无限的生命力，它生成的粒子特效真实感强，是一款非常优秀的思维粒子。本论文