登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入   新用戶註冊

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

新書推薦： 《 东亚世界形成史论（新版） 》 售價：NT$ 490.0 《 奶奶的半个心愿 “课本里的作家” 中考热点作家孙道荣2024年全新散文集 》 售價：NT$ 190.0 《 天生坏种：罪犯与犯罪心理分析 》 售價：NT$ 445.0 《 新能源材料 》 售價：NT$ 290.0 《 传统文化有意思：古代发明了不起 》 售價：NT$ 199.0 《 无法从容的人生：路遥传 》 售價：NT$ 340.0 《 亚述：世界历史上第一个帝国的兴衰 》 售價：NT$ 490.0 《 人工智能与大数据：采煤机智能制造 》 售價：NT$ 440.0

建議一齊購買： + NT$ 850 《 逻辑与哲学：现代逻辑导论（第九版）（国外经典哲学教材译丛） 》 + NT$ 458 《 几何背景下的数学物理方法 》 + NT$ 706 《 数理逻辑基础（上册） 》 + NT$ 1118 《 相对论与引力理论导论 》 + NT$ 585 《 Menelaous定理 》 + NT$ 315 《 集合论：对无穷概念的探索 》 內容簡介： 《现代数学基础丛书典藏版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.tw
Copyright (C) 2013 - 2024 （香港）大書城有限公司　All Rights Reserved.