数理逻辑在生活与计算机中的应用