注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 高级数理逻辑 教案 北京邮电

  2. 逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。 数理逻辑的内容： 1、 命题逻辑系统 2、 一阶谓词逻辑系统 命题演算是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法。命题是指具有具体意义的又能判断它是真还是假的句子。

  3. 所属分类：专业指导

    • 发布日期：2009-11-23
    • 文件大小：783360
    • 提供者：haha0832

  1. 数字逻辑与数字系统设计习题答案王永军 李景华

  2. 第一章 数字逻辑基础 作业及参考答案 （2008.9.25） P43 1-11 已知逻辑函数 ，试用真值表、卡诺图和逻辑图表示该函数。 解：（1）真值表表示如下： 输 入 输出 A B C F 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 1 1 0 （2）卡诺图表示如下： 00 01 11 10 0 0 1 0 1 1 1 1 1 1 由卡诺图可得 ＝ （3）逻辑图表示如下： 1-12 用与非门和或非门实现下列函数，并画出

  3. 所属分类：C

    • 发布日期：2010-03-29
    • 文件大小：5242880
    • 提供者：cheerup8

  1. 2005-2009软件设计师历年真题

  2. 软件设计师考试真题 附带2010年的考试大纲 考试科目1：计算机与软件工程知识 　1．计算机科学基础 　　1.1 数制及其转换 　　　　　• 二进制、十进制和十六进制等常用制数制及其相互转换 　　1.2 数据的表示 　　　　　• 数的表示（原码、反码、补码、移码表示，整数和实数的机内表示，精度和溢出） 　　　　　• 非数值表示（字符和汉字表示、声音表示、图像表示） 　　　　　• 校验方法和校验码（奇偶校验码、海明校验码、循环冗余校验码） 　　1.3 算术运算和逻辑运算 　　　　　• 逻辑代数的

  3. 所属分类：其它

    • 发布日期：2010-05-18
    • 文件大小：8388608
    • 提供者：mathria

  1. 2011国信蓝点模拟题

  2. 本试卷包含两种题型：“代码填空”与“程序设计”。 填空题要求参赛选手在弄清给定代码工作原理的基础上填写缺失的部分，使得程序逻辑正确、完整。所填写的代码不多于一条语句（即不能出现分号）。 编程题要求选手设计的程序对于给定的输入能给出正确的输出结果。注意：在评卷时使用的输入数据与试卷中给出的实例数据可能是不同的。选手的程序必须是通用的，不能只对试卷中给定的数据有效

  3. 所属分类：Java

    • 发布日期：2011-04-27
    • 文件大小：53248
    • 提供者：wgzhl2008

  1. SQLServer2008技术内幕T-SQL查询包含源代码及附录A

  2. 《Microsoft SQL Server 2008技术内幕:T-SQL查询》全面深入地介绍了Microsoft SQL Server 2008中高级T-SQL查询、性能优化等方面的内容，以及SQL Server 2008新增加的一些特性。主要内容包括SQL的基础理论、查询优化、查询算法及复杂度，以及在使用子查询、表表达式、排名函数、数据聚合和透视转换、TOP和APPLY、数据修改、分区表、特殊数据结构等实际应用时会遇到的各种高级查询问题和解决方案。 作为一本讲述T-SQL高级查询的专业图书，

  3. 所属分类：数据库

    • 发布日期：2011-10-27
    • 文件大小：4194304
    • 提供者：oraclecd

  1. Microsoft+SQL+Server+2008技术内幕：T-SQL查询含源代码及附录

  2. 《Microsoft SQL Server 2008技术内幕:T-SQL查询》全面深入地介绍了Microsoft SQL Server 2008中高级T-SQL查询、性能优化等方面的内容，以及SQL Server 2008新增加的一些特性。主要内容包括SQL的基础理论、查询优化、查询算法及复杂度，以及在使用子查询、表表达式、排名函数、数据聚合和透视转换、TOP和APPLY、数据修改、分区表、特殊数据结构等实际应用时会遇到的各种高级查询问题和解决方案。 作为一本讲述T-SQL高级查询的专业图书，

  3. 所属分类：SQLServer

    • 发布日期：2012-02-16
    • 文件大小：4194304
    • 提供者：xiongliuzhao

  1. 第二届国信蓝点杯java跟C试题与答案

  2. 注意： 本套模拟题主要模拟命题形式与考核范围。真实竞赛题的数量、难度可能与此套模拟题有差异。 说明： 本试卷包含两种题型：“代码填空”与“程序设计”。 填空题要求参赛选手在弄清给定代码工作原理的基础上填写缺失的部分，使得程序逻辑正确、完整。所填写的代码不多于一条语句（即不能出现分号）。 编程题要求选手设计的程序对于给定的输入能给出正确的输出结果。注意：在评卷时使用的输入数据与试卷中给出的实例数据可能是不同的。选手的程序必须是通用的，不能只对试卷中给定的数据有效。

  3. 所属分类：其它

    • 发布日期：2012-03-15
    • 文件大小：82944
    • 提供者：gweis

  1. 计算机蓝桥杯相关资料

  2. 本套模拟题主要模拟命题形式与考核范围。真实竞赛题的数量、难度可能与此套模拟题有差异。 说明： 本试卷包含两种题型：“代码填空”与“程序设计”。 填空题要求参赛选手在弄清给定代码工作原理的基础上填写缺失的部分，使得程序逻辑正确、完整。所填写的代码不多于一条语句（即不能出现分号）。 编程题要求选手设计的程序对于给定的输入能给出正确的输出结果。注意：在评卷时使用的输入数据与试卷中给出的实例数据可能是不同的。选手的程序必须是通用的，不能只对试卷中给定的数据有效。

  3. 所属分类：软考等考

    • 发布日期：2012-04-26
    • 文件大小：131072
    • 提供者：youxinghua

  1. Microsoft SQL Server 2008技术内幕：T-SQL查询(第二卷)

  2. 注：分二卷，点击上传者查看第二卷地址。亲，本人纯手工添加了书签哦！！方便阅读 《Microsoft SQL Server 2008技术内幕：T-SQL查询》全面深入地介绍了Microsoft SQL Server 2008中高级T-SQL查询、性能优化等方面的内容，以及SQL Server 2008新增加的一些特性。主要内容包括SQL的基础理论、查询优化、查询算法及复杂度，以及在使用子查询、表表达式、排名函数、数据聚合和透视转换、TOP和APPLY、数据修改、分区表、特殊数据结构等实际应用时会

  3. 所属分类：SQLServer

    • 发布日期：2012-10-22
    • 文件大小：8388608
    • 提供者：lioubiya52

  1. Microsoft+SQL+Server+2008技术内幕：T-SQL查询_源代码及附录 中文版

  2. 标准中文版的pdf和实例数据脚本，分享给大家 《Microsoft SQL Server 2008技术内幕:T-SQL查询》全面深入地介绍了Microsoft SQL Server 2008中高级T-SQL查询、性能优化等方面的内容，以及SQL Server 2008新增加的一些特性。主要内容包括SQL的基础理论、查询优化、查询算法及复杂度，以及在使用子查询、表表达式、排名函数、数据聚合和透视转换、TOP和APPLY、数据修改、分区表、特殊数据结构等实际应用时会遇到的各种高级查询问题和解决方案

  3. 所属分类：SQLServer

    • 发布日期：2013-02-21
    • 文件大小：60817408
    • 提供者：jilezhenren

  1. linux期中考题

  2. linux期中考题 1 (50 分) DHCP 服务 欲建立 192.168.233.0/24 的 DHCP 服务器，其中动态分配的地址范围是 192.168.233.80 ~ 192.168.233.180 1) 安装与 dhcp 相关的两个软件包。 软件包在 172.19.52.246 的 /var/lab 目录下。 2) 建立配置文件 /etc/dhcpd.conf。 3) 启动 named 服务。 4) 在 Windows 端自动获取 ip 参数。 题 2 (50 分) MySQL 服

  3. 所属分类：Linux

    • 发布日期：2013-04-16
    • 文件大小：2048
    • 提供者：u010323659

  1. 离散数学CH02_命题逻辑(1).

  2. 数理逻辑（Mathematical Logics）就是用数学化（符号化）的手段，研究有效的推理方法。所谓数学方法主要是指引进一套符号体系的方法。因此数理逻辑又称为符号逻辑。数理逻辑在逻辑设计、人工智能、语言理论、程序正确性证明等方面都有重要应用

  3. 所属分类：专业指导

    • 发布日期：2013-04-24
    • 文件大小：5242880
    • 提供者：u010443141

  1. 电子班级2.0.2

  2. 文件：为激发学生学习数学的兴趣，促进学生运用数学知识解决实际问题及综合实践活动的能力，推进区“小数学家”培养工作，根据《温州市第二届初中八年级学生“生活中的数学知识”大赛活动通知》（温教研初函〔2011〕224号）精神，经研究，决定于2011年12月举办平阳县八年级学生“生活中的数学知识”比赛。 DODODOX电子班级具有文件分享、班内讨论等多项功能，能有效实现教师间交流互动。并且为配合市教研室即将举行的“八年级生活中的数学”知识竞赛，八年级各数学教师建立自己电子班级，培训学生加入本班级的电子

  3. 所属分类：专业指导

    • 发布日期：2013-10-15
    • 文件大小：12582912
    • 提供者：u012455753

  1. 职称模拟考试软件（Excel）

  2. EasyKao是一款职称模拟考试软件，该软件收集了大量专业题库，专为需要进行职称考试的人群提供考前辅导工作，软件具有题库练习、智能评分、自动计时、错题复习、随机模拟等功能，采用各行业常见的考试题目进行学习、预习，复习，有效的帮助用户提高考试通过率，各种答案解析让您对题目了解得更加深刻，软件由职称计算机考试专家命题，紧扣考试大纲，精选于题库，全真模拟考试环境，为您打造最佳的职称考试辅助平台，需要的朋友赶快下载试试吧！

  3. 所属分类：电子政务

    • 发布日期：2017-12-13
    • 文件大小：57671680
    • 提供者：hsoflag

  1. 语音识别的MATLAB实现

  2. 语音识别的MATLAB实现 声控小车结题报告 小组成员：关世勇 吴庆林 一、 项目要求： 声控小车是科大华为科技制作竞赛命题组的项目，其要求是编写一个语言识别程序并适当改装一个小型机动车，使之在一个预先不知道具体形状的跑道上完全由声控来完成行驶比赛。跑道上可以有坡面，坑， 障碍等多种不利条件，小车既要具有较快的速度，也要同时具有较强的灵活性，能够克服上述条件。 二、 项目分析： 由于小车只要求完成跑道上的声控行驶，所以我们可以使用简单的单音命令来操作，如“前”、“后”、“左”、“右”等。 由于

  3. 所属分类：其它

    • 发布日期：2009-03-03
    • 文件大小：567296
    • 提供者：u012130076

  1. 模拟退火算法工具箱

  2. 模拟退火算法（Simulate Anneal，SA）是一种通用概率演算法，用来在一个大的搜寻空间内找寻命题的最优解。模拟退火是由S.Kirkpatrick, C.D.Gelatt和M.P.Vecchi在1983年所发明的。V.Černý在1985年也独立发明此演算法。模拟退火算法是解决TSP问题的有效方法之一。 模拟退火的出发点是基于物理中固体物质的退火过程与一般组合优化问题之间的相似性。模拟退火算法是一种通用的优化算法，其物理退火过程由加温过程、等温过程、冷却过程这三部分组成。

  3. 所属分类：算法与数据结构

    • 发布日期：2019-02-06
    • 文件大小：61440
    • 提供者：lucas__liu

  1. Mathematics for Computer Science 2017.7z

  2. I 数学分析（Proofs） 简介（Introduction） 0.1 参考文献（References） 1 什么是证明？（What is a Proof?） 1.1 命题（Propositions） 1.2 谓词（Predicates） 1.3 公理化方法（The Axiomatic Method） 1.4 我们的公理（Our Axioms） 1.5 证明命题的含义（Proving an Implication） 1.6 证明「有且仅有」（Proving an「If and Only If」

  3. 所属分类：机器学习

    • 发布日期：2019-07-25
    • 文件大小：10485760
    • 提供者：idealtracy

  1. 提高效率，从容应对新趋势下的数据中心管理

  2. 对于一个拥有一定规模数据中心的用户来说，管理永远是一个大"问题".尤其是在技术发展日新月异，应用模式层出不穷的情况下，数据中心管理面临的挑战也在逐渐变化。此时，管理工具是否得心应手就显得尤为重要。寻找到一个功能强大、与时俱进的管理工具，更好地应对"新问题",对数据中心加以有效、全面的管理，是所有数据中心用户的共识。 　　当前，随着新一代数据中心建设高潮到来，虚拟化几乎成为了数据中心不可缺少的一种应用，越来越多的用户开始将数据中心转移到虚拟化环境中。据权威机构最新一项研究表明，90%的企业已在某

  3. 所属分类：其它

    • 发布日期：2020-10-23
    • 文件大小：160768
    • 提供者：weixin_38558623

  1. 命题编码中公理的组合与设计

  2. 摘要：近年来,基于可满足性的规划方法研究逐渐成为智能规划研究领域中的热点。提出3种基于Graphplan的编码方式中公理的改进:动作互斥的部分放松、动作互斥的完全放松方法、添加框架公理。基于SATPLAN2006规划系统分别实现上述3种改进的编码方式,并对国际规划竞赛中选用的标准后勤域与积木世界域的问题样例予以测试,分析不同编码方式的编码规模与求解效率,验证了基于Graphplan编码方式的改进在绝大多数情况下是有效的。最后,实现基于状态的编码方式,并对上述两个域进行测试,比较约简动作与约简状态

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：619520
    • 提供者：weixin_38689824

  1. 现场总线冗余技术的DCS控制系统设计

  2. DCS在控制上的特点是依靠各种控制、运算模块的灵活组态，可实现多样化的控制策略以满足不同情况下的需要，使得在单元组合仪表实现起来相当繁琐与复杂的命题变得简单。随着企业提出的高柔性、高效益的要求，以经典控制理论为基础的控制方案已经不能适应，以多变量预测控制为代表的先进控制策略的提出和成功应用之后，先进过程控制受到了过程工业界的普遍关注。需要强调的是，广泛应用各种先进控制与优化技术是挖掘并提升DCS综合性能有效、直接、也是价值的发展方向。　　在实际过程控制系统中，基于PID控制技术的系统占80%以上

  3. 所属分类：其它

    • 发布日期：2021-01-20
    • 文件大小：161792
    • 提供者：weixin_38748263
« 12 »