本课程为本专业(独立本科段)的一门专业基础课。课程内容为:命题逻辑和一阶谓词逻辑的基本概念和基本演算;集合的概念和运算、二元关系和函数;代数运算和代数系统的基本性质、半群和群、队和域、格和布尔代数;图的基本概念、树、欧拉图和哈密顿图、平面图、图着色、赋权图、二部图等。 通过本课程的学习,使应考者有抽象思维和逻辑推理能力,掌握计算机科学技术常用的离散数学中的概念、性质和运算。 自学教材:<<离散数学>>(全国考委组编) 左孝凌 主编 经济科学出版社 参考用书 :<<离散数学>> 左孝凌等编 上海科技出版社 1982
上传时间: 2017-05-21
上传用户:lhw888
◆ 兼容2000.2003.系统 ◆ 完全兼容万象2004.16.938.939.940.到950版本 ◆ 清除/恢复BOSS密码.支持过异常数据查询.手机短信屏蔽 ◆ 支持删除及清空万象左下角及右下角的列表框内容 ◆ 支持查找上机、临时、加钱、事件记录 QQ: 1060575250 网站:http://www.shouyin520.cn
上传时间: 2014-01-27
上传用户:wangchong
这是一个演示分布式系统并行计算的GUI程序,通过在log定制事件,即可查看
上传时间: 2013-12-25
上传用户:ardager
企业安防管理系统:随着企业的信息化建设不断深入,如今在很多生活领域(如小区物业、企事业单位等)都进行了安全布防,一旦有事件发生时,就可以进行人工或自动报警(如火警、水警等)。特别是大中型企业都加快了信息网络平台的建设;企业正逐步转向利用网络和计算机集中处理管理、生产、销售、物流、售后服务等重要环节的大量数据。 数字视频、音频技术以其高清晰度、易于存储、回放和共享而备受关注,是企业可视信息管理系统的重要组成部分。本系统是基于企业局域网平台针对企业安防、音、视频数据的管理系统。它是传统视频监控系统在功能和性能上的延伸和拓展。 运行环境 操作系统:Windows ME/2000/XP 开发工具:Delphi 7.0 数据库:SQL Server 2000 硬件配置:CPU:Pentium 200MHz 以上 内存:32MBRAM以上 硬盘:100MB以上磁盘空间 显示分辨率:最低800×600像素 建议1024×768像素 颜色:256色
上传时间: 2017-06-18
上传用户:龙飞艇
JavaScript是由Netscape公司开发并随Navigator导航者一起发布的、介于Java与HTML之间、基于对象事件驱动的编程语言,正日益受到全球的关注。因它的开发环境简单,不需要Java编译器,而是直接运行在Web浏览器中,而因倍受Web设计者的所爱。为了帮助我国广大计算机用户尽快了解和掌握这些新技术,本着先进的技术,要大家分享的原则,电脑网络学校特组织JavaScript技术讲座。其各讲内容为: 第一讲 JavaScript语言概况 第二讲 JavaScript基本数据结构 第三讲 JavaScript程序构成 第四讲 基于对象的JavaScript语言 第五讲 创建新对象 第六讲 使用内部对象系统 第七讲 窗口及输入输出 第八讲 WEB页面信息交互 第九讲 实现更复杂交互
标签: JavaScript Navigator Netscape Java
上传时间: 2017-06-20
上传用户:baitouyu
设计一个十字路口的交通灯控制系统,用实验平台上的LED发光二极管显示车辆通过的方向(东西和南北各一组),用数码管显示该方向的剩余时间。要求:工作顺序为东西方向红灯亮45秒,前40秒南北方向绿灯亮,后5秒黄灯亮。然后南北方向红灯亮45秒,前40秒东西方向绿灯亮,后5秒黄灯亮。依次重复。有紧急事件时允许将某方向一直开绿灯或者开红灯,另外允许特定情况两方向均为红灯,车辆禁行,比如十字路口恶性交通事故时,东西,南北两个方向均有两位数码管适时显示该方向亮灯时间。
上传时间: 2014-10-27
上传用户:tzl1975
有许多应用程序创建的线程花费了大量时间在睡眠状态来等待事件的发生。还有一些线程进入睡眠状态后定期被唤醒以轮询工作方式来改变或者更新状态信息。线程池可以让你更有效地使用线程,它为你的应用程序提供一个由系统管理的工作者线程池。至少会有一个线程来监听放到线程池的所有等待操作,当等待操作完成后,线程池中将会有一个工作者线程来执行相应的回调函数。
上传时间: 2017-06-26
上传用户:nairui21
帮别人做的一个教师工作量管理系统,事件比较仓促,实现的功能有限
标签: 管理系统
上传时间: 2014-01-09
上传用户:diets
Ajax实现的WEB下载,由于OA系统是基于WEB方式的,如果只判断用户是否点击“下载文件”,就来判断用户是否成功下载了文件。这种方式很显然行不通,怎么办呢?我想到的就是用一控件,然后用回调事件来处理数据库方面的问题(下载记录问题) 有兴趣的朋友可在 http://www.interdrp.com/ 下载分销系统 用测试帐号进系统后,点测试程序,再点WEB下载 可以看见效果 https://www.interdrp.com/software/ReYoWebDownLoad.zip(点击下载此控件) API说明 ReYoWebDL.copyright="锐洋软件拥有版权 http://www.interdrp.com/" //必须 ReYoWebDL.url="http://dl.baofeng.com/storm3/Storm2009-0504-1.exe" //下载文件的路径 ReYoWebDL.path ="" //保存文件地址 ReYoWebDL.ReYoStartDownload() //下载动作 ReYoWebDL.ReYoStopDownload() //停止下载 ReYoWebDL.size //下载文件大小 ReYoWebDL.bytes//已下载大小 ReYoWebDL.speed //下载速度 KB/S ReYoWebDL.done //下载是否完成 ReYoWebDL.cancle=true //是否取消下载 ReYoWebDL.urlsource //下载文件名 ReYoWebDL.percent //下载百分比
上传时间: 2017-09-14
上传用户:lingzhichao
学习离散系统例子的仿真模型,希望大家能够从中吸取到有用的知识。
上传时间: 2016-04-29
上传用户:1425564266