Can I read 数理逻辑基础与粒计算 on EtoBox?

数理逻辑基础与粒计算 by 闫林著, 闫林著, 闫林 is a book available to read on EtoBox.

What is 数理逻辑基础与粒计算 about?

1 (p1): 第1章 经典命题演算2 (p2): 1.1 命题4 (p3): 1.2 形式语言及命题公式7 (p4): 1.3 命题公式的语义14 (p5): 1.4 命题公式的分类及联结符号之间的关系18 (p6): 1.5 命题演算的语义推理24 (p7): 1.6 命题演算形式推理的公理系统31 (p8): 1.7 命题演算形式推理的自然推理系统36 (p9): 1.8 命题演算自然推理系统中形式推理的性质51 (p10): 1.9 析取范式与合取范式55 (p11): 1.10 命题演算的可靠性与完备性59 (p12): 第2章 经典谓词演算60 (p13): 2.1 谓词公式64 (p14): 2.2 命题的谓词公式表示68 (p15): 2.3 谓词公式的语义72 (p16): 2.4 谓词演算的语义推理79 (p17): 2.5 谓词演算形式推理的公理系统85 (p18): 2.6 谓词演算形式推理的自然推理系统89 (p19): 2.7 谓词演算自然推理系统中形式推理的性质99 (p20): 2.8 谓词演算的可靠性和完备性108 (p21): 第3章 命题模态逻辑109 (p22): 3.1 命题模态逻辑的形式推理系统116 (p23): 3.2 命题模态逻辑规则系统中形式推理的性质124 (p24): 3.3 命题模态逻辑的语义135 (p25): 3.4 命题模态逻辑的可靠性与完备性145 (p26): 第4章 谓词模态逻辑145 (p27): 4.1 谓词模态逻辑的形式推理系统150 (p28): 4.2 谓词模态逻辑规则系统中的形式推理152 (p29): 4.3 谓词模态逻辑的语义155 (p30): 第5章 粗糙集理论基本知识155 (p31): 5.1 等价关系、等价类和划分160 (p32): 5.2 等价关系下的粗糙集165 (p33): 5.3 信息系统及其约简171 (p34): 第6章 基于逻辑方法的粒计算172 (p35): 6.1 基于逻辑公式的粒计算形式化方法181 (p36): 6.2 粒空间上公式的粗糙逻辑值182 (p37): 6.3 粒空间上的粒语义推理190 (p38): 6.4 粒空间上的粗糙语义推理197 (p39): 6.5 模态逻辑公理的粗糙真语义分析207 (p40): 6.6 信息系统上公式的粗糙真及应用215 (p41): 6.7 一类特殊公式的语义研究及应用221 (p42): 6.8 粗糙路径及其应用228 (p43): 6.9 基于粒计算的分明函数约简法的理论分析与证明240 (p44): 6.10 二维近似空间中基于粒计算的数据识别249 (p45): 参考文献252 (p46): 索引 本书由两部分内容组成.前四章作为第一部分, 讨论了数理逻辑的基础知识, 其中包括经典命题演

Author

闫林著, 闫林著, 闫林

Publisher

北京:科学出版社

Published

2007

Language

ZH

ISBN

9787030198280