《LINGO和Excel在数学建模中的应用》深入浅出地介绍了LINGO的基础知识、用LINGO语言描述现实问题的方法和用Excel处理数据的方法，重点是这两种软件在解决各种优化问题以及在数学建模中的应用，通过丰富的实例介绍了把实际问题转化为数学模型的方法，以及综合运用LINGO等软件来求解模型的手段和技巧。《LINGO

本书是数理逻辑和集合论的基础语言。共8章，前5章是数理逻辑部分：第1-3章是数理逻辑，包括命题逻辑、谓词逻辑及其公理化理论；第4章是简单模态逻辑，第5章是利用基础知识分析基础教育阶段数学教、学中遇到的问题。在每一节的起始将本节内容所渗透的重要的思想方法提炼出来放在前面，以期利于读者对内容的深入理解和对数学思想方法的进一

本书侧重数学建模知识的了解和数学建模能力及意识的培养，案例丰富，由浅入深，便于学生自学和教师教学。本着简明、实用和有趣的原则，书中的内容主要以初、中等难度数学建模问题为主，以求达到降低数学建模学习起点、实用和通俗易懂的目的。读者只要学过微积分、线性代数和了解简单的概率统计知识就可以学习本书。

从华南农业大学2009年到2014年，参加全国大学生数学建模竞赛中精选出的10篇获奖的论文加工整理而成的，所选择的论文都是最有代表性的，论文几乎完整地保持了参赛论文的原貌。同时每篇论文后给出了比较细致的点评。书后附录中提供了参加数学建模竞赛部分部分同学的感受和体会赛题。

本书为高等学校数学建模与实验课程教材,集应用数学知识、数学建模和数学实验为一体,共两篇17章。第一篇为Matlab基础(第15章),包括Matlab入门、程序设计、图形处理、数值计算、符号计算;第二篇为常用数学建模方法与实验(第617)章,包括数字图像处理、微分方程模型求解、插值与拟合、图论方法建模与实验、随机方法建模

广义差集矩阵理论是一种利用多边矩阵理论和矩阵象技术，对多维数组进行封闭的广义差运算，以此处理多指标复杂系统的关系结构和逻辑分析问题的方法体系.本书系统地阐述广义差集矩阵理论及其应用.《广义差集矩阵理论和正交表构造》共7章，内容包括广义差集矩阵的等价形式？原子形式？并列或标准混合形式？规范半混合形式？核形式的理论及其在混

本书作者把多年数学建模课程教学、数学建模竞赛培训经验与一般理工科院校的学生实际相结合，重点介绍了常用的数学建模方法内容包括数学建模概论、初等建模方法、差值拟合方法、数学规划方法、微分方程方法、图论方法、不确定信息处理方法、常用统计与随机分析方法及现代优化方法等本书将数学模型、数学方法和数学软件通过实际案例有机地结合在一

《数学建模》以用数学解决实际问题所需要的知识和技能为顺序。介绍了数学建模的基本概念、方法与步骤。以及常用的计算方法、数值软件。分专题介绍几个主要数学分支的相关知识及其在具体问题中的应用。《数学建模》共七章。内容包括数学建模所需要的基本知识：数学建模概念、数值软件、常用计算方法；进行数学基本应用的初等模型、常微分方程模型

非经典逻辑及推理的种类和成果颇多，限于篇幅，《对偶三角模--三角余模逻辑及推理》总结作者张兴芳2005年以来关于概率论、Lawry的适当测度理论、刘宝碇的不确定理论、模糊集理论与数理逻辑理论的结合研究成果。根据非经典命题和谓词的不确定性的各种特征，作者分别提出了相应的逻辑和推理方法，概括其本质分别称为随机命题的概率逻辑

《MATLAB与数学建模(普通高等教育十二五规划教材)》从数学建模的角度介绍MATLAB的应用及常用的数学建模方法。书中内容根据数学建模竞赛的需要而编排，涵盖了大部分数学建模问题的MATLAB求解方法，全书共14章，内容包括数学建模概述、MATLAB基础、微分方程、差分方程、插值与数据拟合、线性规划、整数规划、非线性规

