计算化知识发现语言逻辑（第二卷）
目 录
17 三四五同式变换... 1
17.1 同为首同式变换... 1
17.2 斥为先同式变换... 8
17.3 含在前同式变换... 26
17.4 被含在头同式变换... 42
17.5 容第一同式变换... 53
18 三四五斥式变换... 75
18.1 同为首斥式变换... 75
18.2 斥为先斥式变换... 100
18.3 含在前斥式变换... 137
18.4 被含在头斥式变换... 177
18.5 容第一斥式变换... 208
19 三四五含式变换... 258
19.1 同为首含式变换... 258
19.2 斥为先含式变换... 268
19.3 含在前含式变换... 294
19.4 被含在头含式变换... 313
19.5 容第一含式变换... 321
20 三四五被含式变换... 349
20.1 同为首被含式变换... 349
20.2 斥为先被含式变换... 356
20.3 含在前被含式变换... 368
20.4 被含在头被含式变换... 387
20.5 容第一被含式变换... 395
21 三四五容式变换... 426
21.1 同为首容式变换... 426
21.2 斥为先容式变换... 433
21.3 含在前容式变换... 444
21.4 被含在头容式变换... 457
21.5 容第一容式变换... 464
22 逆变换定理汇编... 484
22.1 同为首逆变换定理... 484
22.2 斥为先逆变换定理... 491
22.3 含在前逆变换定理... 503
22.4 被含在头逆变换定理... 515
22.5 容第一逆变换定理... 527
登录名： 密码： 找回密码 注册
昵 称：
验证码： 请点击后输入验证码 收听验证码
以上网友发言只代表其个人观点，不代表新浪网的观点或立场。
加载中…
发博文