本课程为本专业(独立本科段)的一门专业基础课。课程内容为：命题逻辑和一阶谓词逻辑的基本概念和基本演算；集合的概念和运算、二元关系和函数；代数运算和代数系统的基本性质、半群和群、队和域、格和布尔代数；图

相 关 资 源

• 可编程逻辑器件的开发与应用实验教学大纲 本课程是高等院校电气、信息、通信类专业的一门技术基础课。通过本课程的学习免费下载

  资源简介：可编程逻辑器件的开发与应用实验教学大纲 本课程是高等院校电气、信息、通信类专业的一门技术基础课。通过本课程的学习，使学生获得数字系统设计和可编程逻辑器件方面的基本概念、基本知识和基本技能，培养他们对数字系统的分析与设计的能力，为后续课程的学...

  标签： 可编程逻辑器件 实验 教学大纲 技术基础

  上传时间： 2016-02-04

  上传用户：希酱大魔王

• 本课程为本专业(独立本科段)的一门专业基础课。课程内容为：命题逻辑和一阶谓词逻辑的基本概念和基本演算；集合的概念和运算、二元关系和函数；代数运算和代数系统的基本性质、半群和群、队和域、格和布尔代数；图免费下载

  资源简介：本课程为本专业(独立本科段)的一门专业基础课。课程内容为：命题逻辑和一阶谓词逻辑的基本概念和基本演算；集合的概念和运算、二元关系和函数；代数运算和代数系统的基本性质、半群和群、队和域、格和布尔代数；图的基本概念、树、欧拉图和哈密顿图、平面图、...

  标签： 逻辑 运算 独立 基本概念

  上传时间： 2017-05-21

  上传用户：lhw888

• 介绍了各种数字图像处理的算法分析及编程实现技术。全书由12章和一个附录组成。主要内容包括：位图基础、图像的显示、图像的几何变换、图像灰度变换、图像的平滑处理、图像锐化处理及边缘检测、图像分割及测量、图免费下载

  资源简介：介绍了各种数字图像处理的算法分析及编程实现技术。全书由12章和一个附录组成。主要内容包括：位图基础、图像的显示、图像的几何变换、图像灰度变换、图像的平滑处理、图像锐化处理及边缘检测、图像分割及测量、图像的形态学处理、图像的变换域处理及应用、图...

  标签： 图像 数字图像处理 实现技术 位图

  上传时间： 2014-12-08

  上传用户：comua

• 编译原理是计算机类专业特别是计算机软件专业的一门重要专业课。设置该课程的目的在于系统地向学生讲述编译系统的结构、工作流程及编译程序各组成部分的设计原理和实现技术免费下载

  资源简介：编译原理是计算机类专业特别是计算机软件专业的一门重要专业课。设置该课程的目的在于系统地向学生讲述编译系统的结构、工作流程及编译程序各组成部分的设计原理和实现技术，使学生通过学习既掌握编译理论和方法方面的基本知识，也具有设计、实现、分析和维护...

  标签： 计算机 编译原理 工作流程

  上传时间： 2016-03-01

  上传用户：xyipie

• 本书介绍中文Windows 2000 Professional操作系统的使用方法和技巧。主要内容包括：Windows 2000的基础知识、使用Windows 2000及其应用程序、网络、系统维护及故障免费下载

  资源简介：本书介绍中文Windows 2000 Professional操作系统的使用方法和技巧。主要内容包括：Windows 2000的基础知识、使用Windows 2000及其应用程序、网络、系统维护及故障排除等。本书语言风趣幽默，生动活泼，通俗易懂，寓教于乐，是一本优秀的中文Windows 2000 Prof...

  标签： Windows 2000 Professional 操作系统

  上传时间： 2014-01-07

  上传用户：sjyy1001

• 本书详细介绍了UNIX系统安全的问题、解决方法和策略。其内容包括：帐号安全及相关工具Crack；日志系统的机制和安全性免费下载

  资源简介：本书详细介绍了UNIX系统安全的问题、解决方法和策略。其内容包括：帐号安全及相关工具Crack；日志系统的机制和安全性，日志安全工具Swatch；如何测试系统的弱点，系统弱点的测试工具COPS和Tiger；网络安全的概念；提高网络安全性的防火墙等。本书语言简洁，层...

  标签： Crack UNIX 详细介绍 系统安全

  上传时间： 2015-03-24

  上传用户：yuanyuan123

