编辑推荐 数理逻辑领域长销40余年的经典普及之作 以简洁又有趣的方式介绍“难懂”的数理逻辑 以专业而严谨的视角讲述数理逻辑典型思想 为学习逻辑、数学、计算机科学等奠定基础 作者简介 作者简介 约翰·N．克罗斯利（John N. Crossley） 英国数学家、逻辑学家。1963年于牛津大学获得哲学博士学位与数学硕士学位。毕业后成为牛津大学头一位数理逻辑教师，牛津大学万灵学院研究员。自1968年起，长期任教于澳大利亚莫纳什大学，并于2010年成为该校荣休教授。 主要研究领域为逻辑、数学和计算机科学。著有《构成性序型》（Constructive Order Types，196 …

本书主要介绍哥德尔不完全性定理，在用简单例子解说哥德尔的本质思想的基础上，证明了基于加、乘及幂的塔斯基算术定理和基于加与乘的皮亚诺算术系统的不完全性定理，给出了基于—致性的原初证明、基于简单一致性的证明、基于一些基本技术素材和一个不动点原理的证明，结合典型逻辑谜题与证明结果，表明了证明结果与模态逻辑的紧密联系。

编辑推荐 《华章应用统计系列·数学建模:基于R》可作为“数学建模”课程的教材或数学建模竞赛培训的辅导教材，也可作为理工、经管、生物等专业的本科生、研究生或相关专业技术人员学习R软件的参考书。 作者简介 薛毅，是北京市数学建模竞赛专家指导组成员。理学博士，北京工业大学应用数理学院教授，运筹学学科部主任。运筹学与控制论专业硕士点责任教授。现担任北京运筹学会理事，全国运筹学会理事。独立或与他人合作共完成专著一部、教材六部和论文近四十篇。并多次应邀去香港，进行合作研究。主讲数学建模、数值分析、运筹学、数值优化等本科生、研究生课程，并长期指导学生参加中国和美国大学生数学建模竞赛。主讲课 …

描述

编辑推荐 本书集中地呈现了维特根斯坦对数学本性问题的思考。 编辑推荐：《数学基础研究》主要关注的是数学本性问题，特别是数学与逻辑的关系、数学与世界的关系问题，集中地为读者呈现了维特根斯坦对数学本性问题的思考。 作者简介 维特根斯坦，二十世纪最重要的哲学家，主要著作为《逻辑哲学论》、《哲学研究》，前者影响了二十世纪最重要的哲学流派逻辑实证主义，后者影响了日常语言学派。 译者简介：韩林合，哲学博士，北京大学教授，主要研究方向为分析哲学、庄子哲学，主要著作：《维特根斯坦＜哲学研究＞解读》、《＜逻辑哲学论＞研究》、《分析的形而上学》、《游外以冥内》、《虚己以游世》等。 &#304 …

编辑推荐 《证明方法与理论》可作为证明论、逻辑、计算机科学与技术、数学哲学等相关领域专业工作者的教材或参考书。 目录 绪论 0.1对证明论学科发展的一些看法 0.2本书的一些尝试 参考文献 第1部分预备知识 第1章基本概念的定义和举例 参考文献 第2章基础知识 2.1集合论概述 2.2逻辑学概述 参考文献 第2部分证明方法 第3章关系运算证明方法 参考文献 第4章三段论证明方法 4.1亚里士多德三段论简述 4.2亚里士多德三段论的改进 4.3量化扩展的三段论有效命题的确定方法 参考文献 第5章数学归纳法 5.1数学归纳法的发展概况 5.2第一、第二数学归纳法 5.3超穷（超限）归纳法（广义归纳法） 5. …

与通常的公理集合论著作不同，《公理集合论导引》在引入形式系统之前首先直观而义严谨地阐述了类、集合、序数，基数以及势的概念，为没有受过逻辑训练的读者掌握集合论的基本概念提供了方便。第六章引进了集合论形式语言和ZF形式公理系统，对直观集合论中的概念和公理进行了形式化处理，并在此基础上建立了若干逻辑定理。以后各章介绍了公理集合论中的主要方法和结果，以及作者本人的研究成果。

本书引入能力矩阵学习方法，帮助学生自主安排学习进度和控制学习难度，完成数学建模方法的学习。全书分为层次分析法、数据的处理、相关分析、回归分析、优化模型五部分，每部分包含学习情境页、能力矩阵、学习步骤计划书、学习任务页、学习信息库、教学方法和教学策略、成果展示要求、学习评价等部分。 本书适用于高职高专、贯通培养、本科及有自主学习数学建模要求的学生及教师使用。

