-
算术基础 (汉译世界学术名著丛书)
AZW3 / G.弗雷格 / 商务印书馆 / 1998-07 / 《算术基础》是德国著名哲学家、逻辑学家戈特洛布·弗雷格的代表作之一，被视为分析哲学与数理逻辑的经典文献。弗雷格在本书中系统地阐述了其逻辑主义思想，试图证明算术可以还原为纯粹的逻辑概念和推理规则，从而为数学奠定坚实的逻辑基础。- 1
- 0
-
逻辑与演绎科学方法论导论 (汉译世界学术名著丛书)
AZW3 / [塔尔斯基(Tarski.A.)] / 商务印书馆 / 1963-03 / 《逻辑与演绎科学方法论导论》是波兰裔美国逻辑学家、数学家阿尔弗雷德·塔尔斯基（Alfred Tarski）的经典著作，被公认为数理逻辑与科学方法论领域的入门佳作。本书系统阐述了现代逻辑的基本概念、原理及其在演绎科学中的应用，旨在为读者提供一种严谨的逻辑思维方式。- 1
- 0
-
离散数学 (21世纪全国应用型本科计算机系列实用规划教材)
AZW3 / 段禅伦 / 北京大学出版社 / 2005-12 / 本书是21世纪全国应用型本科计算机系列实用规划教材之一，系统介绍了离散数学的基本概念、理论和方法。全书共分为数理逻辑、集合论、代数系统和图论四大部分，涵盖了命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图的基本概念、树、特殊图等核心内容。- 1
- 0
-
第一推动丛书·综合系列:逻辑的引擎
AZW3 / 【美】马丁·戴维斯 / 湖南科学技术出版社 / 2012-04 / 《逻辑的引擎》是“第一推动丛书·综合系列”中的一部重要著作，由美国数学家和计算机科学家马丁·戴维斯撰写。本书以生动的笔触和清晰的叙述，追溯了数理逻辑从诞生到塑造现代计算机科学核心思想的历程。作者从莱布尼茨的梦想出发，讲述了布尔、弗雷格、康托尔、哥德尔、图灵等杰出思想家的贡献，最终揭示了逻辑如何成为人工智能和数字时代的…- 1
- 0
-
数理逻辑发展史：从莱布尼茨到哥德尔
PDF扫描版 / 社会科学文献出版社 / 1993-08 / 《数理逻辑发展史：从莱布尼茨到哥德尔》是一本关于数理逻辑发展历程的著作。本书从莱布尼茨的逻辑思想出发，详细介绍了数理逻辑的发展历程，直至哥德尔的贡献。- 1
- 0
-
-
不完备性哥德尔的证明和悖论-丽贝卡·戈德斯坦
PDF扫描版 / 丽贝卡·戈德斯坦 / 湖南科学技术出版社 / 2008-04 / 《不完备性哥德尔的证明和悖论》是一本深入探讨哥德尔不完备性定理的书籍。哥德尔不完备性定理是数理逻辑中的一个重要定理，由库尔特·哥德尔在1931年提出。该定理表明，在任何包含基本算术的形式系统中，总存在一些命题既不能被证明，也不能被证伪。- 1
- 0
-
Λ-演算的语法和语义
PDF扫描版 / （荷兰）H.P.巴伦德莱赫特（h.P.Barendregt）著；朱一清译 / 南京大学出版社 / 1992-09 / 《Λ-演算的语法和语义》是由荷兰著名逻辑学家H.P.巴伦德莱赫特所著，朱一清翻译的一本关于Λ-演算的经典著作。本书详细介绍了Λ-演算的基本概念、语法规则以及语义解释，是计算机科学和数理逻辑领域的重要参考书籍。- 1
- 0
-
数理哲学导论 (汉译世界学术名著丛书)
EPUB / 罗素(Russell B.) / 商务印书馆 / 1982-05-01 / 作者伯特兰·罗素(1872—1970),二十世纪英国著名哲学家,分析哲学创始人和主要代表。本书是罗素继1903年问世的《数学原则》和1910—1913年出版的三大卷《数学原理》之后所写的数理哲学通俗著作。在这本书中罗素以他明白晓畅的文笔陈述了数学原理研究中确定的科学结果,特别包括数理逻辑方面的结果。罗素认为,…- 2
- 0
-
逻辑与演绎科学方法论导论 (汉译世界学术名著丛书)
EPUB / [塔尔斯基(Tarski.A.)] / 商务印书馆 / 1963-04-01 / 本书是波兰著名哲学家、逻辑学家塔尔斯基(1902—1983)的一部数理逻辑入门著作。全书分为两部分。第一部分用非严格的形式化方法论述了语句演算、类和关系及演绎方法的基本理论。第二部分论述了逻辑和方法论在构造教学理论中的应用,构造了一个以逻辑为基础的实算术公理系统。本书通过介绍数理逻辑的一些最重要的概念,…- 1
- 0
数理逻辑
-
￥优惠劵使用时效：无法使用使用时效：
之前
使用时效：永久有效优惠劵ID：×