高阶谓词演算(关于高阶谓词演算简述)

广黛蓉
导读 小伙伴们,你们好,今天小夏来聊聊一篇关于高阶谓词演算,关于高阶谓词演算简述的文章,网友们对这件事情都比较关注,那么现在就为大家来简...

小伙伴们,你们好,今天小夏来聊聊一篇关于高阶谓词演算,关于高阶谓词演算简述的文章,网友们对这件事情都比较关注,那么现在就为大家来简单介绍下,希望对各位小伙伴们有所帮助。

1、高阶谓词演算(higher-orderpredicatecalculus)即“广义谓词演算”。

2、广义谓词逻辑的形式系统。

3、详“高阶逻辑”。

文章到此就分享结束,希望对大家有所帮助。

标签:

免责声明:本文由用户上传,如有侵权请联系删除!