现代逻辑词典PDF电子书下载
- 电子书积分:18 积分如何计算积分?
- 作 者:(波)马奇舍夫斯基(Marciszewski,Witold)著;张兆梅等译
- 出 版 社:北京:中国人民大学出版社
- 出版年份:1992
- ISBN:7300013155
- 页数:605 页
目 录 1
撰稿人名单 1
导言 1
词 目 7
悖论 7
逻辑(集合论)悖论。语义悖论。悖论的消除 18
波兰记法 18
程序设计语言 21
抽象可计算理论 24
抽象算子 26
初等理论 30
代数结构 33
道义逻辑 46
字母表。合式公式。公理。推理规则。定义。选出的定理递归函数 57
定义和主要性质。递归论。广义化(一般化)递归论点号记法 70
定义 72
标准定义。归纳定义。条件定义。其他定义 87
独立性 87
对话逻辑 89
对偶 102
多值逻辑 104
反例方法 116
波斯特逻辑。卢卡西维茨逻辑。多值逻辑的应用 116
范畴语法 121
句法联结。范畴语法与语义范畴和语法范畴的理论。范畴语法与其他形式语法的比较。术语和记法的差异范式 134
分析性 138
概率 142
概率的形式性质。概率的解释。随机变量。概率和归纳推理。概率和信息哥德尔定理 158
一阶谓词演算的完全性定理。皮亚诺算术的不完全性。相容性的不可证明性公理集合论 160
关系理论 165
后承 171
界限自动机 175
可定义性 181
可判定性 183
可判定性理论。不可判定理论和问题 189
莱斯涅夫斯基的系统 189
初始学。本体论。部分学 203
兰布达-算子(λ-算子) 203
类理论 206
类型论 209
简单类型论。分支类型论。蒯因的系统。各种形式的类型论和其他一些理论的联系量词 222
逻辑语法学 227
语法学的概念。形式语法和逻辑语法。语法描述的工具。作为逻辑语法学例子的语句演算。基本的证明论概念逻辑语义学 242
模型论。真值语义学 251
逻辑语用学 251
语用学的概念。逻辑语用学的概念。逻辑语用学的方法和概念机制。对蒙塔古语用学的评价逻辑形式 268
名称 275
模态词 278
模态词的种类。模态系统的类别。模态词和量化 291
模态逻辑 291
模态语义学 300
模型论 305
内涵 313
时态逻辑 316
矢列演算 320
树 326
算法 330
算术 336
拓扑 339
抽象拓扑空间 343
外延 343
完全性 347
谓词逻辑 351
一阶逻辑语言的语法。公理、推理规则、定理选介。语义学。元数学性质。一些基本的元定理。带等词和函数符号的谓词逻辑。带等词的二阶谓词逻辑。谓词逻辑的某些变种问题 375
无穷集 380
现代逻辑史 384
语句逻辑。谓词逻辑。逻辑代数。元数学 408
相容性(一致性) 408
形式化 410
形式语法 413
短语结构语法。短语结构语法的类型 423
演绎定理 423
演绎方法 427
衍推和相干 430
阿克曼的严密蕴涵演算。衍推和相干的其他系统 439
意义 439
意义的类型。意义作为一种使用方法 444
映射 444
有定摹状词 447
包含摹状词的推理问题。罗素方法。弗雷格方法。自然语言中的摹状词有序集 463
语句 468
语句逻辑 470
真值函项。重言式,可判定性。语句逻辑的公理系统。元数学性质真 482
塔斯基关于满足的定义。真的可定义性和不可定义性。逻辑真。改进的方法真值表方法 500
直觉主义逻辑 504
直觉主义。逻辑常项的意义。命题演算。谓词逻辑自动机 517
图灵机。线性界限自动机。下推自动机。其他类型的自动机自然演绎 525
组合逻辑 529
公理和直接推论。λ-演算的一些性质 534
总文献目录 534
主题索引与术语表 551
人名译名对照表 594
符号索引 602
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《汉语成语词典》宋永培,端木黎明编著 2017
- 《庆祝新中国成立70周年当代中国发展的逻辑系列丛书 当代中国生态发展的逻辑》熊捷责编;包存宽 2020
- 《弗雷格逻辑主义研究》刘靖贤著 2019
- 《卡塞尔不欢迎逻辑》(西)恩里克·比拉-马塔斯著;施杰李,雪菲译 2019
- 《哲学教授送给孩子们的逻辑思考课》冀剑制 2019
- 《《金瓶梅词话》《醒世姻缘传》《聊斋俚曲集》语言词典》徐复岭编著 2018
- 《逻辑与计算机科学哲学》潘沁著 2019
- 《拉鲁斯小学英语图解词典》(法国)法国拉鲁斯出版社 2019
- 《哈佛逻辑课》(中国)穆臣刚 2019
- 《微表情密码》(波)卡西亚·韦佐夫斯基,(波)帕特里克·韦佐夫斯基著 2019
- 《孩子们的吉他教程 进阶篇》波塔蒂亚娜·斯塔夏克 2018
- 《ESG指标管理与信息披露指南》管竹笋,林波,代奕波主编 2019
- 《新课标初中英语词汇同步速记 八年级 上 通用版》蔡波主编 2018
- 《钢铁行业污染特征与全过程控制技术研究》周长波等 2019
- 《大气氮沉降及其对生态系统的影响》方琨,王道波 2019
- 《植物收藏家》林澧波责编;兰振荣译;(韩)都市生活研究所 2020
- 《新兴产业发展报告 2018-2019》尹丽波主编 2019
- 《洞背笔记》孙文波 2019
- 《新高考英语词汇必背图解分类速记》蔡波主编;周波澜副主编 2019
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《中国当代乡土小说文库 本乡本土》(中国)刘玉堂 2019
- 《异质性条件下技术创新最优市场结构研究 以中国高技术产业为例》千慧雄 2019
- 《中国铁路人 第三届现实主义网络文学征文大赛一等奖》恒传录著 2019
- 《莼江曲谱 2 中国昆曲博物馆藏稀见昆剧手抄曲谱汇编之一》郭腊梅主编;孙伊婷副主编;孙文明,孙伊婷编委;中国昆曲博物馆编 2018
- 《中国制造业绿色供应链发展研究报告》中国电子信息产业发展研究院 2019
- 《中国陈设艺术史》赵囡囡著 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《《走近科学》精选丛书 中国UFO悬案调查》郭之文 2019
- 《大学生心理健康与人生发展》王琳责任编辑;(中国)肖宇 2019