编辑推荐 和前一版相承，一本保留了获奖论文的原汁原味的建模国赛论文集，伴以辅导老师细心点评。可供参加数学建模课程学习和竞赛的学生及教师参考，尤其适合初学者参考。 作者简介 李学文，博士，副教授，2000年到北京理工大学数学系任教，研究方向为优化计算，多年来一直参与学校的数学建模选修课讲授和建模竞赛学生指导工作，主要讲授与指导内容为运筹学与优化模型在数学建模中的应用。 目录 第1章城市表层土壤重金属污染分析（2011 A） 1.1城市表层土壤重金属污染分析 1.2问题分析与建模思路概述 1.3获奖论文——城市表层土壤重金属污染分析 1.4论文点评 …

编辑推荐 《逻辑与演绎科学方法论导论》由商务印书馆出版。 作者简介 作者:（波兰）塔尔斯基 目录 初版序言 序言 第一部分逻辑的元素.演绎方法 （Ⅰ）论变项的用法 1.常项与变项 2.包含变项的表达式——语句函项与指示函项 3.应用变项形成语句——全称语句与存在语句 4.全称量词与存在量词；自由变项与约束变项 5.变项在数学中的重要性 练习 （Ⅱ）论语句演算 6.逻辑常项；旧逻辑与新逻辑 7.语句演算；语句的否定，合取式与析取式 8.蕴函式或条件语句；实质蕴函 9.蕴函式在数学中的应用 10.语句的等值式 11.定义的表述方式与定义的规则 12 …

描述

编辑推荐 《普通高等院校"十三五"规划教材:数学建模》由河南大学出版社出版。 目录 第1章建立数学模型 1.1数学模型与数学建模 1.2数学建模的基本方法步骤 习题1 第2章初等模型 2.1名额分配问题 2.2双层玻璃窗的功效问题 2.3舰艇的会合问题 2.4三村最短路径问题 习题2 第3章简单的优化模型 3.1存贮问题 3.2森林救火问题 3.3*佳出售时机 习题3 第4章数学规划模型 4.1线性规划 4.2产品的生产问题 4.3货物输送、装运问题 习题4 第5章线性代数模型 5.1交通网络流量分析问题 5.2配方问题 5.3投入产出问题 5.4互付工资问题 5.5平衡价格问题 习题5 第6章微分方程 …

我国国土辽阔，全国四分之三以上地区的河流，每年冬季均出现不同程度的冰情、冰害，进行江河冰凌研究具有十分重要的意义。研究江河冰凌运动的机理及其变化规律是一个十分复杂的课题，建立数学模型、进行数值实验的研究方法并结合现场观测实验是冰凌研究的重要手段。 《江河冰凌数学模型研究》对国内外冰塞形成及演变机理的研究成果进行了系统的总结和分析，建立了描述冰塞形成及演变的一维动态综合数值模型及河道中水内冰形成及演变的二维紊流数值模型，研究了河道开河前期冰盖纵向和横向断裂机理，提出了河道开河判别准则，并应用观测资料对上述模型进行了验证。 《江河冰凌数学模型研究》可供从事河冰水力学研究和水利水电工程建设的科研和技术人员阅读，也可供高等院校有关专业师生参考。

本书主要内容包括：数学建模概述，初等数学模型，经典数学模型，数学建模应用软件介绍，数学建模联赛论文格式规范，数学建模例题及解答等。

编辑推荐 《公理集合论导引》可作为大学数学专业高年级本科生、研究生的公理集合论课程的教材，也可作为高校相关专业教师的参考书。 目录 序 上篇 第1章 集论的公理化问题 1.1 集论公理化的背景 1.1.1 数学研究对象的多样化与抽象化呼唤数学的统一 1.1.2 逻辑悖论的出现对公理化提出了强烈的需求 1.1.319世纪后期兴起的公理化思潮为集论的公理化提供了动机和背景 1.2 集论公理化企图实现的目标 1.3 集论公理化的历史 1.4 集论公理系统包含的内容 第2章 集的基本运算 2.1 空集、无序对、幂集和子集的构成 2.2 集的代数运算 2.3 集的运算律 习题 第3章 关系与函数 3.1 序对与笛 …

本书是“格致方法·定量研究系列”丛书中的一部，主要围绕非递归联立方程组中关于模型的指定、识别、估计、评估和解释的整个过程，对两阶或三阶最小二乘估计法的价值，工具变量的质量等问题进行了讨论，强调工具变量的选择对模型的识别和成功估计的重要意义。并介绍了SAS、Stata等统计软件对于相关问题的检验方法。

