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

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

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

『簡體書』数理逻辑基础（下册）

書城自編碼： 2988544
分類：簡體書→大陸圖書→自然科學→數學
作者： 胡世华，陆钟万
國際書號(ISBN)： 9787030464224
出版社： 科学出版社
出版日期： 2017-04-01
版次： 31 印次： 1

書度/開本： B5 釘裝： 平装

售價：HK$ 142.1

我要買 件

 

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

新書推薦：
海外中国研究·明清中国的经济结构
《 海外中国研究·明清中国的经济结构 》
售價：HK$ 153.6
理想国译丛018：活着回来的男人：一个普通日本兵的二战及战后生命史（2024版）
《 理想国译丛018：活着回来的男人：一个普通日本兵的二战及战后生命史（2024版） 》
售價：HK$ 110.4
考古四记：田野中的历史人生
《 考古四记：田野中的历史人生 》
售價：HK$ 105.6
大洗牌
《 大洗牌 》
售價：HK$ 93.6
亚洲经济发展与模式分析
《 亚洲经济发展与模式分析 》
售價：HK$ 106.8
浅尝难止（全2册）
《 浅尝难止（全2册） 》
售價：HK$ 78.0
零基础制作栩栩如生的立体纸艺花
《 零基础制作栩栩如生的立体纸艺花 》
售價：HK$ 58.8
第三帝国图文史（修订版）：纳粹德国浮沉实录（彩色精装典藏版）
《 第三帝国图文史（修订版）：纳粹德国浮沉实录（彩色精装典藏版） 》
售價：HK$ 201.6

 
建議一齊購買：

+

HK$ 171.1
《 逻辑与哲学：现代逻辑导论（第九版）（国外经典哲学教材译丛） 》		 +

HK$ 95.7
《 几何背景下的数学物理方法 》		 +

HK$ 142.1
《 数理逻辑基础（上册） 》		 +

HK$ 223.5
《 相对论与引力理论导论 》		 +

HK$ 117.0
《 Menelaous定理 》		 +

HK$ 91.0
《 集合论：对无穷概念的探索 》
內容簡介：
《现代数学基础丛书典藏版2：数理逻辑基础（下册）》陈述数理逻辑的基础知识，包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同的基础。
《现代数学基础丛书典藏版2：数理逻辑基础（下册）》共六部分，分上、下两册。下册包括第三、四、五章和两个附录。第三章陈述逻辑演算的重言式系统，并研究自然推理系统和重言式系统的关系。第四章研究逻辑演算的可靠性和完备性问题。第五章讨论了逻辑演算如何应用于陈述具体的数学理论，并且研究了在数学中引进定义的形式化问题。附录（一）陈述带量词的命题逻辑；附录（二）定义了斜形证明，并且证明了形式证明与斜形证明的等价关系。
《现代数学基础丛书典藏版2：数理逻辑基础（下册）》可以用作数学专业和其他专业数理逻辑课程的教材或教学参考书，或供有关工作人员参考，使用时可根据具体情况删减内容，使用《现代数学基础丛书典藏版2：数理逻辑基础（下册）》时一般要求读者具有相当于大学高年级程度的数学训练。
目錄：
第三章 重言式
30 P的重言式系统
31 P*等的重言式系统
32 非古典命题逻辑的重言式系统
33 谓词逻辑的重言式系统
34 重言式系统和自然推理系统的关系
第四章 可靠性和完备性
40 赋值
41 恒真性和可真性
42 可靠性和协调性
43 命题逻辑的完备性
44 谓词逻辑的完备性（一）
45 谓词逻辑的完备性（二）
46 带等词的谓词逻辑的完备性
47 紧致性定理和勒文海姆一斯柯伦定理
48 独立性
第五章 形式数学系统
50 形式数学系统
51 初等代数
52 自然数
53 哥德尔不完备性定理
54 集
55 实数
56 应用重言式系统
57 形式符号定义
附录（一） 命题量词
附录（二） 斜形证明
符号汇编（下册）
参考文献
內容試閱：
数理逻辑是研究推理，特别是研究数学中的推理的科学。本书陈述数理逻辑的基础性知识，包括逻辑演算（这里是指命题逻辑和一阶谓词逻辑）的基本内容，这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同的基础。
数理逻辑的思想可以溯源到莱布尼兹，而命题逻辑和一阶谓词逻辑的研究则从弗雷格开始。以后，经过皮尔斯，施罗德，皮亚诺，怀德海与罗素，勒文海姆，斯柯伦9等的研究，特别是经过了希尔伯特与阿克曼、贝尔奈斯的研究和整理，谓词逻辑的体系得以形成；而在哥德尔证明了一阶逻辑的完全性定理之后，这个逻辑演算的体系可以说是最后得到完成。
逻辑演算是反映前提和结论之间的推理关系的形式系统。在数理逻辑的历史发展中，构造了逻辑演算的重官式系统。在重言式系统中，以某些形式公理和形式推理规则刻划重言式的全体，以重言式反映推理关系。
然而，重言式系统中的形式公理（它们本身都是重言式）并不揭示出推理的性质。形式公理的涵义是并不直观、并不明显的。用重言式系统中的形式推理来反映演绎推理是不直接、不自然的，于是出现了一些较为直接地反映推理关系的逻辑演算。由厄尔勃朗证明的演绎定理就是比较直接地反映推理关系的，以后，在雅思柯夫斯基，根岑等的著作中，也表明了这种趋势。又如在克利尼的《元数学导引》一书中所构造的逻辑演算，虽然仍然是重言式系统，但在其中定义了有前提的形式推理，并且利用演绎定理得出直接反映推理关系的形式推理关系，这也表明了上面所说的趋势，

 

 

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式 香港用户　 |　台灣用户　|　大陸用户　|　海外用户
megBook.com.hk
Copyright © 2013 - 2024 （香港）大書城有限公司　 All Rights Reserved.