2022年4月26日
一阶逻辑的发展历史
摘要： 命题逻辑具有一定的局限性，无法判断一些常见的简单推理。为克服命题逻辑的这种局限性，引入了量词，以期达到表示个体与总体之间的内在联系和数量关系，这就是一阶逻辑的研究内容。一阶逻辑也称作一阶谓词逻辑或谓词逻辑。 阅读全文
posted @ 2022-04-26 17:02 锦鲤瑾黎 阅读(118) 评论(0) 推荐(0)
一二章思维导图
摘要： 阅读全文
posted @ 2022-04-26 16:46 锦鲤瑾黎 阅读(20) 评论(0) 推荐(0)
消解算法流程图
摘要： 阅读全文
posted @ 2022-04-26 16:41 锦鲤瑾黎 阅读(15) 评论(0) 推荐(0)