《数理逻辑的思想和方法（日月光华·哲学书系）》 - 昂扬编著，林胜强、李晟修订 - 上海人民出版社 - 香港大書城 - Meg Book Store

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

暢銷書架

好書推介

會員書架精選

2023年度TOP

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

新書上架：簡體書繁體書
暢銷書架：簡體書繁體書
好書推介：簡體書繁體書

十月出版：大陸書台灣書
九月出版：大陸書台灣書
八月出版：大陸書台灣書
七月出版：大陸書台灣書
六月出版：大陸書台灣書
五月出版：大陸書台灣書
四月出版：大陸書台灣書
三月出版：大陸書台灣書
二月出版：大陸書台灣書
一月出版：大陸書台灣書
12月出版：大陸書台灣書
11月出版：大陸書台灣書
十月出版：大陸書台灣書
九月出版：大陸書台灣書
八月出版：大陸書台灣書

『簡體書』数理逻辑的思想和方法（日月光华·哲学书系）

書城自編碼： 3957053
分類：簡體書→大陸圖書→哲學/宗教→哲學
作者：昂扬编著，林胜强、李晟修订
國際書號(ISBN)： 9787208187207
出版社：上海人民出版社
出版日期： 2024-01-01

頁數/字數： /
書度/開本： 16开釘裝：精装

售價：HK$ 117.6

我要買件

** 我創建的書架 **
未登入.

新書推薦：

刻意练习不生气

《刻意练习不生气》
售價：HK$ 39.2

大宋理财：青苗法与王安石的金融帝国（全彩插图本）

《大宋理财：青苗法与王安石的金融帝国（全彩插图本）》
售價：HK$ 109.8

安全感是内心长出的盔甲

《安全感是内心长出的盔甲》
售價：HK$ 67.0

快人一步：系统性能提高之道

《快人一步：系统性能提高之道》
售價：HK$ 110.9

我们为什么会做梦：让梦不再神秘的新科学

《我们为什么会做梦：让梦不再神秘的新科学》
售價：HK$ 77.3

算法图解（第2版）

《算法图解（第2版）》
售價：HK$ 78.2

科学的奇幻之旅

《科学的奇幻之旅》
售價：HK$ 77.3

画艺循谱：晚明的画谱与消闲

《画艺循谱：晚明的画谱与消闲》
售價：HK$ 143.4

建議一齊購買：

+

HK$ 97.5
《庄子说什么（继《道德经说什么》之后，韩鹏杰又一部道家经典解读》

+

HK$ 94.8
《德国知识分子批判》

+

HK$ 240.3
《金枝（全两册）（精装本）》

+

HK$ 89.7
《探索中华学术（修订本）（艺文志·古典）》

+

HK$ 482.8
《傅佩荣的西方哲学课（全3卷）》

+

HK$ 135.7
《从树到迷宫：关于符号和阐释的历史研究》

內容簡介：

本书是一本面向逻辑学专业学生的逻辑学教材，适用于文科哲学、语言学、数学、思政、管理学等专业本科生、研究生。本书系统地阐述了从莱布尼茨到哥德尔的数理逻辑的思想和方法：不仅介绍了构造命题逻辑、谓词逻辑的公理系统、自然推理系统以及系统内定理的操作规则和技巧等思想的形式化方法，同时也进一步探讨了这些形式化方法所包含的生动活泼的思想（这是本书的鲜明特色），便于人们“徜徉”数理逻辑“秀山丽水”的本质与全貌。

關於作者：

昂扬，生于1939年，复旦大学哲学系副教授、逻辑学专业硕士研究生导师，四川师范大学哲学学院逻辑与信息研究所特聘教授；曾任上市逻辑学会理事。
林胜强，四川师范大学哲学研究所教授，四川师范大学逻辑与信息研究所研究员，长期从事研究生逻辑学、科学思维方法论的研究和教学工作，出版专著（教材）多部、发表论文40余篇。
李晟，四川师范大学哲学学院副教授，主要从事现代逻辑的教学与研究，发表学术论文10余篇。

目錄：

目录
第一章数理逻辑与人工语言//001
第一节自然语言与人工语言//001
第二节数理逻辑的思想和方法的演进//005
第三节人工语言对数理逻辑的影响//011
第二章命题演算的思想和方法//018
第一节真值函项//018
第二节重言式//032
第三节范式//045
第三章命题演算系统//059
第一节重言式形式系统//059
第二节自然推理系统与重言式公理系统//072
第四章直觉主义逻辑的思想和方法//085
第一节直觉主义逻辑的思想//086
第二节直觉主义逻辑的演算系统//090
第五章元逻辑的方法和意义//098
第一节演算系统的形式定理//099
第二节演算系统的整体性质//111
第六章谓词演算的思想和方法//123
第一节日常用语的进一步刻画//123
第二节翻译中的几个问题//138
第三节谓词逻辑的核心//150
第四节解释//163
第七章谓词演算系统//176
第一节谓词演算系统//177
第二节谓词演算系统定理和导出规则//190
第三节谓词演算系统的一致性和完全性//202
第八章哥德尔不完全性定理//218
第一节形式化的算术理论//219
第二节哥德尔不完全性定理的内容和思想//222
第三节哥德尔不完全性定理的证明//228
第九章公理化方法和形式化方法//233
第一节从归约法到公理化//233
第二节从公理化到形式化//235
第三节公理化与形式化的交会//241
第十章数理逻辑思想和方法的实践//245
第一节一场逻辑争论//245
第二节关于三段论的本质//248
第三节摹状词理论的要点//253
后记//258

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式 香港用户　 |　台灣用户　|　大陸用户　|　海外用户

megBook.com.hk

Copyright © 2013 - 2024 （香港）大書城有限公司　 All Rights Reserved.