逻辑——从三段论到不完全性定理 pdf epub mobi txt 电子书 下载 2025
熊明，1973年生于云南昭通，华南师范大学教授、博士生导师。北京大学哲学学士、硕士，中山大学理学博士学位。1998年起，任教于广州华南师范大学。2011—2012年，在麻省理工学院语言学与哲学系访问研究。主要研究方向为符号逻辑，出版专著1部，在国内外学术期刊上发表论文20余篇。成果曾获金岳霖学术奖、洪谦很好哲学论文奖、广东省哲学社会科学奖、中国逻辑学会科研奖等奖项。
出版者:科学出版社
作者:熊明
出品人:
页数:167
译者:
出版时间:2016-3-1
价格:CNY 58.00
装帧:平装
isbn号码:9787030477026
丛书系列:
图书标签:
- 逻辑
- 逻辑学
- 数理逻辑
- 科普
- 数理
- 三段论
- 熊明
- B80思维科学
下载链接在页面底部
本书以公理化思想为主导，从亚里士多德的三段论到哥德尔的不完全性定理，阐述传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线，分别展开三段沦的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统，并介绍了哥德尔完伞性定理与不完全性定理及相关的重要成果。本书力求在不失严谨的条件下尽可能直观地呈现理论的内容，在阐述抽象深奥的理论时，注重强调思想性，并力争通俗易懂，深入浅出。
具体描述
读后感
评分
评分
评分
评分
评分
用户评价
评分
可以。
评分可以。
评分可以。
评分可以。
评分可以。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有