成功加入购物车
图书条目标准图
按需印刷 正版
王国俊 著 / 科学出版社 / 2006-03 / 平装
售价 ¥ 98.00
品相 全新
优惠 满包邮
延迟发货说明
上书时间2024-01-17
卖家超过10天未登录
数理逻辑引论与归结原理(第2版)
《数理逻辑引论与归结原理》在第1版的基础上进行修订再版,内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论,并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题演算与一阶谓词演算理论。第3部分清楚而严谨地讲述归结原理理论,给出了各个难点内容的完整证明。第4部分讲述多值逻辑演算理论,包括Lukasiewicz连续值逻辑及相关的MV代数理论以及由作者建立的&*逻辑系统和相关的R0代数理论。《数理逻辑引论与归结原理》可供计算机专业、应用数学专业、人工智能专业的研究生与高年级本科生及教师阅读。
第二版前言第一版前言第1章预备知识1.1偏序集1.2格1.3Boole代数第2章命题演算2.1命题及其符号化2.2命题演算的语义理论2.3命题演算的语构理论第3章一阶谓词演算的语义理论3.1一阶语言3.2解释、逻辑有效公式3.3逻辑等价第4章一阶谓词演算的语构理论4.1形式系统K&4.2可证等价关系4.3前束范式4.4一阶系统K&的完备性定理4.5不含量词的公式第5章Skolem标准形与Herbrand定理5.1引言5.2Skolem标准形5.3子句5.4正则函数系统与正则域*5.5Herbrand域与Herbrand定理5.6Davis与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.3MV代数8.4Lukasiewicz命题演算系统8.5R0代数8.6命题演算系统&*第9章计量逻辑学9.1二值命题逻辑系统L中的计量逻辑理论9.2多值Lukasiewicz命题逻辑系统Ln与Luk中的计量逻辑理论9.3多值R0-命题逻辑系统&n与&中的计量逻辑理论9.4关于Godel系统与乘积系统的评注参考文献索引《现代数学基础丛书》出版书目
展开全部
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30