离散数学额数理逻辑【实用资料】