面向计算机科学的数理逻辑,是计算机专业必修课,但目前课程资源较少,故上传自己做的,供大家参考