本书包含一阶数理逻辑的基本核心内容，具体包括一阶理论简介、一阶理论的若干定理、一阶理论的特殊问题、形式系统的一般理论、模型论、递归函数和图灵机、哥德尔不完全性定理、递归论等。可分别作为计算机科学和数学专业的本科生和研究生教材。也可供相关科技工作者参考。

本书注重算法设计，强化数学思维，将MATLAB程序设计与数学实验、数学建模相互融合，通过大量例题、习题、实验和建模案例来锻炼和提升程序设计能力。全书共22章，分基础篇和应用篇两个部分。基础篇（1章~第10章）介绍了MATLAB基础，包括向量与矩阵、逻辑与关系运算、程序设计基础、散点图与曲线绘制、网格曲线与曲面绘制、符号

本书是从杭州电子科技大学近十年来参加全国大学生数学建模竞赛获得一等奖的论文和参加美国大学生数学建模竞赛与交叉学科建模竞赛获得特等奖的论文中精选出的20篇论文加工整理而成的。下册选自CUMCM2008—B题、CUMCM2011—B题、CUMCM2012—A题、CUMCM2012—B题、CUMCM2013—B题、CUMCM

本书是从杭州电子科技大学近十年来参加全国大学生数学建模竞赛获得一等奖的论文和参加美国大学生数学建模竞赛与交叉学科建模竞赛获得特等奖的论文中精选出的20篇论文加工整理而成的。上册选自CUMCM2007—A题、CUMCM2007—B题、CUMCM2008—A题、CUMCM2008—B题、CUMCM2009—B题、CUMCM

数学建模（第2版）

本书主要介绍逻辑动态系统在应用方面的最新研究进展，特别关注在下列领域的应用研究：有限自动机、图论、运筹学与控制论以及布尔网络等。在有限自动机领域，本书讨论了自动机的动态建模问题、可达性问题及可控性问题。在图论领域，本书重点介绍了利用逻辑系统的方法去研究图的结构分析问题，以及图的结构分解在运筹学中的应用，例如多轨道任务分

本书主要介绍常用数学建模方法及其MATLAB实现与应用,内容包括MATLAB数组运算、MATLAB程序设计、MATLAB绘图与可视化、MATLAB数据管理、MATLAB符号计算、MATLAB数值计算、多项式与插值拟合、常用统计及优化建模方法与MATLAB求解、人工神经网络方法、排队论方法、以层次分析法和模糊综合评价法为

本书针对全国大学生数学建模竞赛每个赛题，按照竞赛要求完成了研究，以竞赛论文的形式体现，包含题目、摘要、关键词、问题重述、问题分析、模型假设、符号说明、模型的建立与求解、灵敏度分析、稳健性分析、进一步研究、模型的评价和推广、参考文献等内容。

《数学建模讲义》内容分为初等模型、概率模型、微分方程模型、离散模型等章节,充分展现了数学的广泛应用。全书后面部分还介绍了数学建模的规范、常用软件，以及数学建模竞赛的情况介绍等，这些都是供读者参考的有价值的资料。第二版修订增加了一些内容，主要考虑教学和竞赛准备，内容不求多全，但求适合，主要着力于建模思想和相关技能，授人以

本书从数学建模的角度介绍了MATLAB的应用,涵盖了绝大部分数学建模问题的MATLAB求解方法。全书共5篇。第一篇是基础篇,主要介绍一些基本概念和知识,包括MATLAB在数学建模中的地位、数学模型的分类及各类需要用到的MATLAB技术,以及MATLAB编程入门；第二篇是技术篇,系统介绍了MATLAB建模的主流技术,包括