• 本书详细介绍了UNIX系统安全的问题、解决方法和策略。其内容包括：帐号安全及相关工具Crack；日志系统的机制和安全性免费下载

  资源简介：本书详细介绍了UNIX系统安全的问题、解决方法和策略。其内容包括：帐号安全及相关工具Crack；日志系统的机制和安全性，日志安全工具Swatch；如何测试系统的弱点，系统弱点的测试工具COPS和Tiger；网络安全的概念；提高网络安全性的防火墙等。本书语言简洁，层...

  标签： Crack UNIX 详细介绍 系统安全

  上传时间： 2014-01-11

  上传用户：秦莞尔w

• 具有图形化界面的一个路由模拟程序。路由算法为Dijkstra算法。具有求出图中任意节点间所有最短路径以及最短路径子图的功能。这是一个点对点(S-T)Dijkstra算法的改进。用于求两点间的所有最短路免费下载

  资源简介：具有图形化界面的一个路由模拟程序。路由算法为Dijkstra算法。具有求出图中任意节点间所有最短路径以及最短路径子图的功能。这是一个点对点(S-T)Dijkstra算法的改进。用于求两点间的所有最短路径。

  标签： Dijkstra S-T 最短路径 图形化

  上传时间： 2014-01-25

  上传用户：dengzb84

• 程序调试思想与实践 本书将调试作为一门专业的学科进行研究和分析免费下载

  资源简介：程序调试思想与实践 本书将调试作为一门专业的学科进行研究和分析，提供大量的代码实例和问题描述，对调试的各个方面进行细致而深入的阐述和讨论。全书以bug为中心，围绕调试这一主题进行组织。

  标签： 程序调试 实践 分 调试

  上传时间： 2013-12-21

  上传用户：ynsnjs

• 程序调试思想与实践 本书将调试作为一门专业的学科进行研究和分析免费下载

  资源简介：程序调试思想与实践 本书将调试作为一门专业的学科进行研究和分析，提供大量的代码实例和问题描述，对调试的各个方面进行细致而深入的阐述和讨论。本书以bug 为中心，围绕调试这一主题 进行组织，第2章到第5 章包括bug的诊断与分类以及它们的症状，第6章到...

  标签： 程序调试 实践 分 调试

  上传时间： 2016-04-06

  上传用户：a6697238

• 本文对火灾预警中DSP图像处理技术进行了研究。主要内容包括： 1.克服了常规传感器报警的缺点。采用图像型火灾报警系统利用火灾初期的火焰面积逐渐增大、火焰边缘抖动等特征作为火灾判据免费下载

  资源简介：本文对火灾预警中DSP图像处理技术进行了研究。主要内容包括： 1.克服了常规传感器报警的缺点。采用图像型火灾报警系统利用火灾初期的火焰面积逐渐增大、火焰边缘抖动等特征作为火灾判据，消除了周围环境干扰的影响。 2.采用了具有高速度、高精度运算能力...

  标签： DSP 预警 图像处理技术 传感器

  上传时间： 2014-01-22

  上传用户：moerwang

• 　本书介绍Linux系统安全维护的技术。主要内容包括：一般性安全问题、高级安全问题、安全策略、信任机制以及猝发入侵和最近的入侵方法免费下载

  资源简介：　本书介绍Linux系统安全维护的技术。主要内容包括：一般性安全问题、高级安全问题、安全策略、信任机制以及猝发入侵和最近的入侵方法，如何为入侵做准备，如何进行入侵检测，如何成功、安全、快速地从遇到的入侵中进行恢复等。本书内容丰富、章节安排合理，...

  标签： Linux 安全问题 系统安全 安全策略

  上传时间： 2014-07-03

  上传用户：myworkpost

• 信息论是由通信技术、概率论、随机过程和数理统计等相结合逐步发展而形成的一门新兴科学。其奠基人是美国数学家香农免费下载

  资源简介：信息论是由通信技术、概率论、随机过程和数理统计等相结合逐步发展而形成的一门新兴科学。其奠基人是美国数学家香农，他的《通信的数学原理》奠定了信息论的基础。 这是信息论与编码技术的教学课件。压缩包内含有6个ppt文件，每个ppt自成一章:1绪论、2信源及...

  标签： 信息论 通信技术 概率论 数理统计

  上传时间： 2017-06-13

  上传用户：1051290259

