暂无评论
图文详情
- ISBN:9787030228994
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 开本:25cm
- 页数:335页
- 出版时间:2017-03-01
- 条形码:9787030228994 ; 978-7-03-022899-4
内容简介
Introduction to Mathematical Logic Resolution Principle, Second Edition in nine chapters, discusses Boolean algebra theory, propositional calculus and predicated calculus theory, resolution principle theory and the latest theory ofmultivalue logic. The book also includes supplement or altemations on the proofofthe completion of K in first-ordcr system,conceming "Quantitative Logic".
目录
Preface
Chapter 1 Preliminaries
1.1 Partially ordered sets
1.2 Lattices
1.3 Boolean algebras
Chapter 2 Propositional Calculus
2.1 Propositions and their symbolization
2.2 Semantics of propositional calculus
2.3 Syntax of propositional calculus
Chapter 3 Semantics of First Order Predicate Calculus
3.1 First order languages
3.2 Interpretations and logically valid formulas
3.3 Logical equivalences
Chapter 4 Syntax of First Order Predicate Calculus
4.1 The formal system KL
4.2 Provable equivalence relations
4.3 Prenex normal forms
4.4 Completeness of the first order system KL
*4.5 Quantifier-free formulas
Chapter 5 Skolem's Standard Forms and Herbrand's Theorems
5.1 Introduction
5.2 Skolem standard forms
5.3 Clauses
*5.4 Regular function systems and regular universes
5.5 Herbrand universes and Herbrand's theorems
5.6 The Davis-Putnam method
Chapter 6 Resolution Principle
6.1 Resolution in propositional calculus
6.2 Substitutions and unifications
6.3 Resolution Principle in predicate calculus
6.4 Completeness theorem of Resolution Principle
6.5 A simple method for searching clause sets S
Chapter 7 Refinements of Resolution
7.1 Introduction
7.2 Semantic resolution
7.3 Lock resolution
7.4 Linear resolution
Chapter 8 Many-Valued Logic Calculi
8.1 Introduction
8.2 Regular implication operators
8.3 MV-algebras
8.4 Lukasiewicz propositional calculus
8.5 R0-algebras
8.6 The propositional deductive system L*
Chapter 9 Quantitative Logic
9.1 Quantitative logic theory in two-valued propositional logic system L
9.2 Quantitative logic theory in L ukasiewicz many-valued propositional logic systems Ln and Luk
9.3 Quantitative logic theory in many-valued R0-propositional logic systems L*n and L*
9.4 Structural characterizations of maximally consistent theories
9.5 Remarks on Godel and Product logic systems
Bibliography
Index
Chapter 1 Preliminaries
1.1 Partially ordered sets
1.2 Lattices
1.3 Boolean algebras
Chapter 2 Propositional Calculus
2.1 Propositions and their symbolization
2.2 Semantics of propositional calculus
2.3 Syntax of propositional calculus
Chapter 3 Semantics of First Order Predicate Calculus
3.1 First order languages
3.2 Interpretations and logically valid formulas
3.3 Logical equivalences
Chapter 4 Syntax of First Order Predicate Calculus
4.1 The formal system KL
4.2 Provable equivalence relations
4.3 Prenex normal forms
4.4 Completeness of the first order system KL
*4.5 Quantifier-free formulas
Chapter 5 Skolem's Standard Forms and Herbrand's Theorems
5.1 Introduction
5.2 Skolem standard forms
5.3 Clauses
*5.4 Regular function systems and regular universes
5.5 Herbrand universes and Herbrand's theorems
5.6 The Davis-Putnam method
Chapter 6 Resolution Principle
6.1 Resolution in propositional calculus
6.2 Substitutions and unifications
6.3 Resolution Principle in predicate calculus
6.4 Completeness theorem of Resolution Principle
6.5 A simple method for searching clause sets S
Chapter 7 Refinements of Resolution
7.1 Introduction
7.2 Semantic resolution
7.3 Lock resolution
7.4 Linear resolution
Chapter 8 Many-Valued Logic Calculi
8.1 Introduction
8.2 Regular implication operators
8.3 MV-algebras
8.4 Lukasiewicz propositional calculus
8.5 R0-algebras
8.6 The propositional deductive system L*
Chapter 9 Quantitative Logic
9.1 Quantitative logic theory in two-valued propositional logic system L
9.2 Quantitative logic theory in L ukasiewicz many-valued propositional logic systems Ln and Luk
9.3 Quantitative logic theory in many-valued R0-propositional logic systems L*n and L*
9.4 Structural characterizations of maximally consistent theories
9.5 Remarks on Godel and Product logic systems
Bibliography
Index
展开全部
本类五星书
本类畅销
-
昆虫采集制作及主要目科简易识别手册
¥17.0¥50.0 -
物理学之美-插图珍藏版
¥25.5¥69.0 -
昆虫的生存之道
¥16.0¥38.0 -
反物质世界的终极镜像
¥6.4¥20.0 -
声音简史
¥19.8¥52.0 -
勒维特之星-大发现系列丛书
¥4.0¥16.0 -
数学的魅力;初等数学概念演绎
¥9.5¥22.0 -
为了人人晓得相对论
¥3.9¥13.5 -
龙头凤尾(八品)
¥23.0¥59.0 -
现代物理学的概念和理论
¥20.4¥68.0 -
递归求解
¥9.5¥28.0 -
世纪幽灵-走近量子纠缠
¥9.0¥28.0 -
工程哲学
¥5.8¥18.0 -
古文诗词中的地球与环境事件
¥9.0¥28.0 -
现代科技中的天文学
¥10.3¥13.0 -
复变函数
¥7.7¥18.0 -
半导体物理学(第8版)
¥45.4¥59.8 -
天工开物
¥53.9¥98.0 -
测绘学基础(第2版)
¥57.9¥69.8 -
图论
¥101.1¥128.0