科学发现的逻辑》是波珀的代表作,也是现代科学哲学颇享盛名的主要代表作之一。本书主要讨论知识理论的两个基本问题:划界和归纳问题。作者论证科学与非科学的划界标准不是可证实性而是可证伪性,科学的方法不是归纳法而是演绎检验法。书中提出的有关科学的性质和方法以及科学知识增长的独创性论点,对科学哲学、认识论、逻辑学、方法论以及科学史、自然科学、医学、设计理论、社会科学均有影响。一些著名科学家都认为他的方法符合科学研究的实际。
上传时间: 2014-01-09
上传用户:498732662
网络流量伪装算法的设计与实现,可作毕业设计!网络安全方向!
上传时间: 2015-06-19
上传用户:daguda
Brian W. Kernighan和Rob Pike合著的最新力作。讨论了程序设计中实际的、又是非常深刻和具有广泛意义的思想、技术和方法,它的翻译出版将填补国内目前这方面书籍的空白。本书值得每个梦想并努力使自己成为优秀程序员的人参考,值得每个计算机专业的学生和计算机工作者阅读,也可作为程序设计高级课程的教材或参考书。
上传时间: 2015-06-22
上传用户:as275944189
[美]Joe Campbell 著 徐国定 廖卫东 张庆 译 吴洪来 赵军 审校 清华大学出版社 第一部分 串行通信基础 第l章 ASCII字符集 第2章 异步通信技术基础 第3章 错误及错误检测 第4章 信息传输 第5章 调制解调器及其控制 第6章 UART:一个概念上的模型 第7章 实际的UART 第8章 baseline灵巧型调制解调器 第9章 智能调制解调器命令 第10章 协议调制解调器 第ll章 传真机 第二部分 用C语言编写异步通信程序 第12章 设计一个基本的串行I/O库 第13章 程序的可移植性 第14章 波特率和数据格式函数 第15章 RS—232输入控制 第16章 流控制和SIO管理 第17章 格式输出 第18章 格式输入 第19章 中断I/O导论 第20章 中断子处理程序 第2l章 灵巧型调制解调器程序设计 第22章 XMODEM文件传送 第23章 循环冗余校验CRC计算 第24章 Group3传真图象的编码和解码
上传时间: 2015-07-05
上传用户:asdfasdfd
ORACLE公司自86年推出版本5开始,系统具有分布数据库处理功能.88年推出版本6,ORACLE RDBMS(V6.0)可带事务处理选项(TPO),提高了事务处理的速度.1992年推出了版本7,在ORACLE RDBMS中可带过程数据库选项(procedural database option)和并行服务器选项(parallel server option),称为ORACLE7数据库管理系统,它释放了开放的关系型系统的真正潜力。ORACLE7的协同开发环境提供了新一代集成的软件生命周期开发环境,可用以实现高生产率、大型事务处理及客户/服务器结构的应用系统。协同开发环境具有可移植性,支持多种数据来源、多种图形用户界面及多媒体、多民族语言、CASE等协同应用系统。
上传时间: 2015-08-11
上传用户:xzt
电工程序设计基础教程,初级可控程序设计语言。
上传时间: 2014-01-16
上传用户:zmy123
傅清祥 算法与数据结构 它覆盖了《计算机学科教学计划1993》中开列的关于算法与数据结构主科目的所有知识单元。其主要内容有:算法与数据结构的概念、抽象数据类型(ADT)、基于序列的ADT(如表,栈,队列和串等)。反映层次关系的ADT(如树,堆和各种平衡树等)、关于集合的ADT(如字典,优先队列和共查集等)、算法设计的策略与技巧、排序与选择算法、图的算法、问题的计算复杂性、并行算法。 全书强调“算法”与“数据结构”之间密不可分的联系,因而强调融数据类型与定义在数据类型上的运算于一体的抽象数据类型,为面向对象的程序设计方法打下扎实的基础。 本书以知识单元为基本构件,具有可拆卸性和可重组性,内容丰富,表述详细,适合不同类型的院校按照不同的培养规格组织教学,其中基础部分可作为计算机学科各专业本科生的教材,高级专题部分可作为高年级本科生或研究生的教材。
上传时间: 2014-11-26
上传用户:dyctj
一套VB完整的灯具销售管理系统设计,可做毕业设计参考
上传时间: 2015-10-04
上传用户:wanqunsheng
一篇关于低功耗FPGA的博士论文,主要考虑了设计的可实现性和安全性
上传时间: 2015-10-10
上传用户:zhengzg
这是一个非常简单的遗传算法源代码,代码保证尽可能少,实际上也不必查错。对一特定的应用修正此代码,用户只需改变常数的定义并且定义“评价函数”即可。注意代码 的设计是求最大值,其中的目标函数只能取正值;且函数值和个体的适应值之间没有区别。该系统使用比率选择、精华模型、单点杂交和均匀变异。如果用 Gaussian变异替换均匀变异,可能得到更好的效果。代码没有任何图形,甚至也没有屏幕输出,主要是保证在平台之间的高可移植性。读者可以从ftp.uncc.edu, 目录 coe/evol中的文件prog.c中获得。要求输入的文件应该命名为‘gadata.txt’;系统产生的输出文件为‘galog.txt’。输入的 文件由几行组成:数目对应于变量数。且每一行提供次序——对应于变量的上下界。如第一行为第一个变量提供上下界,第二行为第二个变量提供上下界,等等。
上传时间: 2015-10-16
上传用户:曹云鹏