《数理逻辑入门》 - 李锡胤著 - 黑龙江大学出版社有限责任公司 - 香港大書城

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

HOME

新書上架

暢銷書架

好書推介

2024年度TOP

臺灣用戶

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

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

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

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

『簡體書』数理逻辑入门

書城自編碼： 2196562
分類：簡體書→大陸圖書→自然科學→數學
作者：李锡胤著
國際書號(ISBN)： 9787811296044
出版社：黑龙江大学出版社有限责任公司
出版日期： 2013-11-01
版次： 1 印次： 1
頁數/字數： 128/127000
書度/開本： 16开釘裝：平装

售價：HK$ 47.7

我要買件

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

新書推薦：

《图画天地——七世纪前中国山水的图式》
售價：HK$ 171.6

《民国教育的记忆与重构》
售價：HK$ 151.8

《点亮自然》
售價：HK$ 108.9

《国共合作与国民革命（1924—1927）》
售價：HK$ 129.8

《盗臣：乾隆四十六年钦办大案纪事》
售價：HK$ 82.5

《发明与经济增长》
售價：HK$ 97.9

《探秘人体》
售價：HK$ 108.9

《从奥林匹斯山走来：德意志的考古学与爱希腊主义（1750—1970）》
售價：HK$ 140.8

內容簡介：

李锡胤编著的《数理逻辑入门》内容介绍：数理逻辑又称符号逻辑、理论逻辑。它是数学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。所谓数学方法就是指数学采用的一般方法，包括使用符号和公式，已有的数学成果和方法，特别是使用形式的公理方法。用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨，他认为经典的传统逻辑必须改造和发展，是之更为精确和便于演算。

1 命题逻辑
1．1 逻辑研究什么
1．2 逻辑与自然语言
1．3 命题
1．4 联结符号
1．5 命题符号
1. 6 真值表
1．7 永真命题和永假命题
1．8 演绎推理
1．9 命题推演：自然演绎法
1．10 基本加行规则
1. 11 直接证明法
1．12 间接证明法
1．13 非蕴涵式的证明法
1．14 命题逻辑的定理和派生规则
1．15 命题逻辑的公理系统
1．16 公理系统的方法论
1．17 公理系统的无矛盾性
1．18 公理系统的独立性
1．19 模型，解释
2 谓词逻辑
2．1 谓词逻辑与命题逻辑
2．2 量词，辖域
2．3 一阶谓词逻辑的基本规则
2．4 一阶谓词逻辑的定理和派生规则
2．5 一阶谓词逻辑的公理系统
附录
习题及答案

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

	megBook.com.hk
Copyright © 2013 - 2025 （香港）大書城有限公司　 All Rights Reserved.