离散数学中---------一阶谓词演算源代码
上传时间： 2015-12-17
上传用户：古谷仁美
电脑图学（Computer Graphics）是资料结构、演算法与数学的应用，要深入了解的话，是个可以作为一生研究的领域，然而基础的电脑图学是某些从事资讯行业的人所不可少的，这并不专指程式设计人员，也包括了3D绘图与动画设计人员。
上传时间： 2013-12-18
上传用户：古谷仁美
本课程为本专业(独立本科段)的一门专业基础课。课程内容为：命题逻辑和一阶谓词逻辑的基本概念和基本演算；集合的概念和运算、二元关系和函数；代数运算和代数系统的基本性质、半群和群、队和域、格和布尔代数；图的基本概念、树、欧拉图和哈密顿图、平面图、图着色、赋权图、二部图等。 通过本课程的学习，使应考者有抽象思维和逻辑推理能力，掌握计算机科学技术常用的离散数学中的概念、性质和运算。 自学教材：<<离散数学>>(全国考委组编) 左孝凌 主编 经济科学出版社 参考用书 ：<<离散数学>> 左孝凌等编 上海科技出版社 1982
上传时间： 2017-05-21
上传用户：lhw888
matlab数学建模算法全收录 超清书签版
上传时间： 2013-05-15
上传用户：eeworm
数学建模与数学实验（第3版）课件+matlab
上传时间： 2013-05-15
上传用户：eeworm
电工、电信工程师数学手册 (下册)
上传时间： 2013-07-04
上传用户：eeworm
电工、电信工程师数学手册（上册）
上传时间： 2013-04-15
上传用户：eeworm
数学信号处理及其MATLAB实现
上传时间： 2013-07-26
上传用户：eeworm
数学建模与数学实验 doc
上传时间： 2013-05-20
上传用户：eeworm
交流电机数学模型及调速系统
上传时间： 2013-05-21
上传用户：eeworm
