- 博客(12)
- 资源 (3)
- 收藏
- 关注
RSS订阅转载 [Math]数学与其分类
数学依赖于一种特殊的方法去达到它惊人而有力的结果，即从不证自明的公理出发进行演绎推理。它的实质是，若公理为真，则可以保证由它演绎出的结论为真。通过应用这些看起来清晰、正确、完美的逻辑，数学家们得出显然是毋庸置疑、无可辩驳的结论。数学的这套方法今天仍然沿用，任何时候，谁想找一个推理的必然性和准确性的例子，一定会想到数学。 数学是研究数量、结构、变化以及空间模型等概念的一门学科。透过抽象化和
2011-11-29 11:01:45
898
转载 [Data]数据挖掘简介
数据挖掘（英语：Data mining），又译为数据采矿、数据挖掘。它是数据库知识发现（英语：Knowledge-Discovery in Databases，简称：KDD)中的一个步骤。数据挖掘一般是指从大量的数据中自动搜索隐藏于其中的有着特殊关系性（属于Association rule learning）的信息的过程。数据挖掘通常与计算机科学有关，并通过统计、在线分析处理、情报检索、机
2011-11-28 11:19:38
853
原创 [Data]数据挖掘软件的分类
目前市场上发布的数据挖掘软件大致分为三类：通用工具类；综合工具类；面向特定应用工具类。其中：1． 通用工具类占有较大和成熟的一块市场。从定义上说。它们是非面向特定应用的。从本质上说，它们的范围是水平的，主要包括：SAS Enterprice Miner, SPSS Clementine, IBM Intelligent Miner, Oracle Darwin, Angoss Knowledg
2011-11-28 11:13:15
2097
原创 [SiFi]三体中英名词翻译chapter1-3
p0三体 threebodyp1科学边界 Science Fringep3纳米材料 nano materialsp6高能加速器 high-energy acceleratorp7超弦 superstringp8球状闪电 sphere lightningp8宏原子 macro atomp9 偶然 stochastic adj. [数] 随机的；猜测的p20 射手与农场
2011-11-20 00:27:26
2429
原创 [ProblemSolving]iNode遇到问题的一般解决方法
如果看过《你的灯亮着吗》等等一系列教导如何解决问题的书的话，往往解决问题时会纠结于寻找问题的本质。可大多数时候问题的本质是隐藏在表面之下的，从问题本质解决问题虽然能彻底解决同类问题，但遇到小问题或者没有特别意义的问题并不适用。并不是有一个漏洞微软就重编个操作系统，很多时候打打补丁就行了，虽然很大可能造成另一个漏洞。------------------------------说i
2011-11-19 20:48:23
13884
转载 [Reading]黑客：计算机革命的英雄
推荐图书：http://book.douban.com/subject/6860890/"《黑客:计算机革命的英雄》的二十五周年纪念版中文版上市，这本书几乎是每一位黑客必读的爱书，Steven Levy这部经典力作的25周年版从20世纪50年代早期跨越到80年代后期，追述了计算机革命中初期黑客的丰功伟绩，他们都是最聪明和最富有个性的精英。他们勇于承担风险，勇于挑战规则，并把世界推向了一
2011-11-15 12:15:41
693
转载 [Reading]奇点将至：当人类超越生物
推荐读物：奇点临近这是书的链接http://book.douban.com/subject/6855803/电影也快上映了http://movie.douban.com/subject/3011356/Shawn the R0ck 写道 "天才未来学家Ray Kurzweil(同时也是光学字符识别和语音识别领域的先驱)在2005年由Viking出版的The Si
2011-11-15 12:13:39
912
原创 [Software]专业个人知识管理笔记软件Wiz
推荐一款软件，Wiz，比起有道笔记，Evernote等都易用强大。值得保存的网页、随手的灵感笔记、重要文档、照片、便签，散落各处怎么办？Wiz可以帮您：快速条理化保存、方便与人分享、多终端随时随地浏览、永久安全云存储。更能让您做到：不同电脑、平板电脑（iPad等）、智能手机（iPhone、Android）之间云同步，相互之间便利地查看您的个人知识库！Wiz：收藏知识，分享快乐！
2011-11-15 11:38:27
651
转载 [AI]命题逻辑Propositional Logic
在逻辑和数学里，命题演算（或称句子演算）是一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。术语一般来讲，运算是一个形式系统，包括一套语法表示式、这些表示式可区分的子集（公理）和一套定义了特定的二元关系，可解译为表示式空间上的逻辑等价的形式规则。若形式系统被指为是一个逻辑系统，其表示式会被解释成数
2011-11-07 14:42:40
1591
转载 [News]我国首座散裂中子源开建 将提升纳米等高技术
中国迄今最大的国家重大科技基础设施“中国散裂中子源”(Chinese Spallation Neutron Source，简称CSNS)，已在东莞动工建设。该项目建成后，CSNS将成为发展中国家拥有的第一座散裂中子源，也将跻身世界第四大脉冲散裂中子源， 从而大幅提升中国材料、生命、纳米等学科前沿基础研究和高技术的水平，缩短中国与世界前沿的差距。羊城晚报记者为你揭开散裂中子源的面纱。
2011-11-06 18:37:09
2472
原创 [Delphi]Delphi监控键盘鼠标的程序
unit Unit3;interfaceuses Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms, Dialogs, StdCtrls;type TForm3 = class(TForm) procedure FormCreate(Sender: TObject);
2011-11-06 18:22:06
2273
转载 [AI]一阶逻辑First Order Logic
一阶逻辑是数学家、哲学家、语言学家使用的一种形式演绎系统。它有很多名字包括：一阶谓词演算、低等谓词演算、一阶逻辑的语言或谓词逻辑。不像自然语言如英语，FOL使用由数学结构来解释的完全无歧义的形式语言。一阶逻辑是通过允许在给定论域的个体上的量化而扩展命题逻辑的演绎系统。例如，在FOL中可陈述“所有个体都有性质P”。命题逻辑处理简单的陈述性命题，一阶逻辑补充覆盖了谓词和量化。例如下列句子：“苏格拉
2011-11-06 00:31:50
3884
1
Import REConstructor
2008-09-02
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人