机器证明的逻辑推定 李娜 著.pdf 逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。《机器证明的逻辑推定》从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术，而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。《机器证明的逻辑推定》首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完 叁号仓库 2024年04月07日 0 点赞 0 评论 7443 浏览
推定与试探性认知的实践.pdf 本书系统地阐述了推定的历史渊源，以及相关的认识论和科学哲学问题。内容包括：推定的法律根源、推定和证明责任、认知推定与真理、有效的认知推定、推定与探究、推定与信任、科学中的推定及其他等。 叁号仓库 2022年07月18日 0 点赞 0 评论 3159 浏览
