当前位置:首页 > 名称

大约有2,000项符合查询结果项。(搜索耗时:0.0147秒)

为您推荐: 华东师范大学政教系逻辑教研室 华东师范大学政教系逻辑教研室编 陕西师范大学政教系马列主义基础教研室 press南京师范学院政教系政治经济学教研组 南京师范学院政教系政治经济学教研组选 福建师范大学政教系资料室

  • 数学逻辑基础:微积分学的观点方法和假设

    吴顺子著2009 年出版58 页ISBN:9787560328478

    本书首创度量三结合原理,从而达到运用辩证逻辑讲述量的度量,使得在量的度量中,既给出量的整体量表值,又给出与整体相关的各部分量的表值,使微分和积分在数学中才真正地获得自己的表值。...

  • 数理逻辑引论与归结原理

    王国俊著2006 年出版258 页ISBN:7030165837

    本书在第1版的基础上进行修订再版,内容可分为4部分。第1部分讲述了与逻辑演算有密切关的Boole代数理论,并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地统讲述命题演算与一阶谓词演...

  • 数学极客 探索数字 逻辑 计算之美

    (美)马克·C·查-卡罗尔2018 年出版256 页ISBN:9787111602590

    Mark C. Chu-Carroll是世界上较早的数学博主之一,他能够引导读者愉快地、不经意地理解复杂的概念。在本书中,他使用相同的技巧为读者带来一场别开生面的数学之旅,从数字的基本概念一直到计算机程序设计的最新...

  • 互逆主义逻辑、数学和它们的应用

    周训伟著2013 年出版482 页ISBN:9787511716118

    本书分别介绍互逆主义的逻辑演算、集合论、抽象代数、证明论与模型论、递归论。数理逻辑的三大派都是为了克服悖论而提出,互逆主义用两种方法排除悖论,以,把元素与集合分为三层,二、认为空集与全集是特异集合,对...

  • 非经典数理逻辑与近似推理

    王国俊著2000 年出版305 页ISBN:7030085442

    本书大部分内容是作者近期的研究成果,全书较统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎统;把模糊推理纳入了严格的逻辑轨道;从整体赋值出发,建立了积分语义学...

  • 数理逻辑导引

    冯琦编著2017 年出版516 页ISBN:9787030545794

    本书旨在统地引导数理逻辑一阶统理论,包括一阶逻辑的三大基本特征定理:哥德尔完备性定理、紧致性定理、以及可数同质子结构存在性定理;并且以数这一基本常识观念为中轴线,包括自然数、整数、有理数、实数和...

  • 实物与暗物的数理逻辑

    宋文淼,阴和俊编著2006 年出版159 页ISBN:7030164229

    量子力学与相对论极大地改变了人类的思维和对自然的认识,极大地促进了科学技术的发展。量子力学与相对论是物理学的终结吗?未来的物理学向哪个方向发展?本书从实物与暗物的数理逻辑角度提供了一个视角,阐述了重...

  • 图形和逻辑的故事 张远南先生献给中学生的礼物

    张远南著2005 年出版257 页ISBN:7500774621

    本书分为“抽象中的形象——图形的故事”和“否定中的肯定——逻辑的故事”两部分。图形的故事介绍了拓扑学、运筹学、图论和射影几何等知识,展示了抽象与形象间的生动关逻辑的故事介绍了二进位制、逻辑...

  • 可拓逻辑初步

    蔡文等著2003 年出版202 页ISBN:7030123360

    本书统地论述了可拓学的逻辑基础,包括可拓逻辑的基本概念、方法及其应用。首先介绍了知识表示的可拓模型,提出了形式化表示知识的可拓方法、论述了概念、命题、信息和知识的可拓模型及其可拓性。接着讨论了...

  • 数理逻辑基础

    (德)希尔柏脱(D.Hilbert),(德)阿克曼(W.Ackermann)著;莫绍揆译1958 年出版200 页ISBN:13031·750

    本书是数理逻辑的有名经典著作之一,内容包括四章:第一章为命题演算,介绍基本逻辑联结词及其各种性质,并就命题演算而给出一个公理体,证明其不矛盾性,完备性及互相独立性.第二章为类演算,兼讨论如何从类演算......

学科分类
返回顶部