数理逻辑

  • 陈慕泽
  • 数理逻辑是思维科学的一个分支,也是数学的一个分支。本书包括:命题逻辑、谓词逻辑、命题演算、谓词演算四章内容。
  • G.弗雷格
  • 弗雷格(GottlobFriedrichLudwigFrege,1848-1925)在《算术基础》中阐述了三条基本原理,这三条原理一方面说明他为什么要构造他的人工语言系统,另一...
  • 艾宾浩斯(EbbinghausH.D.)
  • 《数理逻辑(第2版)》主要内容:Whatisamathematicalproof?Howcanproofsbejustified?Aretherelimitationstopr...
  • 徐利治
  • 《数学方法论十二讲》是受到了国内数学教育界的欢迎的,因为书中的主要题材基本上不受时间影响,诸如关于“关系映射反演原则”的广泛应用、有关“无限”问题不同学派的观点论争、数学发明心...
  • 朱水林编著
  • 哥德尔不完全性定理朱水林著辽宁教育出版社1988年2月版12万字对哥德尔定理的背景、内容、证明和意义等作系统的介绍。哥德尔不完全性定理对逻辑学、数学、哲学和人工智能都具有深刻的...
  • 汪芳庭
  • 《数学基础(修订本)》在介绍数学基础的历史之后,系统讲述现代数学主体的基础-ZFC集论,其中重点详述四种数(自然数、实数、序数和基数)的理论。实数的构造与传统的Dedekind...
  • 李未
  • 《数理逻辑基本原理与形式演算》是信息科学与技术基础丛书之一。全书共分十章,系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容,包括一阶语言的语法与模型,形...
  • A.Shen
  • 集合论的主要概念(基数、序数、超限归纳)对于所有数学家都是最基础的,并非仅限于研究数理逻辑或集合论拓扑的专家。通常分析、代数或拓扑学的课程只会给出基础集合论的一个概貌,然而事实...
  • 杨跃
  • 《集合论:对无穷概念的探索》是“逻辑与形而上学教科书系列”中的一本,书中介绍了集合论的基础知识,共有集合与公理,关系与函数,实数的构造,基数,滤、理想与无界闭集,集合的宇宙,可...
  • 阿达玛
  • 《数学领域中的发明心理学(珍藏版)》在1945年出版发行,后又经再版重印,并被译为几种文字,影响甚大,是一本数学方法论方面的经典著作。在《数学领域中的发明心理学(珍藏版)》中,...

数理逻辑相关书籍

逻辑新引·怎样判别是非 电子书
击穿固化思维,逻辑学的入门经典必读。
从零开始学逻辑 电子书
面对愤怒情绪,我们也是可以“化敌为友”的。
从零开始学数字电路 电子书
数字电路初学者的“傻瓜型”教材,深入浅出讲解。
育儿的逻辑 电子书
送给孩子的人生礼物——人见人爱能力、独立生存能力、批判思维能力。
德国哲学(2017年下半年卷) 电子书
《德国哲学》是由湖北大学哲学学院主办、湖北大学德国哲学研究所协办的专门研究德国哲学及相关问题的学术性刊物。本册是2017年下半年卷。
问,就对了!用提问掌控人生主动权 电子书
那些能让你更智慧更成功的答案,你不问,是不会有人告诉你的。