本书涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。本书既能适用于计算机专业又能满足数学系基础数学专业，为了适

本书主要前三章主要介绍引进集合论的基本公理、基本概念、基本方法以及建立起典型的可数集合的例子，包括自然数集合、整数集合、有理数集合以及彻底有限集合的集合。第四章主要是引进选择公理以及由此建立起来的基数运算律和一些典型组合实例。第五章专门引进实数集合并展开对它的系统分析。本书既能适用于计算机专业又能满足数学系基础数学专业

本书内容包括复数与复变函数，解析函数，复变函数的积分，级数，留数，保形映射等，共分六章。 本书在编写过程中力求做到条理清晰，层次分明，通俗易懂，注重解题方法的训练和能力的培养。为巩固正文内容，在每一章的末尾都配有小结和测验作业，以使读者易于抓住每一章的重点并测试自己对本章基本内容的掌握情况。 本书可供高等工科院校各

本书根据课程教学目标和知识点，以“知识主导、能力驱动”为中心编写。书中以数学建模实际案例为切入点，通过对一个个生动案例进行分析、讨论、建模、求解的一整套过程，帮助学生掌握一大类问题的求解方法，达到“以点扩面”的效果。每个案例后均配备有思考题，让学生能够做到学有所思、学有所获。书中还注重挖掘课程知识点与社会主义核心价值观

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

数学建模与数学软件应用

从力学、物理学、天文学，直到化学、生物学、经济学与工程技术，无不用到数学……但提起数学，不少人仍觉得头痛，难以入门，甚至望而生畏。我以为要克服这个鸿沟还是有可能的……如果知道讨论对象的具体背景，则有可能掌握其实质……若停留在初等数学水平

本书围绕“数学教育教学管理与分析能力培养”这一主题，以数学课程与教育教学为切入点，由浅入深地阐述了数学课程的性质与地位、数学教学与数学学习的特点、数学核心素养的内涵，并系统地论述了数学课堂教学管理的内涵与特点、数学课堂教学管理的策略、数学实验教学的基本要素、有效开展数学实验的教学策略、数学阅读的概念与特点、问题分析与解

本书主要内容包括：童话数学缘起、童话数学研究、童话数学模式、童话数学思想、童话数学评价、童话数学拓展、童话数学团队，共七章。具体包括：“童”姓的由来、“童”姓的优势、研究依据、研究内容、思路方法、创新之处等。

逻辑迷宫