本书是作者之一梅内尔教授（(Christoph Meinel）在德国特里尔大学任教为计算机科学专业及经济信息学专业第一学期的学生设计的课程。该课程的主要目的是为学生提供专业的数学知识和技能，以便他们可以获得计算机科学及其相关专业所必需的数学基础。

梅内尔（Christoph Meinel）德国特里尔大学教授，本书是为计算机科学专业及经济信息学专业第一学期的学生设计的课程。

第 6版前言 在本书的第 6版中，我们增加了“词汇索引”。同时，该版本还进行了电子书版本的更新。此外，我们对书中存在的错误和不一致的内容进行了进一步的修订。对此，我们对广大热心读者给予的帮助致以诚挚的感谢。 Christoph Meinel Martin Mundhenk 2015年 5月，波茨坦 /耶拿 第 1版前言 本书是作者之一迈内尔教授 (Christoph Meinel)在德国特里尔大学任教时，为计算机科学专业及经济信息学专业第一学期的学生设计的全新课程。该课程的主要目的是为学生提供专业的数学知识和技能，以便他们可以掌握计算机科学及其相关专业所必需的数学基础。在完成本课程后，学生应该具备使用准确严格的数学逻辑方法来有条理地表达自己思维过程所必需的逻辑性，而这种逻辑性是从事计算机科学等信息技术相关工作不可缺少的。与其他数学课程不同的是，在本课程中，读者从开始阶段就会接触到抽象数学的思维逻辑。对于这一点，读者需要谨慎对待，认识到数学的难点有时是从一开始就会出现的。因此，本书的第一部分使用了一种非正式的“叙事”方式来介绍命题逻辑和集合论的相关概念。希望能够帮助读者在开始阶段就形成对精确的数学描述及论证一种形象的理解。该部分也会论述数学定理证明的重要性，并且通过讨论关系和映射等概念进行系统的数学思维的演练。接下来，本书的第二部分将给出计算机科学中会用到的重要数学证明技巧。例如，通过随机理论的一些应用介绍组合学中的完整归纳法、计数法等。最后，本书的第三部分将讨论一些基本的离散结构知识，例如，图论、布尔代数等。本书的最后一章将使用精确的数学思维逻...