本课程为本专业(独立本科段)的一门专业基础课。课程内容为：命题逻辑和一阶谓词逻辑的基本概念和基本演算；集合的概念和运算、二元关系和函数；代数运算和代数系统的基本性质、半群和群、队和域、格和布尔代数；图的基本概念、树、欧拉图和哈密顿图、平面图、图着色、赋权图、二部图等。 通过本课程的学习，使应考者有抽象思维和逻辑推理能力，掌握计算机科学技术常用的离散数学中的概念、性质和运算。 自学教材：<<离散数学>>(全国考委组编) 左孝凌 主编 经济科学出版社 参考用书 ：<<离散数学>> 左孝凌等编 上海科技出版社 1982
上传时间： 2017-05-21
上传用户：lhw888
GPS定位中的误差分析与改正,分析详尽,有定量的分析,公式解说
上传时间： 2017-05-25
上传用户：jcljkh
音乐播放器,可播放大部份与微软Windows Media Player兼容的媒体档案格式，当中包括非串流处理的档案类型(mp3,wav,mid,avi,mpg)以及串流处理的档案类型(asf,wma,wmv) 您亦可以使用预先制作好的播放清单 (如: pls,m3u)。如果您想要利用本程序做为串流媒体服务，您可能需要准备一些串流处理媒体的执行文件 (如: asx,wax,wvx)。为你的网页增加个音乐点播DJ.
标签： Windows Player Media 音乐播放器
上传时间： 2013-12-10
上传用户：qq21508895
本文详细地介绍了如何从RS-232信号线上高效率地产生电源 如何实现RS-232 接口与RS-485/RS-422接口的智能转换 同时 也给出了具体的硬件设计及软件设计方法
上传时间： 2013-12-15
上传用户：tianjinfan
利用C语言实现FFT快速傅里叶变换 问题：数的格式？小数如何表示？
上传时间： 2013-12-21
上传用户：aysyzxzm
12864液晶（STC7920控制器）屏上用基本指令与扩充指令分时显示文字、图片、图片与文字混合、任意位置的图片。
上传时间： 2017-05-31
上传用户：独孤求源
RTX51是一个适用于8051 家族的实时多任务操作系统。RTX51使复杂的系统和软件设计 以及有时间限制的工程开发变得简单。RTX51是一个强大的工具，它可以在单个CPU上管理 几个作业（任务）。RTX51有两种不同的版本
上传时间： 2013-12-13
上传用户：jyycc
unix环境下write函数同步和异步读写效率的比较
上传时间： 2017-06-01
上传用户：alan-ee
与数据库和VB相关联的各种实例参考代码文档
上传时间： 2013-12-19
上传用户：huannan88
《对图灵机与计算问题》22页的文章，一牛人关于计算本质的思考和讨论。
上传时间： 2017-06-02
上传用户：003030
