当前位置:首页 > 名称

大约有600项符合查询结果项。(搜索耗时:0.0071秒)

为您推荐: 东北师范大学哲学教研室逻辑学教学小组 南开大学哲学系逻辑学教研室著 南开大学哲学院逻辑学教研室著 中国人民大学哲学院逻辑学教研室 中共中央高级党校哲学教研室 中共辽宁省委党校哲学教研室

  • 数理逻辑导引

    冯琦编著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

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

  • 符号逻辑 语法语义和证明

    (美)大卫·W.安格勒著;陈素艳,张绣蕊译;魏屹东审校2016 年出版333 页ISBN:9787030480392

    本书从逻辑学的两个核心概念“命题”和“论证”出发,论述了符号逻辑学的两套推理(命题逻辑和谓词逻辑)使用的两种规范语言,以及相应的推导规则。命题逻辑系统具有可判定性,真值表方法和真值树方法都能够为命题、...

  • 国外计算机科学教材系列 可计算性与数理逻辑

    (美)布勒斯(Boolos,G.S.)等著2003 年出版356 页ISBN:7505388282

    本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题,并重新组织和改了某些章节,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。...

  • 给孩子的逻辑推理小百科

    李志敏编著2014 年出版279 页ISBN:9787518004621

    逻辑推理思维的开发,能让孩子从已知的知识得到未知的知识,特别是可以得到不可能通过感觉经验掌握的未知知识。本书系统而详细地讲解了各种逻辑推理知识和方法,包括图形逻辑推理、侦探逻辑推理、数独逻辑推理、...

  • 自守形式与 Langlands 纲领

    季理真等2009 年出版319 页ISBN:9787040262131

    Langlands纲领是20世纪数学的重要工程之一,该工程对许多领域诸如数论、表示论、算术代数几何等都起到了关键的作用。有着紧密联系的自守表示是Langlands纲领中的基础概念。在过去的几年中,几何Langlands纲领...

  • 实用逻辑斯谛回归方法

    (美)约瑟夫·M.西贝尔(JOSEPHM.HILBE)著;程晓亮,杨艳秋译2019 年出版154 页ISBN:9787111615224

    逻辑斯谛回归是最常用的统计方法之一,应用于医疗统计、信用评级、社会统计、计量经济学等诸多领域。本书结合SAS软件和R软件等,简介逻辑斯谛回归方法的理论及应用,全书共分6章,分别介绍统计模型、单一预测的逻...

学科分类
返回顶部