Can I read 数理逻辑 on EtoBox?

数理逻辑 by 俞瑞钊编著, 俞瑞钊, 1937-, 俞瑞钊编著, 俞瑞钊 is a book available to read on EtoBox.

What is 数理逻辑 about?

1 (p1): 第一章 绪论 1 (p1-1): §1 形式系统 4 (p1-2): §2 逻辑的形式化 7 (p1-3): §3 数理逻辑的发展 10 (p2): 第二章 命题逻辑 10 (p2-1): §1 命题及逻辑联结词 13 (p2-2): §2 命题公式的永真性与等值 21 (p2-3): §3 对偶原理 25 (p2-4): §4 析取范式与合取范式 35 (p2-5): §5 赋值 39 (p2-6): §6 逻辑推理 46 (p2-7): 习题 50 (p3): 第三章 命题演算 50 (p3-1): §1 自然推理系统 61 (p3-2): §2 自然推理系统的可靠性和完备性 69 (p3-3): §3 命题演算的王浩算法 75 (p3-4): §4 重言式系统 81 (p3-5): 习题 84 (p4): 第四章 一阶谓词逻辑 84 (p4-1): §1 基本概念 90 (p4-2): §2 谓词公式的永真性与可满足性 93 (p4-3): §3 自由变元与约束变元 95 (p4-4): §4 谓词公式的等值 101 (p4-5): §5 前束范式 105 (p4-6): §6 证明的方法 111 (p4-7): 习题 117 (p5): 第五章 谓词演算 117 (p5-1): §1 谓词演算的自然推理系统 123 (p5-2): §2 导出规则 129 (p5-3): §3 可靠性与完备性 131 (p5-4): 习题 133 (p6): 第六章 归结原理 133 (p6-1): §1 斯柯伦标准型 137 (p6-2): §2 子句集的H全域 142 (p6-3): §3 基本定理 145 (p6-4): §4 D—P(Davis&Putnam)方法 148 (p6-5): §5 一致化算法 153 (p6-6): §6 归结方法 155 (p6-7): §7 归结方法的可靠性与完备性 159 (p6-8): §8 例子 163 (p6-9): §9 应用 170 (p6-10): 习题 174 (p7): 第七章 Prolog语言简介 174 (p7-1): §1 Horn子句集归结 177 (p7-2): §2 Prolog语言 182 (p7-3): §3 内部谓词 183 (p7-4): §4 例子 185 (p7-5): 习题 187 (p8): 第八章 递归函数 187 (p8-1): §1 引言 188 (p8-2): §2 原始递归函数 192 (p8-3): §3 简单的原始递归函数 195 (p8-4): §4 迭函运算 198 (p8-5): §5 最界最小运算 203 (p8-6): §6 联立递归与串值递归 216 (p8-7): §7 多重原始递归 222 (p8-8): §8 原始递归谓词 234 (

Author

俞瑞钊编著, 俞瑞钊, 1937-, 俞瑞钊编著, 俞瑞钊

Publisher

杭州:浙江大学出版社

Published

1990

Language

ZH

ISBN

9787308004862