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

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

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

『簡體書』数理逻辑入门

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

售價:HK$ 47.7

我要買

 

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


新書推薦:
冯友兰和青年谈心系列:不是问题的问题(哲学大师冯友兰和年轻人谈心,命运解读)
《 冯友兰和青年谈心系列:不是问题的问题(哲学大师冯友兰和年轻人谈心,命运解读) 》

售價:HK$ 55.8
月与蟹(青鲤文库)荣获第144届直木奖,天才推理作家经典作品全新译本。一部青春狂想曲,带你登上心理悬疑之巅。
《 月与蟹(青鲤文库)荣获第144届直木奖,天才推理作家经典作品全新译本。一部青春狂想曲,带你登上心理悬疑之巅。 》

售價:HK$ 50.4
索恩丛书·盛清统治下的太监与皇帝
《 索恩丛书·盛清统治下的太监与皇帝 》

售價:HK$ 88.5
透过器物看历史(全6册)
《 透过器物看历史(全6册) 》

售價:HK$ 490.6
我在台北故宫博物院读名画
《 我在台北故宫博物院读名画 》

售價:HK$ 109.8
尼罗河往事:古埃及文明4000年
《 尼罗河往事:古埃及文明4000年 》

售價:HK$ 76.2
一个人·谁也不是·十万人(诺贝尔文学奖得主反思自我的巅峰之作)
《 一个人·谁也不是·十万人(诺贝尔文学奖得主反思自我的巅峰之作) 》

售價:HK$ 54.9
重写晚明史(全5册  精装)
《 重写晚明史(全5册 精装) 》

售價:HK$ 781.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 - 2024 (香港)大書城有限公司  All Rights Reserved.