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