关于我们
书目推荐                   更多
读者荐购排行榜         更多
点击返回 当前位置:首页 > 中图法 【O14 数理逻辑、数学基础】 分类索引
  • 悖论的消解(第二版)
    • 悖论的消解(第二版)
    • 文兰/2019-5-1/科学出版社/定价:¥28
    • 本书对悖论的由来、机理和我们的应对做了深入的分析与讨论。本书的重点是揭示说谎者悖论推理中的一个隐蔽的假设,从而给出说谎者悖论的消解。在此之前,作为一般原理,本书指出悖论与反证法的区别和联系,并以理发师悖论为例详细说明二者的关系。本书还讨论语义悖论和逻辑悖论的划分,指出理发师悖论不是语义悖论,格雷林悖论才是语义悖论等。

    • ISBN:9787030607379
  • 实用逻辑斯谛回归方法
    • 实用逻辑斯谛回归方法
    • 汤嘉 李乐 韩效杰/2019-3-1/机械工业出版社/定价:¥29
    • 逻辑斯谛回归是*常用的统计方法之一,应用于医疗统计、信用评级、社会统计、计量经济学等诸多领域。本书结合SAS软件和R软件等,简介逻辑斯谛回归方法的理论及应用,全书共分6章,分别介绍统计模型、单一预测的逻辑斯谛模型、多元预测的逻辑斯谛模型、逻辑斯谛模型的检验与拟合、分组逻辑斯谛模型回归、贝叶斯逻辑斯谛回归等内容。内容清晰

    • ISBN:9787111615224
  • 数学建模与数学实验(第三版)
    • 数学建模与数学实验(第三版)
    • 汪晓银,李治,周保平/2019-3-1/科学出版社/定价:¥55
    • 本书通过实例介绍了在科学研究和数学建模竞赛中常用的数学建模方法,包括主成分回归、岭回归、偏最小工乘回归、向量自回归、logistic回归、Probit回归、响应面回归、线性与非线性规划、多目标规划与目标规划、动态规划、智能优化算法、网络优化、计算机仿真、排队论、微分与差分、数据预处理、支持向量机等方法.全书将数学建模技

    • ISBN:9787030597458
  • 哥德尔不完全性定理
    • 哥德尔不完全性定理
    • (美)雷蒙德 M. 斯穆里安著;余俊伟译/2019-1-1/科学出版社/定价:¥78
    • 本书主要介绍哥德尔不完全性定理,在用简单例子解说哥德尔的本质思想的基础上,证明了基于加、乘及幂的塔斯基算术定理和基于加与乘的皮亚诺算术系统的不完全性定理,给出了基于—致性的原初证明、基于简单一致性的证明、基于一些基本技术素材和一个不动点原理的证明,结合典型逻辑谜题与证明结果,表明了证明结果与模态逻辑的紧密联系。

    • ISBN:9787030596345
  • 数的家园
    • 数的家园
    • 赵焕光/2019-1-1/科学出版社/定价:¥98
    • 本书介绍数系(自然数→整数→有理数→实数→复数→四元数→超穷数)的基本理论及数系在现实生活中的应用,探讨数系与人文(包括中国传统文化)的联系,追问数系诞生的历史源头,包括数字解读字的意义,认识数的前楼梯、自然数与整数、有理数与无理数、复数与四元数、元穷与超穷数等内容。《BR》

    • ISBN:9787030212948
  • 万千教育·数理逻辑是什么
    • 万千教育·数理逻辑是什么
    • (英)约翰·N.克罗斯利(John N. Crossley) 等著;夏素敏,闫佳亮 译/2018-12-1/中国轻工业出版社/定价:¥32
    • 《数理逻辑是什么》是数理逻辑领域的代表性著作,旨在向零基础的读者普及数理逻辑知识。自1972年问世以来,本书得到众多逻辑学家的肯定,并始终是该领域的长销之作。 简明扼要是本书一大特色。秉持将难懂的数理逻辑以通俗易懂的方式介绍给一般读者的理念,几位作者精选数理逻辑中*典型的思想,生动地介绍了数理逻辑发展史、谓词演算的完

    • ISBN:9787518420957
  • 迷人的逻辑题
    • 迷人的逻辑题
    • (英)亚历克斯·贝洛斯/2018-10-1/中信出版社/定价:¥59
    • 《迷人的逻辑题》介绍了125道经典的逻辑趣味题、数学题和脑筋急转弯。很多都是你似曾相识的题目,比如狼、羊、卷心菜过河问题,数独问题,以及微软笔试中的渡河问题。 这些题目本身并不高深。它们像诗一样,优雅而简洁,需要你用严密的逻辑推理以及灵光一现的反常识灵感才能解开。有些的谜题不需要你有任何方面的知识,只需要你有创造力、

    • ISBN:9787508693767
  • 数学建模及其应用
    • 数学建模及其应用
    • 许建强,李俊玲 编/2018-8-1/上海交通大学出版社/定价:¥45
    • 《数学建模及其应用》分9章。内容涵盖了数学建模课程中的一些基本方法和基本模型,包括插值与拟合、线性规划、整数规划与非线性规划、常微分方程与差分方程模型、概率统计模型、图论与网络优化、综合评价与决策模型、神经网络与遗传算法等。《数学建模及其应用》中所用例题均配有相应的MATLAB或Lingo源程序。《数学建模及其应用》可

    • ISBN:9787313193414
  • LINGO软件及应用习题解答
    • LINGO软件及应用习题解答
    • 司守奎,孙玺菁 编/2018-7-1/国防工业出版社/定价:¥36
    • 《LINGO软件及应用习题解答》是国防工业大学出版社出版的《LINGO软件及应用》一书的配套书籍。《LINGO软件及应用习题解答》给出了《LINGO软件及应用》中全部习题的解答过程和配套程序设计。尤其是第12章,针对数学建模竞赛10道竞赛题目,参照公开出版的优秀论文给出的解答思路,给出了包括问题分析,模型假设,模型建立

    • ISBN:9787118116519
  • 数学建模实验/阿尔泰数学教程系列,普通高等教育“十三五”规划教材
    • 数学建模实验/阿尔泰数学教程系列,普通高等教育“十三五”规划教材
    • 郑勋烨 著/2018-7-1/西安交通大学出版社/定价:¥35
    • 《数学建模实验/阿尔泰数学教程系列,普通高等教育“十三五”规划教材》涵盖了数学建模初步、差分方程、插值与数值积分、常微分方程、线性代数方程组、非线性方程与方程组、无约束优化、约束优化、整数规划、数据统计分析、统计推断、回归分析等基本而重要的建模门类。各章的前部,是数学软件MATLAB/LINDO/LINGO的常用基本命

    • ISBN:9787569306408