<p><strong>课程介绍:</strong></p> <p>形式逻辑和离散数学为计算机科学提供了理论基础。 本课程使用逻辑和离散数学来模拟计算科学。 它为逻辑,集合,关系,函数,自动机,形式语言和可计算性理论提供了基础,提供了几乎所有该学科贡献的实用工具的概念,用于数据的自动存储,检索,操作和通信。</p>