离散数学【03. 谓词逻辑(LP)】

[视频作者] pFLYan

[视频时长] 398:44

#知识分享官招募令·第六期,经验分享,课程,大学,离散数学,数理逻辑,谓词逻辑,计算机#

[视频类型] 校园学习

CONTENTS 1、谓词逻辑的引入：解决命题逻辑的局限性 2、谓词逻辑的三要素 3、谓词逻辑的命题符号化 4、谓词公式 5、谓词公式间的等价关系 6、谓词公式的标准化（前束范式、斯克林范式） 7、谓词公式间的蕴含关系 8、谓词逻辑的推理理论主要教材：左孝凌《离散数学》参考教材 ① Kenneth《离散数学及其应用》 ② Eric Lehman《计算机科学中的数学》 ③ 王遇科《离散数学结构导论》 ④ 王湘浩《离散数学》 ⑤ 石纯一《数理逻辑与集合论》

离散数学【03. 谓词逻辑(LP)】

以上内容由小不点搜索引擎从网站www.bilibili.com自动化索引镜像而来，不代表网站的即时内容，也无法确保其有效性；仅限个人学习使用，禁止商用。如有任何异议，请使用举报删除

影音视频访问链接

以下链接为影音视频“离散数学【03. 谓词逻辑(LP)】”在线访问地址，点击链接就可以访问查看啦

www.bilibili.com***952767

www.bilibili.com