全部 仅显示有全文权限
学科
哲学 (10)
数学 (1)
基础医学 (1)
心理学 (1)
图书类型
专著 (4)
教育-大学 (4)
教育-职业 (1)
科普 (1)
出版时间
2023 (1)
2022 (1)
2019 (1)
2018 (1)
2013 (1)
2011 (2)
2008 (1)
2005 (1)
1992 (1)
共计:10种图书 , 显示 1到10
导出 荐购: 全选 | 自选
作者: 郭庆祥,姜奇主编
ISBN: 9787030318732
出版社: 科学出版社
出版日期: 2011-08
简介: 本书共十一章,主要讲授传统形式逻辑关于概念、判断、推理、假说、论证以及逻辑思维基本规律的知识,对概念、判断、推理、假说、论证在实际运用与表达中的一些逻辑问题作了论述。
作者: 王海传[等]编著
ISBN: 9787030301932
出版社: 科学出版社
出版日期: 2011-03
简介: 本书针对普通逻辑学进行阐述,包括普通逻辑学的对象、性质和任务、概念、判断、推理、直接推理、演绎推理、归纳推理、类比推理等。
作者: 王海传[等]编著
ISBN: 9787030211040
出版社: 科学出版社
出版日期: 2008-03
简介: 本书共分为十章,包括普通逻辑学的研究对象、性质和任务,概念,判断,推理和直接推理等内容。
作者: 周昌忠著
ISBN: 7030163796
出版社: 科学出版社
出版日期: 2005-10
简介: 本书把握先秦诸子百家中地位并不太突出的名辩思潮,理清它的源流,揭示它历经名学、辩学和名辩学三大发展脉络,发掘各家各派代表人物著述中内涵的深刻精微的名辩学术思想、观念和学说,并进一步阐发了它们蕴含的科学思想。
作者: 李小五编
ISBN: 7030030249
出版社: 科学出版社
出版日期: 1992-12
简介: 本书介绍了现代归纳逻辑和概率逻辑的理论,分析了国外各种逻辑系统,以及它们之间的关系。
作者: 王墨耘编著
ISBN: 9787030352231
出版社: 科学出版社
出版日期: 2013-01
简介: 本书对当代推理心理学研究做了一个比较全面系统的综述和介绍。同时注意创新性,有自己的内容组织框架。本书章节的划分是按照推理研究的主题领域内容确定的。每章内容按先后顺序组织:某一推理研究的主题问题,此主题推理研究的实验范式,此主题推理研究的主要实验现象,主要理论解释,各理论解释的比较
作者: 刘新文,贾青 编
ISBN: 9787030595980
出版社: 科学出版社
出版日期: 2018-11
简介: 本书收集了张家龙研究员从1978年开始发表的部分论文和演讲报告,分上、下两篇。上篇主要涉及我国逻辑教学和研究的现代化问题,下篇是张家龙研究员在数理逻辑、模态逻辑、逻辑哲学领域中的重要研究成果。
作者: 马明辉编著
ISBN: 9787030616012
出版社: 科学出版社
出版日期: 2019-06
简介: 结构证明论研究形式系统中证明的结构.《结构证明论》介绍经典逻辑和直觉主义逻辑的自然演绎和矢列演算,它们是结构证明论的基础理论.根岑式矢列演算的基本定理是切割消除. 运用证明论研究方法, 通过分析证明的结构可以得到一些逻辑性质,如子公式性质、可判定性、插值性质等.《结构证明论》还介
作者: 鞠实儿等 著
ISBN: 9787030734679
出版社: 科学出版社
出版日期: 2022-10
简介: 论证是一种具有说理功能的话语序列。在科学研究中,它具有演绎和归纳两种形式。在日常社会生活中,由于涉及不同的语境(包括文化传统),论证呈现出千变万化的形式。为了满足人与人以及人与机器之间日常交流的需求,本书采用两种不同的自下而上方法——广义论证本土化研究程序和机器学习,从具体事例和
作者: 马明辉 编著
ISBN: 9787030754745
出版社: 科学出版社
出版日期: 2023-06
简介: 证明论是逻辑基础理论的分枝. 结构证明论是证明论的分枝,它研究演算中的分析性证明. 《结构证明论(第二版)》在介绍古典句子逻辑和直觉主义逻辑的基础上,给出公理系统、自然演绎和矢列演算等不同类型的逻辑演算. 根据结构的定义和结构规则,区分不同类型的矢列演算,并且以切割消除为工具,给
跳至

返回顶部