简介

本课程介绍计算机科学和信息技术理论基础的概念和思想方法,以及数理逻辑、集合论、图论、抽象代数和形式语言与自动机等各部分的基本概念,旨在引导学生理解和掌握离散数学基本概念,采用形式化方法分析问题,并能自觉运用逻辑分析、结构层次分析和同构类比等思想方法解决问题。(北京大学)
已显示全部内容