命题逻辑的推理的构造法的改进

来源 :中国城市经济 | 被引量 : 0次 | 上传用户:batjbf
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
命题逻辑是计算机专业的必修课《离散数学》课程中的有机组成部分。但多数教材所提供的讲解和证明往往会让初学者感到无从入手,学习起来比较困难。针对于此,本文将命题逻辑中的推理的构造法进行了教法改进。通过实际教学效果来看,学生普遍反映改进后的构造法易于接受,便于掌握。
其他文献
湖北省安陆市在中央电视台一句“李白故里,银杏之乡,湖北安陆欢迎您”的城市推介广告,惹得四川省江油市很是不高兴,更是声称“不排除用法律途径维护城市名誉权的可能”。(《成都商
【正】 据苏联《文学问题》一九七九年第六期报道,苏联俄罗斯文学研究所为纪念格里鲍耶多夫逝世150周年,于今年二月在列宁格勒举行学术会议。C.福米切夫(列宁格勒)在题为《格
长株潭“3+5”城市群是以湖南省长沙、株洲、湘潭三市为中心,以90分钟通勤为半径,包括长株潭和岳阳、常德、益阳、娄底、衡阳五市在内的城市群,是湖南的城镇密集区域。长株潭“3+5”城市群轨道交通建设,对解决城市交通拥挤、推进“两型社会”建设、加快入市融城步伐、提升城市群品位,具有重要作用。由于轨道交通建设是一项规模大、造价高、技术复杂的系统工程,投融资模式的设计与选择是其关键环节。本文从投融资平台的
菏泽市位于山东省西南部,建设用地的需求日益增加,耕地保护面临严峻形势,保护耕地,坚守红线,促进我市耕地资源的可持续利用和发展,转变思想、用好政策,妥善解决保护与利用之
最近.建行上海分行向市场推出“定期供”和“定额供”两款全新理念的还款方式。“定额供”是指借款人每月按约定的金额归还贷款.月供不随利率变化而变化,多还的本金直接;中减贷款
本文根据车用嵌入式操作系统标准规范OSEK/VDX的要求。并在此基础上选择了源码开放的实时操作系统μC/OS—II作为控制芯片要加载的操作系统。在合理划分具体任务后,对各个具体任
【正】 据西班牙科学与文学家传记杂志《岛》月刊一九七九年四月号报道,去年年底西班牙颁发一九七八年度国家文学奖金。女作家卡门·马丁由于长篇小说《后面的房间》获得
一种奇特的西瓜,因为瓜籽饱满、平整,短短几年间就让林垦从小商贩变成了亿万富翁。    在甘肃省民勤县的田地里,有一种奇特的西瓜,将瓜打开,里面的瓜籽非常饱满、平整。原来这就是我们常吃的黑瓜子。就是这些并不起眼的黑瓜子,让一个名叫林垦的台湾人发了大财。短短几年,他从小商贩变成了亿万富翁。  这个瓜子的传奇故事要从20年前说起。那时的台湾,很多人爱吃黑瓜子,然而由于台湾种植的土地越来越少,黑瓜子几乎无
做一个名牌代理商,天天与名牌为伴,又能站在名牌的肩膀上开创自己的事业,这是许多人理想中的财富捷径。那么,怎样才能捷足先登取得这样的机会?名牌代理商需要怎样的才能?    琐碎的工作需要坚持8年前,廖健瑜还是广州某外贸公司的职员,一天她从朋友那里知道“莱尔斯丹”要招特许经销商,“我觉得你合适,”朋友怂恿她,“不如去试试吧。”于是廖健瑜出现在了几十人的面试名单中。  带着仅有的6年外贸经验和对零售业的
客户分类集团信息化管理是适应现代市场发展的内在要求,是企业以客户需求为中心的生产服务理念的体现。企业应立足自身发展实际,制定实施统一规划,掌握充足的客户信息资源,以