• 基于LabVIEW的汽车线束检测系统的设计与实现.rar免费下载

  资源简介：国内外目前的线束检测系统也有了一些应用，但要么功能单一，过于简单，要么价格昂贵，无法广泛应用。因此开发高性能的汽车线束检测系统对我国汽车行业有着重大的意义，可以提高汽车安全性的同时带来更好的经济效益。本文对基于LabVIEW的汽车线束检测系统的设...

  标签： LabVIEW 汽车线束 检测系统

  上传时间： 2013-04-24

  上传用户：天大地大

• 这是一个空间分配与回收的课程设计。。 具体的的步骤大家可以看。 1. 实验原理：在系统初始化话时。主存除了操作系统所占部分外。整个用户区是一个大的 空闲区。可以按作业所需空间大小顺序分配空闲区直到不够免费下载

  资源简介：这是一个空间分配与回收的课程设计。。 具体的的步骤大家可以看。 1. 实验原理：在系统初始化话时。主存除了操作系统所占部分外。整个用户区是一个大的 空闲区。可以按作业所需空间大小顺序分配空闲区直到不够为止。当作业结束时，它的占用分区被回收。这个空...

  标签： 分配 分 回收 初始化

  上传时间： 2015-03-25

  上传用户：busterman

• Windows 程序设计 chm　中文 书本主旨： 本书是地球上最有名、最受推崇、最多人使用的程式设计用书。 　 内容简介： 「到Petzold的书中找找」仍然是解决Windows程免费下载

  资源简介：Windows 程序设计 chm　中文 书本主旨： 本书是地球上最有名、最受推崇、最多人使用的程式设计用书。 　 内容简介： 「到Petzold的书中找找」仍然是解决Windows程式开发各种疑难杂症时的灵丹妙药。在第五版的《Windows程式开发设计指南》中，作者身...

  标签： Windows Petzold chm 程序设计

  上传时间： 2014-12-06

  上传用户：cjl42111

• 《C++ GUI QT 3编程》 ISBN/ISSN：7-81077-731-9 北京航空航天大学出版社 2006 本书详细讲述了用Qt进行图形交互界面编程的各个部分。主要内容包括：入门、免费下载

  资源简介：《C++ GUI QT 3编程》 ISBN/ISSN：7-81077-731-9 北京航空航天大学出版社 2006 本书详细讲述了用Qt进行图形交互界面编程的各个部分。主要内容包括：入门、创建对话框、布局管理、事件处理、二维和三维图像等。 (加)JASMIN BLANCHETTE，(英)MARK SUMME...

  标签： 81077 2006 ISBN ISSN

  上传时间： 2016-10-21

  上传用户：songnanhua

• 本书是“TCP/IP详解系列”的延续。主要内容包括：TCP事务协议免费下载

  资源简介：本书是“TCP/IP详解系列”的延续。主要内容包括：TCP事务协议，即T/TCP，这是对TCP的扩展，使客户-服务器事务更快、更高效和更可靠；TCP/IP应用，主要是HTTP和NNTP；UNIX域协议，这些协议提供了进程之间通信的一种手段。当客户与服务器进程在同一台主机上时，...

  标签： TCP IP 协议

  上传时间： 2015-03-24

  上传用户：kytqcool

• 柔性机械臂的神经网络控制策略。课程报告免费下载

  资源简介：柔性机械臂的神经网络控制策略。课程报告，有详细说明。

  标签： 机械臂 控制策略 报告 神经网络

  上传时间： 2013-12-12

  上传用户：gxmm

• S3c2410的AD模块测试代码。 文件格式为ADS开发平台格式。免费下载

  资源简介：S3c2410的AD模块测试代码。 文件格式为ADS开发平台格式。

  标签： S3c2410 ADS AD模块 测试代码

  上传时间： 2014-02-12

  上传用户：熊少锋

