登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入   新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站

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

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

『簡體書』数理逻辑入门

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

售價：HK$ 47.7

我要買 件

share:

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

新書推薦：
背影渐远犹低徊：清北民国大先生
《 背影渐远犹低徊：清北民国大先生 》
售價：HK$ 96.8
恨、空虚与希望：人格障碍的移情焦点治疗
《 恨、空虚与希望：人格障碍的移情焦点治疗 》
售價：HK$ 87.8
我为何而活：罗素自传
《 我为何而活：罗素自传 》
售價：HK$ 85.8
我很可爱，绝对可爱
《 我很可爱，绝对可爱 》
售價：HK$ 107.8
溺爱之罪
《 溺爱之罪 》
售價：HK$ 54.9
走出无力感 ： 解锁生命力量的成长密码（跟随心理咨询师找回积极能量！）
《 走出无力感 ： 解锁生命力量的成长密码（跟随心理咨询师找回积极能量！） 》
售價：HK$ 65.8
藩屏：明代藩王的艺术与权力（柯律格代表作，一部逆转“边缘”与“他者”的明代藩王物质文化史，填补研究空白）
《 藩屏：明代藩王的艺术与权力（柯律格代表作，一部逆转“边缘”与“他者”的明代藩王物质文化史，填补研究空白） 》
售價：HK$ 118.8
《史记》纵横新说
《 《史记》纵横新说 》
售價：HK$ 65.8

 
建議一齊購買：

+

HK$ 238.7
《离散数学及其应用（原书第7版）》		 +

HK$ 182.9
《数学天书中的证明 第4版》		 +

HK$ 203.6
《Patran2010与Nastran2010有限元分析从入门》		 +

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