Can I read 数理逻辑引论 on EtoBox?

数理逻辑引论 by 马振华编著 is a book available to read on EtoBox.

What is 数理逻辑引论 about?

1 (p1): I 命题演算 1 (p1-1): §1 引言 3 (p1-2): §2 命题与符号 7 (p1-3): §3 逻辑联结词 18 (p1-4): §4 命题变量与真值函数(命题公式) 27 (p1-5): §5 真值函数类 32 (p1-6): §6 真值函数的等价变换(命题公式的等价变换)—逻辑联结词的互相转化 52 (p1-7): §7 对偶律 58 (p1-8): §8 永真蕴含 70 (p1-9): §9 真值函数类的势 77 (p1-10): §10 其他逻辑联结词 85 (p1-11): §11 逻辑联结词的功能完备集 91 (p1-12): §12 古典命题逻辑中逻辑联结词的总体 94 (p1-13): §13 命题演算系统的一个纯算术模型及其应用 108 (p1-14): §14 真值函数的范式与正则范式 135 (p1-15): §15 范式的编码 142 (p1-16): §16 真值函数的各种表示法(波兰式与逆波兰式) 154 (p1-17): §17 命题演算的演绎理论 181 (p1-18): §18 定理证明的自动化 196 (p2): II 谓词演算 196 (p2-1): §19 引言—命题演算的局限性 197 (p2-2): §20 命题与谓词 203 (p2-3): §21 命题函数(谓词公式)与量词 224 (p2-4): §22 自由变元与约束变元(或自由变量与约束变量) 237 (p2-5): §23 有效公式与等价性 254 (p2-6): §24 谓词演算的演绎理论 265 (p2-7): §25 含有多个量词的谓词公式

Author

马振华编著

Publisher

北京:清华大学出版社

Published

1982

Language

ZH