【摘 要】
：
可计算性逻辑(Computability Logic,简称CoL)在交互计算算法理论、运算集合和基于Cirquent的推理系统等方面得到持续研究。在可计算性逻辑中,经典逻辑的公式表示成了交互计算
【机 构】
：
山东大学（威海）哲学与社会发展研究中心,山东大学（威海）机电与信息工程学院
论文部分内容阅读
可计算性逻辑(Computability Logic,简称CoL)在交互计算算法理论、运算集合和基于Cirquent的推理系统等方面得到持续研究。在可计算性逻辑中,经典逻辑的公式表示成了交互计算的问题;求解可计算性问题的过程可以看成是机器(计算部件)和环境(输入输出部件)之间的博弈;经典逻辑的公式“真”值表示在可计算性逻辑中存在着一个有效解;推理系统的建立采用自然演绎推理方法,图形化表示的cirquent允许不同的父结点可以有相同的子结点,保证资源可以共享,资源共享还可以有选择进行区分,而且,这种基于电路
其他文献
1 田径运动员体能、技能训练的重要性田径运动对运动员的身体条件和身体素质有很高的要求。在体能方面，中国人没有任何优势可言，只有针对项目，充分发掘潜能，才能走出一条符合自身
教师工资问题一直是社会热点,但发达地区教师工资问题却一直被忽视。采用1993年以来的宏观数据,以北京市为例对发达地区中小学教师工资水平及其变动趋势进行分析。研究发现:
本文以2007—2014年期间在深交所上市的公司为样本，研究发现货币政策不影响国有企业的R＆D投入，但会通过降低民营企业的创新投资一现金流敏感性促进它们的R＆D投入；税收优惠政策同样
以脲醛树脂为囊壁、环氧树脂E-51的乙酸乙酯溶液为囊芯,采用原位聚合法成功制备了脲醛树脂包覆环氧树脂溶液的微胶囊。通过改变尿素、甲醛、芯材用量等研究了脲醛树脂生成速
2007年4月1日实施的《机动车驾驶证申领和使用规定》，对驾驶员考试内容和考试制度、增驾条件和交通违法行为的记分管理等方面进行了修改和调整，笔者结合个人学习体会将部分条款
<正>推进效能建设,是落实科学发展观,构建和谐社会的需要,事关全市经济社会发展的大局。教育局机关作为我市为民服务的重要窗口,以提高执行力为抓手,积极推进机关效能建设,着
<正>丹麦农业咨询服务公司的专家研究了这一特别问题。犊牛被平分为室内与室外两组,都饲喂代乳品至8周龄,犊牛开食料则自由采食。至2周龄和4周龄时进一步分成更小的组。研究
基于2013-2017年中国A股主板上市公司数据,采用Heckman模型控制了样本选择偏误后,本文结合市场化程度对高管团队特征与企业社会责任履行之间的关系进行实证检验。研究发现,高
分析了常规冷冲压工艺卡片的结构特点.讨论了AutoCAD环境下冷冲压工艺卡片的设计思想.介绍了这种工艺卡片的使用方法.最后,指出其存在的几个问题.
BT作为BOT的演变方式，已广泛运用于公共基础设施的建设中，逐渐成为政府性公共项目融资模式。本文以经济适用住房建设为例，分析了商业银行参与BT项目融资存在的法律风险，在此基础