第一讲 引言 一、课程内容 数理逻辑：是计算机科学的基础，应熟练掌握将现实生活中的条件化成逻辑公式，并能做适当的推理，这对程序设计等课程是极有用处的。 集合论：数学的基础，对于学习程序设计、数据结构、编译原理...[详情]