• 本文档详细介绍了典型D/A转换DAC0832芯片 该芯片具有8位并行、中速(建立时间1us)、电流型、低廉(10~20元),并介绍了与微机系统的连接免费下载

  资源简介：本文档详细介绍了典型D/A转换DAC0832芯片 该芯片具有8位并行、中速(建立时间1us)、电流型、低廉(10~20元),并介绍了与微机系统的连接

  标签： 0832 DAC 1us 芯片

  上传时间： 2016-01-20

  上传用户：四只眼

• 这个文本分类工具箱给出了有监督和无监督的文本分类算法清单。 这些算法为实验和合成数据提供了设计分类方法。免费下载

  资源简介：这个文本分类工具箱给出了有监督和无监督的文本分类算法清单。 这些算法为实验和合成数据提供了设计分类方法。

  标签： 文本分类 算法 工具箱 实验

  上传时间： 2014-01-15

  上传用户：问题问题

• 本书讲授面向对象C++程序设计。主要内容包括：C++设计基础、控制结构、基本数据类型、表达式、函数、指针、类和对象、继承与派生等。免费下载

  资源简介：本书讲授面向对象C++程序设计。主要内容包括：C++设计基础、控制结构、基本数据类型、表达式、函数、指针、类和对象、继承与派生等。

  标签： 对象 函数 程序设计 控制

  上传时间： 2016-11-15

  上传用户：epson850

• 分为PDF格式的Keil C编译器的使用说明和Word文本格式的keil C51详解。 包含内容： 第一章 Keil C51开发系统基本知识 第二章 Keil C51软件使用详解 第三章 Ke免费下载

  资源简介：分为PDF格式的Keil C编译器的使用说明和Word文本格式的keil C51详解。 包含内容： 第一章 Keil C51开发系统基本知识 第二章 Keil C51软件使用详解 第三章 Keil C51与标准C 第四章 Keil C51高级编程 第五章 Keil C51库函数参考 第六章 Keil C51例子 第...

  标签： Keil C51 Word keil

  上传时间： 2013-12-25

  上传用户：hongmo

• DSP6713实现的自适应滤波程序。文件包为调试通过的全部工程文件。out文件是下载到DSP目标版的文件。免费下载

  资源简介：DSP6713实现的自适应滤波程序。文件包为调试通过的全部工程文件。out文件是下载到DSP目标版的文件。

  标签： DSP 6713 out 自适应滤波

  上传时间： 2014-01-07

  上传用户：gtf1207

• 数值分析方法库 本书编写了300多个实用而有效的数值算法C语言程序。其内容包括：线性方程组的求解免费下载

  资源简介：数值分析方法库 本书编写了300多个实用而有效的数值算法C语言程序。其内容包括：线性方程组的求解，逆矩阵和行列式计算，多项式和有理函数的内插与外推，函数的积分和估值，特殊函数的数值计算，随机数的产生，非线性方程求解等

  标签： 300 数值分析 C语言程序 方法库

  上传时间： 2016-07-18

  上传用户：sk5201314

• Linux下的多线程技术。 具体内容见文件。免费下载

  资源简介：Linux下的多线程技术。 具体内容见文件。

  标签： Linux 多线程技术

  上传时间： 2016-01-24

  上传用户：diets

• 【下载说明】这里提供的是《》一书的CHm格式电子书下载。【内容简介】Ruby has been readily adopted by programmers in Japan and has had免费下载

  资源简介：【下载说明】这里提供的是《》一书的CHm格式电子书下载。【内容简介】Ruby has been readily adopted by programmers in Japan and has had much documentation written for it in Japanese. As programmers outside of Japan learn about the benefits of Ru...

  标签： programmers has adopted readily

  上传时间： 2014-01-14

  上传用户：kikye

• 对python编程语言做全面而精炼的介绍。可以作为一门入门书籍。免费下载

  资源简介：对python编程语言做全面而精炼的介绍。可以作为一门入门书籍。

  标签： python 编程语言 书籍

  上传时间： 2013-12-17

  上传用户：lanjisu111

• NTP协议的C语言实现程序。程序实现功能：更新本地主机时间免费下载

  资源简介：NTP协议的C语言实现程序。程序实现功能：更新本地主机时间

  标签： NTP 程序 C语言 协议

  上传时间： 2017-05-25

  上传用户：aappkkee