《计算机学报》：形状图理论的定理证明 Automated theorem proving for theory of shape graphs

《计算机学报》：一种用于指针程序安全性证明的指针逻辑

《计算机学报》：基于抽象解释的代码迷惑有效性比较框架

一、课程特点(实用性、专业性、知识性均很强) 本课程是计算机专业中实用性最强的技术课程之一。 本课程也是计算机课程中自学难度最大的之一,尤其是对未入门者。 本课程的学习必须理论知识与实际练习并重。 无理论知识一一无法理解网络设计、系统管理、故障分析、网络互连(不知道为什么要这样做) 无实际练习——无法掌握安装、文件/目录及用户管理的具体方法(不知道怎样做)

第一章 会计信息系统概述 第二章 计算机会计信息系统开发方法和步骤

新乡学院：数学与统计学院信息与计算科学专业《综合设计（数学建模）》课程教学大纲（2015）

新乡学院：数学与统计学院信息与计算科学专业《计算机图形学》课程教学大纲（2015）

新乡学院：数学与统计学院信息与计算科学专业《数学软件与实验》课程教学大纲（2015）

新乡学院：数学与统计学院信息与计算科学专业《数学控制论》课程教学大纲（2015）

新乡学院：数学与统计学院信息与计算科学专业《模糊数学》课程教学大纲（2015）