这是左孝凌版的离散数学课件。第一部分数理逻辑