摘要
数理逻辑是离散数学的重要组成部分,其理论、思想和方法在计算机科学与技术专业多门核心课程中有着广泛的应用。要提高数理逻辑教学的质量必须将知识传授、能力培养和素质教育融为一体,把握和突出重点、分散难点,适当渗透数学史和数学美的教育,合理运用教学手段等。
Mathematical logic is an important part of discrete mathematics, and its theories, ideas and methods are widely applied in the core courses in computer science and technology specialty.
关键词
离散数学
数理逻辑
能力培养
素质教育
discrete mathematics, mathematical logic, capacity-building, quality education
