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

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

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

『簡體書』数理逻辑入门

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

售價:HK$ 47.7

我要買

 

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


新書推薦:
投诉是礼物:理论版+实践版(套装2册)  长盛不衰的客户服务指南!
《 投诉是礼物:理论版+实践版(套装2册) 长盛不衰的客户服务指南! 》

售價:HK$ 135.7
女性史:革命与战争时期卷(一次重构人类历史的努力)
《 女性史:革命与战争时期卷(一次重构人类历史的努力) 》

售價:HK$ 135.7
永无止尽的狂热:三岛由纪夫
《 永无止尽的狂热:三岛由纪夫 》

售價:HK$ 68.8
原来这就是逻辑学:16堂大师逻辑课
《 原来这就是逻辑学:16堂大师逻辑课 》

售價:HK$ 57.3
隋唐王朝兴亡史
《 隋唐王朝兴亡史 》

售價:HK$ 78.2
货币新纪元:区块链重塑金融生态
《 货币新纪元:区块链重塑金融生态 》

售價:HK$ 101.2
规制如何生财:清代盐政基本原理研究(1644-1850)
《 规制如何生财:清代盐政基本原理研究(1644-1850) 》

售價:HK$ 101.2
小学生C++趣味编程从入门到精通 青少年软件编程等级考试(C语言)学习用书
《 小学生C++趣味编程从入门到精通 青少年软件编程等级考试(C语言)学习用书 》

售價:HK$ 102.4

 

建議一齊購買:

+

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.