论文部分内容阅读
本文通过应用限制到一个费协调逻辑给出一种费协调限制，费协调限制是一种费协调非单调逻辑，它能被极小化语义所刻划，并具有两方面优点：非单调逻辑在包含矛盾时是不平凡的；费协调逻辑在矛盾没有影响时等介于经典逻辑。
一个在费协调逻辑中的限制
【摘 要】
：
本文通过应用限制到一个费协调逻辑给出一种费协调限制，费协调限制是一种费协调非单调逻辑，它能被极小化语义所刻划，并具有两方面优点：非单调逻辑在包含矛盾时是不平凡的；费协调逻
【机 构】
：
汕头大学计算机科学系
【出 处】
：
软件学报
【发表日期】
：
1995年5期
【基金项目】
：
国家863计划,国家基础研究攀登计划,国家自然科学基金
其他文献
本文根据笔者多年的教学经验与实践调研，对中职学校船舶避碰与信号课程的教学现状作出分析，并提出一些改进设想，具体如下。 一、船舶避碰与信号课程教学现状 1.教学仍以理论讲授为主，其他手段为辅 目前，船舶避碰与信号课程仍以理论讲授为主要教学方法，只在某些环节如海事考证要求实操考核的“模拟驾驶应急操作”与“海事案例分析”等采取了模拟实训的手段。并且，实训过程与内容大多按实操考核要求进行，并未以课程
本文介绍了作者设计并实现的一个面向对象的计算机图形系统，由于系统采和了面向对象的系统设计思想，使用户可以通过高层概念来设计对象模型，且模型设计上观、自然，避免了在传统图
摘 要：电子电工是时下学生所需学习的重要课程之一，对于培养学生动手实践能力，建立科学逻辑思维等具有重要意义。本文就当下电子电工教学过程中存在的问题进行总结分析，并依据该门课程的特点，提出针对性的改善措施。 关键词：电子电工 问题 应对措施 电子电工课程要求学生具备较强的动手能力以及对多门学科的综合应用能力，因此实际教学中不但需要基于理论方面对知识点进行剖析与讲解，同时还需要实践操作配合，从而提
ＤＣ是一种支持分布式设计的编程语言，它是由Ｃ语言向上兼容扩充得到的，本文介绍ＤＣ及其在工作站网络环境下运行时支持系统的设计与实现，最后给出测试结果。
类比转换完成将已知情况（称基）的知识引入到相似新情况（称靶），从而求解靶或学习到关于靶的新知识，本文的类比转换原理讨论了如何选择最佳映射，怎样在靶中创建对象和谓词，以及转换基中
摘 要：本文阐述了如何在《教育信息化2.0行动计划》背景下，树立以人为本、立德树人的育人观，以综合职业能力培养为目标，构建工作过程系统化课程结构;以混合式教学组织形式，开发基于典型工作任务的数字化教学资源;以翻转课堂打破传统教学策略，重构学习者学习流程，从而变革职业学校电类课程教学组织形式，满足学生学习需求，进一步提升课堂教学效益。 关键词：以人为本 信息化教学 电类课程 职业能力 课 题：本