离散数学(Discrete Mathematics)
第一部分 数理逻辑（Mathematical Logic)
逻辑：是研究推理科学。公元前四世纪由希腊哲学家亚里斯多德首创。作为一门独立科学，十七世纪，德国莱布尼兹(Leibniz)给逻辑学引进了符号, 又称为数理逻辑(或符号逻辑)。   逻辑可分为：1.  形式逻辑（经过数学方法）   数理逻辑               2.  辩证逻辑                           指导进一套符号体系方法。   辩证逻辑是研究反应客观世界辩证发展过程人类思维形态。
第一部分 数理逻辑（Mathematical Logic)
形式逻辑是研究思维形式结构和规律科学，它撇开详细、个别思维内容，从形式结构方面研究概念、判断和推理及其正确联络规律。数理逻辑是用数学方法研究推理形式结构和推理规律数学学科。它创始人Leibniz，为了实现把推理变为演算想法，把数学引入了形式逻辑。其后，又经多人努力，逐步使得数理逻辑成为一门专门学科。上个世纪30年代以后，数理逻辑进入一个崭新发展阶段，逻辑学不但与数学结合，还与计算机科学等亲密关联。