全国“广义逻辑悖论方法论”学术研讨会在皖西学院举行

2007年6月16日，来自南京大学、中国社科院、安徽师大、安徽社科院、浙江大学、扬州大学、湖南师大、华北电力大学、上海对外贸易大学等十几所高校和科研院所的20余位悖论研究专家云集皖西学院，举行为期一天的“广义逻辑悖论方法论”学术研讨会。我院王新华书记，张文兵、祝家     

汇编语言程序设计课程的教学探讨

汇编语言是高等院校计算机专业课程中公认的一门难教难学的课程,本文首先明确了汇编语言学习的重要性、必要性,然后对教学过程中的难点进行了主客观两个方面的解析,最后给出了有关汇编语言教学的几点建议和意见.     

化学热力学体系的逻辑演绎剖析

讨论了化学热力学体系逻辑演绎的出发点，主要内容及对提高教学质量的意义。     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

墨家辩学的研究对象与逻辑类型

《墨辩》六篇中的“辩”指的是论辩，墨家辩学理论是中国古代关于论辩形式、方法及其规律的科学。墨家辩学中包含有形式逻辑的思想，这种形式逻辑思想届于非形式化的，它通过辩学对自然语言中广义逻辑问题的研究得以表现，因此说，墨家辩学的逻辑类型是中国古代的非形式化的自然语言逻辑。     

思维能力在高考复习中的提高

高考复习中要建构知识网络,还不容忽视对科学思维方法的训练。利用巧设开放试题促进思维创新;教学中精心点拨、层层推进完善思维逻辑;跨学科演练扩展思维广度。