论文部分内容阅读
数理逻辑命题演算演示系统在处理离散数学中数理逻辑命题算法上能够有效减轻人工演算难度，是计算机辅助教学领域值得关注的研究对象。本文结合离散数学中数理逻辑命题运算的流程，讨论了计算机数理逻辑命题演算演示系统的优势，并简析了该系统研究与开发的基本步骤，旨在专业学习基础上提出自己的一些拓展思考。
计算机数理逻辑命题演算演示系统的研究与开发
【摘 要】
：
数理逻辑命题演算演示系统在处理离散数学中数理逻辑命题算法上能够有效减轻人工演算难度，是计算机辅助教学领域值得关注的研究对象。本文结合离散数学中数理逻辑命题运算的流
【机 构】
：
长江大学计算机科学学院
【出 处】
：
未来英才
【发表日期】
：
2015年23期
其他文献
Early Paleozoic granulite-facies metamorphism and anatexis in the northern West Qinling orogen: Mona
In the northern West Qinling orogen(WQO), granulite-facies metamorphic rocks are recognized within the Qinling Complex. These rocks are composed of amphibole-be
邱思泽,广东省潮州市人,1944年生,擅长中国山水画、人物画。现为中国美术家协会会员、广东美术家协会理事、潮州市美术家协会主席。作品多次参加全国性美术展览并获奖。
Qiu
政治极化是当今美国政治最为显著的特征。近些年来,美国的经济不平等愈演愈烈,收入差距日趋明显,中产阶级持续萎缩,阶层固化初具规模,"贫困陷阱"业已显现。不平等的恶化是政治极化升级的经济和社会根源。不平等造成的贫富失衡、阶层分化、社会不公、机会不等,不仅导致右翼保守主义兴起、民粹主义泛滥、身份政治崛起和政治信任危机,更使党派冲突白热化、精英立场极端化、意识形态两极化、大众文化冲突化、社会阶层分裂化趋势进一步加剧。由于不平等保持着上升趋势,政治极化也丝毫没有减弱迹象,再加之不平等与政治极化相互交织、彼此强化,美
近日,广东省政协主办了“粤商·省长面对面协商座谈会”。会上,马兴瑞省长与广东企业家代表们围绕“优化实体经济的营商环境”这一主题进行面对面交流,详细了解企业发展经营
编辑同志:笔者在漳州市召开的福建省汽车更新工作调查座谈会上获悉:目前该省各地已有数百家未经批准的集体和个体拆车场点,从事老旧汽车的解体、拆取所需部件转手倒卖的经营
解放区后期文学中的国民性批判,主要通过揭露落后农民的等级意识、迷信观念、守旧思想、自私心理和看客心态等精神痼疾展开。开展对国民性的批判,是这一时期解放区作家自觉追求、有意作为的结果。它继承和弘扬了“五四”启蒙传统,也响应和贯彻了当时主流意识形态所提出的“教育人民”的要求,表现出了以“我们所写的东西”使他们“去掉落后的东西”的努力。这一批判在思想领域展开,固然具有“启蒙”的思想价值;同时,又以其对“救亡”的促进作用,取得了超越思想领域的政治的和社会的价值。
文学是人类的“心灵”呈现出来的其所感知的“世界”的样态,“小说”的书写则是对于现代世界的一种特定的“心灵赋形”活动。现代“小说”在时间维度上主要呈现为三种特定的“形式”:即“意愿-摩擦-期望”式的日常生活史、精神的“堕落-上扬”式的个体成长史,以及“个体-家国”式的民族国家史。中国的现代性还处于推进过程之中,汉语现代小说的“时间形式”意识尚未达到完全“自觉”的程度,在“心灵-世界-形式”的一般结构模型中,现代中国文学自身的“创造性”活力仍然有待更深层面的激发。
在《现代中国的述学文体》中,最引人瞩目的就是对于演说与现代文章体式的精彩讨论,在“文字中国”之外又呈现了一个跌宕起伏、众声喧哗的“有声中国”.更重要的是,陈平原并未
期刊
省人民委员会批准「交通厅关于专县交通科长会议情况报告」和七个附件,要求各地认真研究贯彻执行。整修小河、小道、桥梁和渡口
The Provincial People’s Committee appro