数学建模这门课程在数学及其在各个领域的应用之间架起了一座桥梁。本书介绍了整个建模过程的原理，以数学建模案例为实体，以激发大学生学习数学积极性和主动性为目的，结合高等数学、线性代数、概率论与数理统计的教学实践，通过大量案例，介绍应用数学解决实际问题的基本思路和方法。同时，部分案例在第一版的基础上，增加了问题分析和思考题，

悖论是逻辑学中最光彩夺目的部分，也是最能激发逻辑学家、数学家、哲学家以及普通大众兴趣的话题，它指的是与公认的信念相左的“道理”，或是让人陷入两难、无所适从的命题。它虽然看似荒谬，违反常理，但却似乎论证缜密、无从反驳。 悖论起源很早，如古希腊的“说谎者悖论”、中国的“白马非马”之说。历史上，众多的哲学家、数学家、逻辑学

悖论是英语词paradox的中译，指的是与公认的信念相左的“道理”，或是让人陷入两难、无所适从的命题。它虽然看似荒谬，违反常理，但却似乎论证缜密、无从反驳。悖论起源很早，如古希腊的“说谎者悖论”、中国的“白马非马”之说。历史上，众多的哲学家、数学家、逻辑学家对悖论进行了奇妙而艰苦的探索，带给他们成功的快乐和失败的苦痛，

关于说谎者及其相关真理论悖论的研究始于古希腊时代，之后相关理论层出不穷，但至今仍无定论，相关研究仍是当今逻辑研究的一大热点。《塔斯基定理与真理论悖论》梳理了塔斯基、克里普克、赫茨伯格、古普塔等人的真理论的基本内容，并通过分析其理论对真谓词的处理概括出真谓词在可能世界上的一种模式，进而给出了塔斯基定理的一系列的推广。主要

汪天飞、邹进、张军主编的《数学建模与数学实验》涵盖了数学建模所涉及的常用方法和内容，如初等数学模型、数学规划模型、线性代数模型、微分方程模型、层次分析法、图论方法和多元回归分析等，并对每种方法的原理、应用和程序实现都做了系统而全面的介绍。程序使用MATLAB、L1NDO、LINGO等软件编写代码，实用性强。 全书共分

《信息科学与技术基础丛书·数理逻辑：基本原理与形式演算（第二版）》的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部分内容包括：版本序列及其极限理论、修正演算系统、过程模式理

朱道元编著的《研究生数学建模精品案例》精选了全国研究生数学建模竞赛的若干赛题，总结并发展了相应的优秀论文及命题人的综述。全书共分12章，内容包括从研究生数学建模角度看创造性及创造性培养、吸波材料与微波暗室问题的数学建模、基于光的波粒二象性一种猜想的数学仿真、汶川地震中唐家山堰塞湖泄洪问题、特殊工件磨削加工的数学建模、空

本书分9章，内容涉及数学建模简介、Matlab基础知识、微分方程与差分方程、优化方法、回归分析、预测与决策分析方法、图论方法、模糊数学方法、神经网络方法等建模常用的方法，并在附录中介绍建模竞赛论文写作的方法和范例。第2-9章每一章先结合实例讲解建模方法的理论，之后结合软件介绍模型的求解方法，避免在解决问题中做繁琐

本书系统地介绍了数学建模的基本方法，并通过各类典型实例展示了数学建模解决实际问题的基本过程。主要内容包括：数学建模概述、初等模型、微分方程模型、概率与随机模型、统计分析模型、数学规划模型、图与网络模型、其他模型。方法讲解按照由浅入深、由简到繁的原则，适合大学本科低年级在数学建模课程中使用；问题介绍按照由熟悉到陌生、由基

本书是代数模型论的一本人门书。第一章介绍代数模型论所需要的模型论的基础知识。第二章至第九章分别介绍代数模型论各主要领域在近二三十年来国外的主要研究成果和研究方法，其中包括代数闭域、实闭域、线性序和偏序结构的模型论等。最后一章介绍可计算模型论。本书起点较低，具备数学系二、三年级知识的读者即可阅读，并具自完备性，以方便阅读