含等詞的超表演算
2005-04-29 00:44:03馮莎莎孫吉貴吳瑕
吉林大學學報(理學版) 2005年4期
關鍵詞：方法
馮莎莎 孫吉貴 吳 瑕
摘要：將處理等詞問題的Superposition方法引入超表演算中，使超表演算能處理含等詞的一階邏輯問題，這種新的表演算不但具有完備性，而且無需回溯，是用表演算完成含等詞的一階邏輯定理機器證明的一種嘗試。
關鍵詞：超表演算；Superposition方法；等詞
中圖分類號：TP31
文獻標識碼：A
文章編號：1671-5489(2005)04—0455—06
猜你喜歡
中老年保健(2021年9期)2021-08-24 03:52:04
河北畫報(2021年2期)2021-05-25 02:07:46
中學生數理化(高中版.高考理化)(2020年2期)2020-04-21 05:33:04
兒童繪本(2020年5期)2020-04-07 17:46:30
兒童故事畫報(2019年5期)2019-05-26 14:26:14
Coco薇(2016年2期)2016-03-22 02:42:52
山東青年(2016年1期)2016-02-28 14:25:23
Coco薇(2015年1期)2015-08-13 02:47:34
小雪花·成長指南(2015年7期)2015-08-11 15:03:12
小雪花·成長指南(2015年4期)2015-05-19 14:47:56
