证明与反驳——数学发现的逻辑。程序员需要逻辑思维能力

相 关 资 源

• 证明与反驳——数学发现的逻辑。程序员需要逻辑思维能力免费下载

  资源简介：证明与反驳——数学发现的逻辑。程序员需要逻辑思维能力，该书是经典之作！

  标签： 逻辑 发现 程序员

  上传时间： 2014-01-24

  上传用户：wpt

• 本程序实现对多进制PSK数字调制系统的仿真。程序运行需要几分钟免费下载

  资源简介：本程序实现对多进制PSK数字调制系统的仿真。程序运行需要几分钟，请耐心等待

  标签： PSK 程序 数字调制 仿真

  上传时间： 2013-12-10

  上传用户：c12228

• 著名的密码库Crypto++的文档 C++语言的杰作。程序员必备。免费下载

  资源简介：著名的密码库Crypto++的文档 C++语言的杰作。程序员必备。

  标签： Crypto 密码 文档 语言

  上传时间： 2014-07-29

  上传用户：lingzhichao

• 科学发现的逻辑》是波珀的代表作免费下载

  资源简介：科学发现的逻辑》是波珀的代表作，也是现代科学哲学颇享盛名的主要代表作之一。本书主要讨论知识理论的两个基本问题：划界和归纳问题。作者论证科学与非科学的划界标准不是可证实性而是可证伪性，科学的方法不是归纳法而是演绎检验法。书中提出的有关科学的性...

  标签： 发现 逻辑

  上传时间： 2014-01-09

  上传用户：498732662

• JSP入门与提高.大量丰富的实例。免费下载

  资源简介：JSP入门与提高.大量丰富的实例。

  标签： JSP

  上传时间： 2014-01-10

  上传用户：chenlong

• 这是本人在网上收集到的有关matlab与vc相互通讯的论文。免费下载

  资源简介：这是本人在网上收集到的有关matlab与vc相互通讯的论文。

  标签： matlab 互通 论文

  上传时间： 2014-11-24

  上传用户：1427796291

• 1. 编写一个C程序作为Linux内核的shell命令行解释程序。Shell程序应该使用与Bource shell相同的方式运行程序。 2. 增加功能以使用户可以使用"&"操作符作为命令的结束符。一个免费下载

  资源简介：1. 编写一个C程序作为Linux内核的shell命令行解释程序。Shell程序应该使用与Bource shell相同的方式运行程序。 2. 增加功能以使用户可以使用"&"操作符作为命令的结束符。一个以"&"结尾的命令应该与shell并发执行。 3. 增加功能以使用户可以使用"<"和">"作为文...

  标签： shell Bource Linux Shell

  上传时间： 2014-01-06

  上传用户：youmo81

• 用PHILIPS138 来实现MCU 与 PC 实现usb2.0 的通讯。程序已经通过调试。能正常工作。免费下载

  资源简介：用PHILIPS138 来实现MCU 与 PC 实现usb2.0 的通讯。程序已经通过调试。能正常工作。

  标签： PHILIPS 138 MCU 2.0

  上传时间： 2014-01-09

  上传用户：shawvi

• 这是一个信息论与纠错码课程的幻灯片。通俗易懂。非常利于人自学。免费下载

  资源简介：这是一个信息论与纠错码课程的幻灯片。通俗易懂。非常利于人自学。

  标签： 信息论 纠错码 幻灯

  上传时间： 2015-10-06

  上传用户：xuanchangri

• 在Windows98下利用VB的串行通讯控件可实现PC机与多单片机之间的通讯。采用定时器控制大大加快了自动化进程免费下载

  资源简介：在Windows98下利用VB的串行通讯控件可实现PC机与多单片机之间的通讯。采用定时器控制大大加快了自动化进程，克服了往多“握手”协议造成的通讯速度缓慢的缺点。本文以PS1016单片机为例，详细介绍了PC机与单片机之间的串行通讯、数据的发送和接收。

  标签： Windows 98 PC机 串行通讯

  上传时间： 2015-10-07

  上传用户：lanwei

• 在Windows98下利用VB的串行通讯控件可实现PC机与多单片机之间的通讯。采用定时器控制大大加快了自动化进程免费下载

  资源简介：在Windows98下利用VB的串行通讯控件可实现PC机与多单片机之间的通讯。采用定时器控制大大加快了自动化进程，克服了往多“握手”协议造成的通讯速度缓慢的缺点。

  标签： Windows 98 PC机 串行通讯

  上传时间： 2013-11-29

  上传用户：来茴

• 日期与累积日之间的换算。 例如免费下载

  资源简介：日期与累积日之间的换算。 例如，1月1日是第一天，非闰年的12月31日是365天，而闰年的话12月31日是366天。

  标签：

  上传时间： 2013-12-18

  上传用户：wang5829

• 实现了比较高级的图片格式转换和与设备相关与设备无关图片的处理。封装成一个类免费下载

  资源简介：实现了比较高级的图片格式转换和与设备相关与设备无关图片的处理。封装成一个类，最后还实现一个功能比较完整的画图软件。供相关人员阅读。

  标签： 设备 比较 格式转换 封装

  上传时间： 2013-11-25

  上传用户：hzy5825468

• 压缩包内有使用C语言编写的各种数学算法的源代码。免费下载

  资源简介：压缩包内有使用C语言编写的各种数学算法的源代码。

  标签： C语言 编写 算法 源代码

  上传时间： 2016-01-13

  上传用户：3到15

• 介绍计算多项式与连分式值的算法。多项式的系数和自变量既可以是实数免费下载

  资源简介：介绍计算多项式与连分式值的算法。多项式的系数和自变量既可以是实数，也可以是复数，每种算法都用C++语言以函数的形式实现。

  标签： 多项式 计算 分 变量

  上传时间： 2016-01-22

  上传用户：gououo

