Can I read 面向计算机科学的数理逻辑 on EtoBox?

面向计算机科学的数理逻辑 by 陆钟万著, 陆钟万著, 陆钟万 is a book available to read on EtoBox.

What is 面向计算机科学的数理逻辑 about?

1 (p0-1): 目录 4 (p0-2): 1预备知识 4 (p0-3): 1.1集 9 (p0-4): 1.2归纳定义和归纳证明 12 (p0-5): 1.3记号 14 (p0-6): 2命题逻辑 14 (p0-7): 2.1命题和联结词 18 (p0-8): 2.2命题语言 23 (p0-9): 2.3命题语言(续) 30 (p0-10): 2.4语义 37 (p0-11): 2.5重言推论 42 (p0-12): 2.6形式可推演性 59 (p0-13): 2.7析取范式和合取范式 63 (p0-14): 2.8联结符的完备集 67 (p0-15): 3.1命题函数和量词 67 (p0-16): 3一阶逻辑 71 (p0-17): 3.2一阶语言 80 (p0-18): 3.3语义 88 (p0-19): 3.4逻辑推论 92 (p0-20): 3.5形式可推演性 100 (p0-21): 3.6前束范式 102 (p0-22): 4形式可推演性:另一种类型 102 (p0-23): 4.1另一种类型的形式可推演性 105 (p0-24): 4.2两种类型的关系 109 (p0-25): 5可靠性和完备性 109 (p0-26): 5.1可满足性和有效性 117 (p0-27): 5.2可靠性 119 (p0-28): 5.3命题逻辑的完备性 124 (p0-29): 5.4一阶逻辑的完备性 128 (p0-30): 5.5含等符的一阶逻辑的完备性 131 (p0-31): 5.6独立性 138 (p0-32): 6可靠性和完备性的应用 138 (p0-33): 6.1紧致性 139 (p0-34): 6.2L?wenheim-Skolem定理 140 (p0-35): 6.3Herbrand定理 144 (p0-36): 6.4模型论的若干基本概念 150 (p0-37): 7构造性逻辑 150 (p0-38): 7.1构造性推理的逻辑 151 (p0-39): 7.2语义 156 (p0-40): 7.3形式可推演性 164 (p0-41): 7.4可靠性 165 (p0-42): 7.5完备性 172 (p0-43): 8模态命题逻辑 172 (p0-44): 8.1模态命题语言 173 (p0-45): 8.2语义 178 (p0-46): 8.3形式可推演性 185 (p0-47): 8.4可靠性 188 (p0-48): 8.5T的完备性 191 (p0-49): 8.6S4,B,S5的完备性 198 (p0-50): 9模态一阶逻辑 198 (p0-51): 9.1模态一阶语言 199 (p0-52): 9.2语义 202 (p0-53): 9.3形式可推演性 204 (p0-54): 9.4可靠性 205 (p0-55): 9.5完备

Author

陆钟万著, 陆钟万著, 陆钟万

Publisher

北京:北京大学出版社

Published

1989

Language

ZH

ISBN

9787301008287