论文部分内容阅读
形式化定义了值依赖的公理、公理系统及依赖基。严格证明了任何公理系统对任何背景都具有依赖基，给出了对任意一个公理系统求任意背景依赖基的方法，并证明了每个公理系统的依赖基不唯一。进而还提出了一种诱导背景，通过诱导背景可把这个证明过程及依赖基的计算过程形象地反映出来。
任意公理系统的依赖基
【摘 要】
：
形式化定义了值依赖的公理、公理系统及依赖基。严格证明了任何公理系统对任何背景都具有依赖基，给出了对任意一个公理系统求任意背景依赖基的方法，并证明了每个公理系统的依赖
【机 构】
：
辽宁科技大学软件学院
【出 处】
：
计算机科学
【发表日期】
：
2013年2期
其他文献
<正> 为了适应社会主义市场经济发展的新形势,中央制订了改革开放的重大决策。各行各业均面临着为适应新形势而深化改革的历史重任,正如邓小平同志所说:“没有一点闯的精神,
<正> 档案是国家不可缺少的宝贵财富,是整个信息资源的一部分,有十分重要的作用与价值,保管和利用是档案工作的两大基本任务,保管是基础、利用是目的。档案工作是企业管理基
随着我国经济体制改革的深化,档案工作愈来愈得到重视,档案人员队伍不断扩大。在这支队伍中,女职工人数多,比例大,占有主导地位。因此对档案部门的领导者来说,如何发挥她们每
<正> 机械工业档案工作地区协作组华北一组于4月28日召开了今年第二次全体成员大会。会议传达了机械工业档案学会有关文件;就案卷的质量和标准,在互相查阅案卷的基础上,进行
<正> 企业档案在国家档案事业中占有相当的比重,是国家档案资源的重要组成部分。企业档案做为企业的信息资源宝库,要全力为企业的振兴发展提供有效服务,是档案部门的重要职责
微内核架构因其有效的模块隔离性而成为操作系统方面研究的热点,多线程机制是微内核架构需要解决的关键性能问题。有不少的工作对微内核架构多线程机制进行了研究,但存在频繁