编辑推荐 《数理逻辑引论与归结原理(英文版)》编辑推荐：Introduction to Mathematical Logic Resolution Principle，Second Edition，in nine chapters， discusses Boolean algebra theory，propositional calculus and predicated calculus theory，resolution principle theory and the latest theory of multivalue logic.The book also includes supplement or alternatio …

编辑推荐 《模型论基础(典藏版)》由科学出版社出版。 目录 第一章形式语言及其模型 第二章紧致性定理与LST定理 第三章初等子模型与模型完全理论 第四章超积基本定理 第五章模型论力迫法 第六章省略型定理 第七章初等链的一些应用 第八章内插定理 第九章可数语言中的完全理论 第十章w—范畴的可数完全理论 第十一章Skolem函数与不可辨元 第十二章饱和模型 第十三章Keisler—Shelah同构定理 附录Ⅰ一些判定问题 附录Ⅱ模型论应用举例（1）—非标准分析简介 附录Ⅲ模型论应用举例（2）—CD代数的零点定理 参考文献 文摘 版权页： 插图：

编辑推荐 《实定理的复证明(英文)》是对Hadamard的格言“实域中两个真理之间的最短路程是通过复域”的延伸思考。面向熟悉研究生一年级水平分析学的受众，《实定理的复证明(英文)》的目的在于解释复变量是如何对分析的一些领域中的许多类重要结果提供了快速而高效的证明，这些领域包括诸如近似理论、算子理论、调和分析和复动力系统。 作者简介 作者：（美国）彼得·D·拉克斯（Peter D.Lax） （美国）劳伦斯·查克曼（Lawrence Zalcman） 目录 Preface Chapter 1.Early Triumphs 1.1.The Basel …

编辑推荐 《递归论(典藏版)》由科学出版社出版。 目录 绪论 01.递归论的对象 02.基本概念，组成规则 03.可计算性与可判定性 04.函数，直接定义的函数 05.迭置（叠置） 06.特征函数 07.配对函数 08.堆积函数与求项函数 09.叠置的化归 第一章算子 10.几个重要的算子 11.算子的一种分类 12.算子的相互表示与化归（上） 13.算子的相互表示与化归（下） 14.递归生成集与函数的组成过程 15.递归生成函数集的典型构成 16.羟制函数与枚举函数 第二章初等函数集 20.三大函数集 21.初等函数集 22.初等函数集的分类 23.初等函数集的另一构成 24.初基函数集 25.基底函 …

本书是为高等师范院校数学建模课程编写的教材，体现了高等师范院校的培养目标、办学特点。内容包括用MATLAB求解数学问题、数学建模概述、差分方程模型、常微分方程模型、数值逼近模型、统计回归模型和最优化模型。本书注重数学建模的基础知识和基本技能，并通过实例进行案例教学，既包括一些能够和中学数学教育衔接的经典的建模问题，又包括一些由近年来大学生数模竞赛题简化改编的案例。本书既重视建模方法和技巧的训练，又重视使用MATLAB软件求解模型的能力培养。习题与课文紧密配合，并附有部分习题的答案或提示。随书附送的光盘中包含课堂教学演示电子文档。

作者简介 作者:(美)索尔(Soare、 R. I.)

编辑推荐 一本足以彻底改变你思维方式的小书。作者以其朴素简练而又充满趣味的笔触，将一门深奥的逻辑科学以通俗易懂、妙趣横生的语言娓娓道来，从逻辑学的基本原理，到推理的过程，再到论证，再到种种逻辑谬误的根源，一步一步带领我们进入这个精彩无比的逻辑世界，体会妙趣横生的思维交锋，跨过无处不在的思维陷阱。 媒体推荐 缺乏逻辑已成为社会的一种流行病症：逻辑紊乱症候群。该症状已蔓延至社会的各个角落。 ——著名行为学家孙路弘 我相信逻辑，比如说，有一个峡谷，所有的人都说过不去，那里是万丈深渊，但如果逻辑推论出那里应该有一座桥，我就会走过去。 ——著名经济学家、北京大学光华管理学院前任院长张 …

编辑推荐 《"十二五"普通高等教育本科国家 级规划教材·南开大学立项规划教材:数理逻辑的思想与方法(第二版)》由南开大学出版社出版。 目录 第一章集合论初步 第一节基本概念 1.1.1关于集合的定义 1.1.2集合的表示方法 1.1.3罗素悖论 1.1.4集合的包含和相等关系 1.1.5空集和幂集 1.1.6练习 第二节集合的基本运算 1.2.1并集及其运算 1.2.2交集及其运算 1.2.3差集及其运算 1.2.4全集 1.2.5集合运算之间的关系 1.2.6练习 第三节关系 1.3.1有序对和n元有序组 1.3.2笛卡儿乘积 1.3.3关系的概念 1.3.4关系 …

