数理逻辑引论与归结原理

数理逻辑引论与归结原理

王国俊, 周红军, 著

出版社:科学出版社

年代:2008

定价:68.0

书籍简介:

本书在第一版的基础上进行修订再版,全书共9章,内容可分为Boole代数理论,命题演算与谓词演算理论,归结原理理论,多值逻辑的最新理论等4部分。同时,在第一版的基础上对“计量逻辑学”,关于一阶系统K完备性的证明等诸多内容做了补充或改写。本书可供计算机专业、应用数学专业、人工智能专业的研究生与高年级本科生及教师阅读。

书籍目录:

Preface

Chapter1Preliminaries

1.1Partiallyorderedsets

1.2Lattices

1.3Booleanalgebras

Chapter2PropositionalCalculus

2.1Propositionsandtheirsymbolization

2.2Semanticsofpropositionalcalculus

2.3Syntaxofpropositionalcalculus

Chapter3SemanticsofFirstOrderPredicateCalculus

3.1Firstorderlanguages

3.2Interpretationsandlogicallyvalidformulas

3.3Logicalequivalences

Chapter4SyntaxofFirstOrderPredicateCalculus

4.1TheformalsystemKL

4.2Provableequivalencerelations

4.3Prenexnormalforms

4.4CompletenessofthefirstordersystemKL

*4.5Quantifier-freeformulas

Chapter5SkolemsStandardFormsandHerbrandsTheorems

5.1Introduction

5.2Skolemstandardforms

5.3Clauses

*5.4Regularfunctionsystemsandregularuniverses

5.5HerbranduniversesandHerbrandstheorems

5.6TheDavis-Putnammethod

Chapter6ResolutionPrinciple

6.1Resolutioninpropositionalcalculus

6.2Substitutionsandunifications

6.3ResolutionPrincipleinpredicatecalculus

6.4CompletenesstheoremofResolutionPrinciple

6.5AsimplemethodforsearchingclausesetsS

Chapter7RefinementsofResolution

7.1Introduction

7.2Semanticresolution

7.3Lockresolution

7.4Linearresolution

Chapter8Many-ValuedLogicCalculi

8.1Introduction

8.2Regularimplicationoperators

8.3MV-algebras

8.4Lukasiewiczpropositionalcalculus

8.5R0-algebras

8.6ThepropositionaldeductivesystemL*

Chapter9QuantitativeLogic

9.1Quantitativelogictheoryintwo-valuedpropositionallogicsystemL

9.2QuantitativelogictheoryinLukasiewiczmany-valuedpropositionallogicsystemsLnandLuk

9.3Quantitativelogictheoryinmany-valuedR0-propositionallogicsystemsL*nandL*

9.4Structuralcharacterizationsofmaximallyconsistenttheories

9.5RemarksonGodelandProductlogicsystems

Bibliography

Indent

内容摘要:

  本书在第一版的基础上进行修订再版,全书共9章,内容可分为Boole代数理论,命题演算与谓词演算理论,归结原理理论,多值逻辑的最新理论等4部分。同时,在第一版的基础上对“计量逻辑学”,关于一阶系统K完备性的证明等诸多内容做了补充或改写。  本书可供计算机专业、应用数学专业、人工智能专业的研究生与高年级本科生及教师阅读。

书籍规格:

书籍详细信息
书名数理逻辑引论与归结原理站内查询相似图书
9787030228994
如需购买下载《数理逻辑引论与归结原理》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位科学出版社
版次2版印次1
定价(元)68.0语种英文
尺寸24装帧平装
页数印数

书籍信息归属:

数理逻辑引论与归结原理是科学出版社于2008.出版的中图分类号为 O141 的主题关于 数理逻辑-英文 ,归结方法-英文 的书籍。