• 2005年微软移动与嵌入式开发者大会的文稿。免费下载

  资源简介：2005年微软移动与嵌入式开发者大会的文稿。

  标签： 2005 微软 嵌入式 开发者

  上传时间： 2013-12-18

  上传用户：yan2267246

• java与matlab联合编程的例题。想要做类似项目的工程人员可以参考哦。免费下载

  资源简介：java与matlab联合编程的例题。想要做类似项目的工程人员可以参考哦。

  标签： matlab java 编程 工程

  上传时间： 2014-02-01

  上传用户：kiklkook

• 包括ICD演示程序、ICDDEMO教学实验板原理图、使用说明书、MPLAB使用向导等多项与ICD使用相关的内容。免费下载

  资源简介：包括ICD演示程序、ICDDEMO教学实验板原理图、使用说明书、MPLAB使用向导等多项与ICD使用相关的内容。

  标签： ICD ICDDEMO MPLAB 程序

  上传时间： 2013-12-18

  上传用户：李彦东

• 提供与串口通讯的连接。封装了一写连接的类！免费下载

  资源简介：提供与串口通讯的连接。封装了一写连接的类！

  标签： 连接 串口通讯 封装

  上传时间： 2014-01-21

  上传用户：edisonfather

• 该书讲的是用ARM芯片进行嵌入式开发的书籍。其中介绍了很多与实际开发相关的例子。免费下载

  资源简介：该书讲的是用ARM芯片进行嵌入式开发的书籍。其中介绍了很多与实际开发相关的例子。

  标签： ARM 芯片 嵌入式开发 书籍

  上传时间： 2014-12-06

  上传用户：cuibaigao

• JAVA实现的一个能够做多个数学功能的client-server程序。免费下载

  资源简介：JAVA实现的一个能够做多个数学功能的client-server程序。

  标签： client-server JAVA 程序

  上传时间： 2013-12-28

  上传用户：PresidentHuang

• 华东理工大学李英所著《Visual C++编程与项目开发》的源代码。 本书简明扼要免费下载

  资源简介：华东理工大学李英所著《Visual C++编程与项目开发》的源代码。 本书简明扼要，例子丰富，是本人推荐的一本好书。

  标签： Visual 理工 大学 源代码

  上传时间： 2013-12-25

  上传用户：playboys0

• 滤波器输入和输出的相干函数与互不相干函数的比较。免费下载

  资源简介：滤波器输入和输出的相干函数与互不相干函数的比较。

  标签： 函数 滤波器 比较 输入

  上传时间： 2017-02-26

  上传用户：417313137

• 用户界面（或接口）是指：人与机器（或程序）之间交互作用的工具和方法。如键盘、 鼠标、跟踪球、话筒都可成为与计算机交换信息的接口。 图形用户界面（Graphical User Interface免费下载

  资源简介：用户界面（或接口）是指：人与机器（或程序）之间交互作用的工具和方法。如键盘、 鼠标、跟踪球、话筒都可成为与计算机交换信息的接口。 图形用户界面（Graphical User Interfaces ，GUI）则是由窗口、光标、按键、菜单、文 字说明等对象（Objects）构...

  标签： Graphical Interface User 接口

  上传时间： 2017-04-26

  上传用户：15071087253

• C实现模拟与或非门的逻辑电路免费下载

  资源简介：C实现模拟与或非门的逻辑电路，可以多元件输入，支持元件延时，可以绘制输出波形

  标签： 模拟 或非门 逻辑电路

  上传时间： 2017-05-12

  上传用户：qwe1234

• 金融与计算机结合应用的教程。金融电子化的教程免费下载

  资源简介：金融与计算机结合应用的教程。金融电子化的教程

  标签： 金融 教程 计算机 电子

  上传时间： 2013-12-26

  上传用户：ZJX5201314

• Visual C++ 实践与提高--数据库篇的源代码。很好的东西。欢迎下载。免费下载

  资源简介：Visual C++ 实践与提高--数据库篇的源代码。很好的东西。欢迎下载。

  标签： Visual 实践 数据库

  上传时间： 2014-01-01

  上传用户：ukuk

• 。本指南主要考虑的是代码（格式）的正确性、清晰性与通用性。本指南的 目的在于帮助写出更可能正确、易于理解、更具有共享性与更利于维护的代码。免费下载

  资源简介：。本指南主要考虑的是代码（格式）的正确性、清晰性与通用性。本指南的 目的在于帮助写出更可能正确、易于理解、更具有共享性与更利于维护的代码。

  标签： 代码 正

  上传时间： 2017-07-24

  上传用户：youth25

• 该程序用来实现发输电系统可靠性指标的计算。程序实现中定义的类的功能主要有计算负荷频率指标、形成停用表、并联卷积计算、发电机与负荷并联卷积、串联卷积、计算并输出可靠性指标的结果等。免费下载

  资源简介：该程序用来实现发输电系统可靠性指标的计算。程序实现中定义的类的功能主要有计算负荷频率指标、形成停用表、并联卷积计算、发电机与负荷并联卷积、串联卷积、计算并输出可靠性指标的结果等。

  标签： 计算 卷积 指标 程序

  上传时间： 2017-09-11

  上传用户：CHINA526

• 基于单片机AUC848与DSP　5410的HPI通讯程序免费下载

  资源简介：基于单片机AUC848与DSP　5410的HPI通讯程序，并利用单片机的串口将其传送到上位机，实现DSP的数据采集功能。

  标签： 5410 AUC 848 DSP

  上传时间： 2014-11-08

  上传用户：wang0123456789