点击选择搜索分类
首页 - 特种医学- 正文
☆☆☆☆☆
||
杨乐 著
店铺: 北京大学图书专营店 出版社: 科学 ISBN:9787030165831 商品编码:28686938321 包装:平装 出版时间:2006-03-01
正版:数理逻辑引论与归结原理(第2版典藏版)/现代数学基础丛书 9787030165831 电子书 下载 mobi epub pdf txt
正版:数理逻辑引论与归结原理(第2版典藏版)/现代数学基础丛书 9787030165831-so88
正版:数理逻辑引论与归结原理(第2版典藏版)/现代数学基础丛书 9787030165831 pdf epub mobi txt 电子书 下载 2022
图书介绍
☆☆☆☆☆
||
杨乐 著
店铺: 北京大学图书专营店 出版社: 科学 ISBN:9787030165831 商品编码:28686938321 包装:平装 出版时间:2006-03-01
图书基本信息 | |||
图书名称 | 数理逻辑引论与归结原理(第2版典藏版)/现代数学基础丛书 | 作者 | 王国俊,总:杨乐 |
定价 | 98.00元 | 出版社 | 科学 |
ISBN | 9787030165831 | 出版日期 | 2006-03-01 |
字数 | 316千字 | 页码 | 255 |
版次 | 2 | 装帧 | 平装 |
开本 | 16开 | 商品重量 | 0.341Kg |
内容简介 |
王国俊著的《数理逻辑引论与归结原理(第2版典 藏版)/现代数学基础丛书》在版的基础上进行修 订再版,全书共9章,内容可分为Boole代数理论,命 题演算与谓词演算理论,归结原理理论,多值逻辑的* 新理论等4部分,同时,在**版的基础上对“计量逻 辑学”,关于一阶系统完备性的证明等诸多内容做了 补充或改写。 本书可供计算机专业、应用数学专业、人工智能 专业的研究生与高年级本科生及教师阅读 |
作者简介 |
目录 |
第二版前言 **版前言 第l章 预备知识 1.1 偏序集 1.2 格 1.3 Boole代数 第2章命题演算 2.1 命题及其符号化 2.2 命题演算的语义理论 2.3 命题演算的语构理论 第3章 一阶谓词演算的语义理论 3.1 一阶语言 3.2 解释、逻辑有效公式 3.3 逻辑等价 第4章 一阶谓词演算的语构理论 4.1 形式系统Kl 4.2 可证等价关系 4.3 前束范式 4.4 一阶系统Kl的完备性 4.5 不含量词的公式 第5章 Skolem标准形与Hcrbrand定理 5.1 引言 5.2 Skolem标准形 5.3 子句 5.4 正则函数系统与正则域 5.5 Hcrbrand域与Herbrand定理 5.6 Davis与Putnam方法 第6章 归结原理 6.1 命题演算中的归结方法 6.2 置换与合一 6.3 谓词演算中的归结原理 6.4 归结原理的完备性定理 6.5 求子句集S的简化方法 第7章 归结方法的简化 7.1 引言 7.2 语义归结 7.3 锁归结 7.4 线性归结 第8章 多值逻辑演算理论 8.1 引言 8.2 正则蕴涵算子 8.3 Mv代数 8.4 Lukasiewicz命题演算系统 8.5 R0代数 8.6 命题演算系统L 第9章 计量逻辑学 9.1 二值命题逻辑系统L中的计量逻辑理论 9.2 多值Lukasiewicz命题逻辑系统Ln与Lnk中的计量逻辑理论 9.3 多值R0-命题逻辑系统Ln与L中的计量逻辑理论 9.4 关于Godel系统与乘积系统的评注 参考文献 索引 《现代数学基础丛书》出版书目 |
编辑推荐 |
文摘 |
序言 |
正版:数理逻辑引论与归结原理(第2版典藏版)/现代数学基础丛书 9787030165831 电子书 下载 mobi epub pdf txt
电子书下载地址:
相关电子书推荐:
- 文件名
- 硅谷启示录2:怦然心动
- 中医祖传的那点儿东西(2)
- 满58包邮 叶永烈科普全集(28卷) 9787220102752 叶永烈 四川人民出版社
- 瑜伽书籍瘦身从新手到高手 超值全彩珍藏版 基础动作技巧图解练习零开始学初级入门教程大全
- BF-无脊椎动物-中国野生动物生态保护.国家动物博物馆精品研究-总 主 郑光美 李志毅
- 包邮 头发养护与脱发防治180问(第4版) 秃顶脱发书籍 防脱发防治方法书籍 中医调养
- 趣味物理学
- 跟着大厨学炒青菜/食在好吃 炒蔬菜不涩不苦,保留蔬菜翠嫩颜色的诀窍 家常菜谱 营养食谱书籍
- 生物的性世界-认识生命科学必读的性博物志
- 终极算法:机器学习和人工智能如何重塑世界 [The Master Algorithm]
- {RT}昆虫博物馆-李湘涛 时事出版社 9787800099472
- UNIX网络编程(卷1):套接字联网API(第3版·英文版)+(卷2)进程间通信(第2版)
- 书法入门-小牛顿百科馆
- 包邮 分心不是我的错 心理读物心理百科 心理健康 给分心的大脑配眼镜 自我实现 成功励志
- 科技发展五十年 汽车发展新时代