现代数学基础丛书 数理逻辑引论与归结原理 (王国俊) PDF标准规范下载技术电子书
现代数学基础丛书 数理逻辑引论与归结原理 (王国俊) 暂无演示
现代数学基础丛书 数理逻辑引论与归结原理 (王国俊)手机扫码预览

现代数学基础丛书 数理逻辑引论与归结原理 (王国俊)

售价:
¥ 免费
  • 普通用户购买价格 : 0书币
  • 免费咨询
  • 请用网页下载微信不能下载
  • 链接失效评论留言
  • 免费寻找资源
  • QQ保障售后服务
  • 版权联系客服

升级尊贵会员
享受全站VIP待遇

21302+
会员已经加入
  • 文章介绍
  • 评价建议
  • 本书内容可分为4部分第部分讲述{与逻辑演算有密切关系的
    Brole代数理论.并以此为工其证明逻辑演算理论中的两个完备忤定理.
    第二部分深人浅出地系统讲述命题演算与阶谓词演算理论. 第三部分清
    楚而严谨地讲述归结原理理论,给出了各个难点内容的完整证明,第四部
    分讲述多值逻辑演算理论、包栝Lulasievivz连续值逻辑及相关的MV代
    数理论以及由作者建立的:/* 逻轭系统和相关的Rn代数理论.
    本书可供计算机专业、应用数学专业、人T智能专业的研究牛与高年
    级本科坐及教师阅读.

     

    版权声明:原创作品,未经允许不得转载,否则将追究法律责任。
    本站资源有的自互联网收集整理,如果侵犯了您的合法权益,请联系本站我们会及时删除。
    本站资源仅供研究、学习交流之用,若使用商业用途,请购买正版授权,否则产生的一切后果将由下载用户自行承担。
    技术电子书 » 现代数学基础丛书 数理逻辑引论与归结原理 (王国俊)

    发表评论