离散结构应用于计算机科学、算法分析和设计。谓词逻辑。论证技术综述;归纳法在计算问题中的应用。图论在信息技术中的应用。程序正确性，前置条件，后置条件和不变量。利用递归关系分析递归程序。整数的属性和基本密码学应用。
二CSI2110
离散结构应用于计算机科学、算法分析和设计。谓词逻辑。论证技术综述;归纳法在计算问题中的应用。图论在信息技术中的应用。程序正确性，前置条件，后置条件和不变量。利用递归关系分析递归程序。整数的属性和基本密码学应用。
三 CSI 2120 编程范式 （3学分）
介绍主要的编程范式：面向对象，命令式，逻辑，函数式。相关的编程语言，它们的基本属性和典型应用。命令式、逻辑式和函数式语言编程。编程范式对问题解决和程序设计策略的影响。其他范式的概述，例如基于约束、基于规则和事件驱动的编程。
四CSI 2120 编程范式 （3学分）
介绍主要的编程范式：面向对象，命令式，逻辑，函数式。相关的编程语言，它们的基本属性和典型应用。命令式、逻辑式和函数式语言编程。编程范式对问题解决和程序设计策略的影响。其他范式的概述，例如基于约束、基于规则和事件驱动的编程。
