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

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

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

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

决策树在文本分类中的应用

介绍了文本分类的思想,探讨了通过决策树学习来对文本进行有效分类的过程。     

XML在Web文本抽取中的应用

作为互联网的新技术,XML的应用非常广泛,利用XML技术实现Web数据挖掘,可以根据用户的不同需求,将现有的Web页面中符合用户的有用信息抽取出来。本文综合HTML、XML技术,采用Java语言编程.具体实现了对股票信息的文本抽取。通过追踪某股票不同时刻的价格,实现了对指定股票的报价查询,根据设定自动地从Web上查找股票价格的信息,并通过浏览器呈现给用户。     

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

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

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

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

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

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

文化在九十年代汉诗中的处境

本文通过文化记忆和文化经验和九十年代汉语诗歌中的呈现，特别是以解读大陆青年诗人、翻译家马永波的长诗《电影院》为契机，分析了目前大陆先锋诗歌所遭遇的批评、误读、失语状态，从而阐释了汉诗面对已经过去的九十年代存在的独立美学意义、文本价值、艺术倾向和必须面对的文化与审美缺陷。在此基础上提出了人道关怀的艺术主张。