Can I read 现代逻辑词典 Xian dai luo ji ci dian on EtoBox?

现代逻辑词典 Xian dai luo ji ci dian by (波)马奇舍夫斯基(Marciszewski,Witold)著;张兆梅等译, 维.马奇舍夫斯基主编 , 张兆梅 [and others] i, Witold Marciszewski, 张兆梅, 马奇舍夫斯基 维 is a book available to read on EtoBox.

What is 现代逻辑词典 Xian dai luo ji ci dian about?

1 (p0-1): 目 录 1 (p0-2): 撰稿人名单 1 (p0-3): 导言 7 (p0-4): 词 目 7 (p0-5): 悖论 18 (p0-6): 逻辑(集合论)悖论。语义悖论。悖论的消除 18 (p0-7): 波兰记法 21 (p0-8): 程序设计语言 24 (p0-9): 抽象可计算理论 26 (p0-10): 抽象算子 30 (p0-11): 初等理论 33 (p0-12): 代数结构 46 (p0-13): 道义逻辑 57 (p0-14): 字母表。合式公式。公理。推理规则。定义。选出的定理递归函数 70 (p0-15): 定义和主要性质。递归论。广义化(一般化)递归论点号记法 72 (p0-16): 定义 87 (p0-17): 标准定义。归纳定义。条件定义。其他定义 87 (p0-18): 独立性 89 (p0-19): 对话逻辑 102 (p0-20): 对偶 104 (p0-21): 多值逻辑 116 (p0-22): 反例方法 116 (p0-23): 波斯特逻辑。卢卡西维茨逻辑。多值逻辑的应用 121 (p0-24): 范畴语法 134 (p0-25): 句法联结。范畴语法与语义范畴和语法范畴的理论。范畴语法与其他形式语法的比较。术语和记法的差异范式 138 (p0-26): 分析性 142 (p0-27): 概率 158 (p0-28): 概率的形式性质。概率的解释。随机变量。概率和归纳推理。概率和信息哥德尔定理 160 (p0-29): 一阶谓词演算的完全性定理。皮亚诺算术的不完全性。相容性的不可证明性公理集合论 165 (p0-30): 关系理论 171 (p0-31): 后承 175 (p0-32): 界限自动机 181 (p0-33): 可定义性 183 (p0-34): 可判定性 189 (p0-35): 可判定性理论。不可判定理论和问题 189 (p0-36): 莱斯涅夫斯基的系统 203 (p0-37): 初始学。本体论。部分学 203 (p0-38): 兰布达-算子(λ-算子) 206 (p0-39): 类理论 209 (p0-40): 类型论 222 (p0-41): 简单类型论。分支类型论。蒯因的系统。各种形式的类型论和其他一些理论的联系量词 227 (p0-42): 逻辑语法学 242 (p0-43): 语法学的概念。形式语法和逻辑语法。语法描述的工具。作为逻辑语法学例子的语句演算。基本的证明论概念逻辑语义学 251 (p0-44): 模型论。真值语义学 251 (p0-45): 逻辑语用学 268 (p0-46): 语用学的概念。逻辑语用学的概念。逻辑语用学的方法和概念机制。对蒙塔古语用学的评价逻辑形式 275 (p0-47): 名称 278 (p0-48): 模态词 291 (p0-49): 模

Author

(波)马奇舍夫斯基(Marciszewski,Witold)著;张兆梅等译, 维.马奇舍夫斯基主编 , 张兆梅 [and others] i, Witold Marciszewski, 张兆梅, 马奇舍夫斯基 维

Publisher

北京:中国人民大学出版社

Published

1992

Language

ZH

ISBN

9787300013152