本书是国内介绍数理逻辑基本知识的*读本。著者针对文科学生学习数理逻辑所遇到的困难，尽可能结合传统逻辑来介绍数理逻辑的基础知识，着重介绍逻辑演算部分内容；对其中的自然推理系统做了详细介绍，对公理推理系统仅做一般性介绍；力求以较为通俗的语言来阐述数理逻辑的基本原理和符号表达公式，并编配了练习题，具有较强的针对性和可读性。 本书主要适用于高等院校文科本专科等非数学专业的逻辑教学和文化素质教育，也是自学者的简明读本。

本书是一本关于运筹学的简明教程，主要讲述运筹学的基本内容及思想，包括线性规划、整数线性规划、非线性规划、多目标规划、动态规划、存储论、决策论、对策论以及统筹方法等。 阅读本书全部内容，需要具有初等微积分、线性代数初步及简单的概率论知识。对于那些具有高中毕业水平的读者，也可以看懂本书的大部分章节。本书可作为工程院校及财经院校大专班、函授大学、电视大学、职工夜大、厂长经理企业管理班等的运筹学教材。讲授全书内容需要64学时；讲授本书基本内容（低标准）只需40学时。

本书系统地介绍了数学规划与对策论的基础知识和应用方法，重点阐述了线性规划、整数规划、非线性规划、动态规划和对策论的基本内容。在阐述有关内容时，强调每种方法的思路、技巧和严格的数学论证，同时通过大量例题阐述了理论如何与实践相结合。 本书结构严谨，内容丰富，应用性强，可作为经济管理类专业研究生的教材，也可供大专院校师生和经济管理人员参考、阅读。

本书内容包括线性规划、运输问题、动态规划、图与网络分析和排队论。着重讨论基本原理和方法，强调方法的思路和原理。每章未配有习题，用以巩固该章所学内容。

本书对所谓无限维*化理论的基本内容提供一个系统的处理，全书共8章，头两章概括了阅读本书主要内容所需的预备知识，其中包括基本的泛函分析结果与非光滑分析，随后各章阐述*化理论的基本论题：不等式系统与择一定理，一阶与高阶*性条件，对偶理论，向量*化等，本书一方面以紧凑的形式概括了*化理论的标准内容，同时介绍了较多的新近研究成果，其中包括作者本人的一些结果，这部分内容涉及近年来引起广泛关注的一些研究领域，因而可能为有研究兴趣的读者架设起从基础理论通向研究前沿的桥梁，对于数学系的高年级大学生及有关理工科专业的硕士生，本书略加删节之后可作为教材使用，在当代科学发展进程中，对于*化理论的日益广泛与紧迫的需要，已成为一种引人注目的潮流；有这种需要的科技工作者，将发现本书可提供一些有用的理论工具。

全国高等教育自学考试应试指导丛书·计算机信息管理专业本科。