谓词演算

共 3 篇文章
谓词演算 相关的电子技术资料，包括技术文档、应用笔记、电路设计、代码示例等，共 3 篇文章，持续更新中。
全部 文档 电路图 代码

用Prolog求解传教士和野人问题 复习经典谓词演算中的归结原理

用Prolog求解传教士和野人问题 复习经典谓词演算中的归结原理，掌握人工智能程序设计语言Prolog，理解通过搜索求解问题实现人工智能的思想。
📅 2016-11-15 00:23:02 ⬇️ 183 👁️ 1,161

离散数学中---------一阶谓词演算源代码

离散数学中---------一阶谓词演算源代码
📅 2015-12-17 00:14:01 ⬇️ 54 👁️ 1,057

一个基于H.wang的谓词演算公式的机器证明的vc实现

一个基于H.wang的谓词演算公式的机器证明的vc实现
📅 2014-01-17 07:57:01 ⬇️ 148 👁️ 1,041