这是天津理工大学计算机科学与工程系的魏雪丽用于讲课的离散数学教案