描述

编辑推荐 《代数模型论引论(典藏版)》可供高等院校数学、逻辑、哲学以及计算机科学等专业高年级本科生、研究生、教师和相关的科学研究工作者参考，也可作为相关专业研究生的教科书。 目录 《现代数学基础丛书》序 前言 第1章模型论的预备知识 1.1数学结构及其理论 1.2素模型和初等子模型 1.3模型的同构和morley范畴性定理 1.4理论的完全性和模型完全性 1.5量词可消去 1.6量词可消去的判定法 1.7型，完备公式和孤立型 1.8稳定性理论简介 习题一 第二章代数闭域 2.1代数闭域的完全性和可判定性 2.2代数闭域的量词可消去 2.3zariski闭集和可构成集 2. …

编辑推荐 《数理逻辑引论与归结原理(第二版)》可供计算机专业、应用数学专业、人工智能专业的研究生与高年级本科生及教师阅读。 目录 第二版前言 第一版前言 第1章 预备知识 1.1 偏序集 1.2 格 1.3 Boole代数 第2章 命题演算 2.1 命题及其符号化 2.2 命题演算的语义理论 2.3 命题演算的语构理论 第3章 一阶谓词演算的语义理论 3.1 一阶语言 3.2 解释、逻辑有效公式 3.3 逻辑等价 第4章 一阶谓词演算的语构理论 4.1 形式系统K& 4.2 可证等价关系 4.3 前束范式 4.4 一阶系统K&的完备性定理 4.5 不含量词的公式 …

编辑推荐 《普通高等院校"十二五"规划教材:数学建模》由国防工业出版社出版。《普通高等院校"十二五"规划教材:数学建模》适合应用型高校非数学专业使用，也可作为相关专业人员的参考书。 目录 第1章简单数学模型和数学建模的基本步骤 1.1简单的数学模型 1.2数学建模的基本步骤 1.3数学建模论文的写作 习题1 第2章复杂一些的数学模型 2.1理想单摆运动的摆动周期 2.2交通管理中的黄灯问题 2.3人口模型 2.4人、狗、鸡、米过河问题 2.5夫妻过河问题 2.6公平的席位分配 习题2 第3章统计建模 3.1利用SPSS检验数据是否服从正态分布 3.1.1图示法 3.1.2 …

编辑推荐 《黑洞吸积盘》由科学出版社出版。 作者简介 作者:（日）加藤正二等著；钱磊 目录 前言 译者序 本书大纲 第1章绪论 1.1吸积能的历史渊源 1.1.1宇宙中的能源 1.1.2类星体的发现 1.1.3类星体的能量 1.2吸积盘图景——活动的宇宙 1.2.1理论家们 1.2.2吸积盘的概念 1.2.3引力发电站 1.3吸积供能的天体——对观测的综述 1.3.1恒星形成区 1.3.2激变变星 1.3.3含有中子星的X射线双星 1.3.4包含黑洞的X射线双星 1.3.5活动星系核 参考文献 第2章与吸积 …

编辑推荐 《高等职业教育"十三五"规划教材·公共基础课系列:数学建模方法与应用》由北京师范大学出版社出版。 目录 第一章数学模型及数学建模简介 第一节数学模型 一、数学模型的含义 二、数学模型举例 第二节数学建模 一、数学建模的含义 二、数学建模的过程 三、建立数学模型的方法和步骤 第二章数学工具介绍 第一节Matlab概述 一、启动和退出Matlab 二、菜单和工具栏 三、命令窗口 四、历史命令窗口 五、当前工作目录窗口 六、工作空间窗口 第二节数值计算 一、基本运算 二、数组运算 三、程序设计 第三节函数作图 一、二维图形的绘制 二、三维图形 三、图形的 …

编辑推荐 结合大学生数学建模竞赛，提供丰富的数学建模案例分析，并给出算法实现的代码 作者简介 无 目录 第1章 数学建模概述 1.1数学模型与数学建模1 1.1.1数学模型1 1.1.2数学模型的分类1 1.1.3数学建模2 1.2数学建模的一般步骤2 1.3数学建模示例4 1.4数学建模能力培养9 习题110 第2章 基本方法建模 2.1初等模型11 2.1.1桌子能放平吗11 2.1.2双层玻璃窗的功效13 2.1.3动物的身长与体重14 2.1.4公平的席位分配16 2.1.5效益的合理分配20 2.2简单 …