离散数学数理逻辑C++或C语言实验报告 第3页