论文部分内容阅读
本文采用特有的语义分析方法对两类自然语言所表示的特殊命题进行准确形式化的讨论与研究。否定了一些错误形式，得到了这两类特殊命题正确形式化的公式和方法。
两类特殊命题准确形式化的语义分析法
【摘 要】
：
本文采用特有的语义分析方法对两类自然语言所表示的特殊命题进行准确形式化的讨论与研究。否定了一些错误形式，得到了这两类特殊命题正确形式化的公式和方法。
【机 构】
：
河南师范大学计算机科学系
【出 处】
：
微机发展
【发表日期】
：
1999年1期
其他文献
根据现代教育人力资源管理理念,通过对人力资源管理的新旧方式的对比,探讨以人为本的高等院校人力资源管理新模式。此外,进一步研究人力资源管理的开发与创新,为实现高等院校
高职旅游英语专业人才的培养需要适应市场的变化和需求。作为专业建设基础的课程体系在进行构建时，必须以市场需求为导向，体现高职特色，明确培养目标，注重实用性。
为治疗下肢原发性静脉倒流性疾病,作者采用经皮浅静脉连续环形缝扎术(PCCS)联合大隐静脉高位结扎+抽剥术和下肢深静脉辦膜重建术治疗208例274条肢体,男119例,女89例,平均年龄
在本系统中，开发了一个由立方体，球，半球，柱，半柱，锥，锲，变形立方体，参数曲面等９种基本模型组成的开放式立体造型系统的三维图库。用户不仅可以方便地利用已有的基本模型进行造型，而且可
本文介绍了视频代码转换机的基本原理，提出了一种采用输入运动矢量重复使用模式的高频代码转换方法，并对实验结果进行了分析和讨论。
语篇的衔接与连贯是语篇研究的核心。主述位理论又是研究语篇衔接与连贯的一大功能系统。主述位理论采用与统计学相结合的方法，分析大学英语新闻听力中的特点并且尝试性从语篇
本文分析了网络系统设计的特点，提出了一种改进的结构化设计方法，并应用于移动通信计费营业系统的网络设计，取得了较好的效果。
本文在讨论了TMN管理者 (Manager)的组成部件及其相互作用关系的基础上 ,提出了一个基于OSI管理框架的TMN管理者模型 ,并利用DSET公司提供的ManagerToolkit实现了TMN中Manage
界面隐喻是指导用户界面设计和实现的基本思想。隐喻作为普遍的认知和情感表达方式,在图形界面设计中的应用显得尤为重要。从分析界面和隐喻的概念入手,结合用户心理需求,分析了界面设计中隐喻产生的基础,隐喻在界面使用中的优势,以及对界面设计师的建议和启发。