论文部分内容阅读
命题逻辑是计算机专业的必修课《离散数学》课程中的有机组成部分。但多数教材所提供的讲解和证明往往会让初学者感到无从入手,学习起来比较困难。针对于此,本文将命题逻辑中的推理的构造法进行了教法改进。通过实际教学效果来看,学生普遍反映改进后的构造法易于接受,便于掌握。
命题逻辑的推理的构造法的改进
【摘 要】
：
命题逻辑是计算机专业的必修课《离散数学》课程中的有机组成部分。但多数教材所提供的讲解和证明往往会让初学者感到无从入手,学习起来比较困难。针对于此,本文将命题逻辑中
【机 构】
：
大连外国语学院软件学院
【出 处】
：
中国城市经济
【发表日期】
：
2010年12X期
其他文献
长株潭“3+5”城市群是以湖南省长沙、株洲、湘潭三市为中心，以90分钟通勤为半径，包括长株潭和岳阳、常德、益阳、娄底、衡阳五市在内的城市群，是湖南的城镇密集区域。长株潭“3+5”城市群轨道交通建设，对解决城市交通拥挤、推进“两型社会”建设、加快入市融城步伐、提升城市群品位，具有重要作用。由于轨道交通建设是一项规模大、造价高、技术复杂的系统工程，投融资模式的设计与选择是其关键环节。本文从投融资平台的
本文根据车用嵌入式操作系统标准规范OSEK／VDX的要求。并在此基础上选择了源码开放的实时操作系统μC／OS—II作为控制芯片要加载的操作系统。在合理划分具体任务后，对各个具体任
一种奇特的西瓜，因为瓜籽饱满、平整，短短几年间就让林垦从小商贩变成了亿万富翁。 在甘肃省民勤县的田地里，有一种奇特的西瓜，将瓜打开，里面的瓜籽非常饱满、平整。原来这就是我们常吃的黑瓜子。就是这些并不起眼的黑瓜子，让一个名叫林垦的台湾人发了大财。短短几年，他从小商贩变成了亿万富翁。 这个瓜子的传奇故事要从20年前说起。那时的台湾，很多人爱吃黑瓜子，然而由于台湾种植的土地越来越少，黑瓜子几乎无