论文部分内容阅读
讨论了命题逻辑中的集合表示,给出了一系列重要结论,并通过实例说明了基于集合的交、并和差运算求命题公式主范式和进行逻辑推理的方法.
命题逻辑中的集合表示
【摘 要】
：
讨论了命题逻辑中的集合表示,给出了一系列重要结论,并通过实例说明了基于集合的交、并和差运算求命题公式主范式和进行逻辑推理的方法.
【机 构】
：
德州学院计算机系
【出 处】
：
计算机与现代化
【发表日期】
：
2005年5期
其他文献
阐述了几种网格门户开发工具的结构及其特点。同时，开发网格门户的工具需要提供最全面的功能，并随着网格开发工具的不断更新，由此提出了使用GridSphere网格开发工具。
在软件开发中Excel文件的导入导出功能是经常遇到的一种需求，例如：导入由Excel保存的原始数据，利用Excel打印等。本文介绍了在stnlts＋Hibemate的框架下实现此功能的方法和实现过
主要论述高校考勤管理软件的产生、设计中遇到的技术问题以及解决这些问题过程中用到的关键技术。根据具体的使用需求，该软件大体上分为数据提取、数据挖掘、数据管理这三个部
从技术角度分析了当前使用传统的Web技术开发电子购物车的不足，从而给出了一种结合Flash和PHP技术实现Flash购物丰的方案，并对其实现的关键技术进行了详细介绍。
随着越来越多的嵌入式系统需要接入Internet以进行全球性的信息通信,这就日益要求解决嵌入式系统的网络通信安全问题。本文阐述了IPSec的体系结构,分析了一种简单的嵌入式IPS
根据服装企业营造国际著名品牌、向国际化营销进军的需求．提出并开发一个网上虚拟化的服装三维展示系统，建立具有真实感的人体模特和服装，模拟模特着装效果，运用虚拟现实技术实现
主要探讨了现行IPv4体系结构下的安全缺陷以及IPv6针对这些缺陷提出的解决办法，介绍了新制定的安全邻居发现协议，并对IPv6潜在的安全威胁提出了笔者的看法以及一些解决方案。
提出了一种基于多纹理特征的商标图像检索方法.首先对图像纹理特征进行分析,从人眼视觉角度选用粗糙度和方向性这2个纹理特征量;从统计分析的角度出发,基于图像灰度共生矩阵
针对中小城市交管部门经费少、人力不足，难以应对急剧的城市扩容和汽车拥有量膨胀的问题，提出了一种结合通信、网络和视频处理技术的交通智能监控系统设计方法。其特点是：经济实
数字校园建设是学校现代化建设的基础，校报数字化是数字校园建设的主要内容之一。本文从系统需求出发，分析了数字化院报的系统设计、数据库规划和主要功能模块的实现。