p*****2
发帖数: 21240 | 1 美国软件公司Splunk周四在纳斯达克的首日交易令人印象深刻，该公司股价当日报收于
35.48美元，与17美元的IPO（首次公开募股）发行价相比翻了一番。这引发了投资者对
一直相对不起眼的大数据公司板块的关注。
“大数据”基本上是一个包罗万象的术语，指的是收集和分析大量信息的能力，而这些
信息涉及到人类生活的方方面面。过去数据分析可能需要昂贵的数据库和专业化的技术
，Splunk使数据分析变得更为廉价和简单。
“大数据”正变得热门
无论是来自一般商业领域还是零售、医疗、气候等专门领域的大数据都可用来盈利，这
种可能性让投资界感到兴奋。
前微软投资人、现任风投公司Ignition Partners风投家的约翰·康纳斯（John
Connors）表示：“与两周前相比，现在的投资者对‘大数据’有了更多的了解；而在
未来一个月，他们对‘大数据’的了解又将比现在更多。”康纳斯在Ignition
Partners负责对Splunk的投资事宜。
大数据公司的一些投资者在做出初始投资之后，要经过相当长的一段时间才开始意识到
他们投资的大数据公司。
戴夫·霍尔尼克(DaveHornik)是Splunk的... 阅读全帖 |
|
A*******s
发帖数: 23 | 2 Send resume and job (#) to a****************[email protected].
Sr. Physical Design Timing Engineer
Timing (STA) Manager
Senior Physical Design Engineer
CAD Manager - Front-End Design and Verification
Sr. CAD Engineer - Place & Route / Physical Design Engineer
Sr. CAD Licensing Engineer
Sr. CAD Engineer – STA
GPU Micro Architect
Design Verification Implementation Engineer
RTL Design Engineer
Analog IP Validation/Characterization Engineer
Senior RF IC Design Engineer
Logic Implementation/ Synthesis Engi... 阅读全帖 |
|
B******1
发帖数: 9094 | 3 If LZ needs a logical analysis of the pros and cons of having a second child
, she will reach an impasse because no one can foresee the future and no one
can be sure that LZ would have a happy family with the addition of the new
baby.
One possible reason that LZ postponed to have a second child might be based on
concerns for financial security and professional development. Today, these
considerations are still part of the metrics LZ is using to gauge the ballance of
to have and not to have. At ... 阅读全帖 |
|
t******l
发帖数: 10908 | 4 我觉得你这个 “命题三” ，其实就是同步信号，只不过 formalize 以后不管说的话
的文字
意义，只管作用是同步（也就是该同步信号的效果是导致所有 deterministic-
abstract-machine 的计数器初始化开始计数）。。。当然既然是同步信号就必然要
broadcast，不能偷偷说。
当然需要初始化同步信号，也是因为这个假设的岛的历史是糊涂账，否则查历史总是有
时间起点。
当然从这道题看，我觉得除非上理论数学系啥的，pre-algebra 和 pre-formal-logics
真没啥钻牛角尖的意义。。。由于不被 formalize，整个 pre-algebra / pre-formal
-logics 和 algebra / formalized logics 的解题和理解角度几乎是大相径庭的。
对于这道题目，pre-formal-logics 是试图理解每一个文字，比如 “极强逻辑” / “
我知道你知道我知道” 的 “真正” 意思。。。而 formalized logics 直接开始符号
化建模，丢弃每个文字本身的意思而代之以符号，最后建模然后看结果是不是... 阅读全帖 |
|
t******l
发帖数: 10908 | 5 而对于 “我知道你知道天外飞仙知道，外国人一到统统报销” 的 paradox 是在于：
作为数学问题，如果假设那些人永远是活着并且永远在思考，同时也知道常识所知道的
所有 “你知道我知道他知道” 的信息。
那么在外国游客来之前的这个 paradox 是，所有人都知道只要别人活着，就在 count
days（highly logical)，但是因为所有人都有 eternal life from infinite past，
所以没人知道别人是啥时开始 count 并且现在 count 到多少了。。。导致实际上每个
人知道自己和别人都在 count "infinity", which is not countable at all。。。所
以导致所有人按 deductive logics 认为别人都应该已经挂了，但看到所有人都还活着
，导致 paradox。
但实际 physics-wise 的分析是，所有的 deductive logics，也就是 time /
causality，即使是 eternal life，都有一个共同的 start point -- big bang。。。
n... 阅读全帖 |
|
E**O
发帖数: 1980 | 6 Google了一下，下面是具体做法：
SEASONALITY SWITCHING rules developed by Norman Fosback
Seasonality Switching was first developed in 1976 by Norman Fosback in the
book Stock Market Logic. Research has shown that the last trading day of the
month, the first four trading days of the next month and the two trading
days before holidays have historically been highly positive for the stock
market. Over the years, Market Logic has identified additional favorable and
unfavorable days. The current Market Logic rules ... 阅读全帖 |
|
h***m
发帖数: 1869 | 7 ☆─────────────────────────────────────☆
waiting140 (等待140) 于 (Mon Dec 31 16:32:27 2012, 美东) 提到:
啥专业技能都没有，只知道push人干活。如果说push得当，能让project稳步且快速前
进，也就罢了，虽说让被push的人不爽，至少从公司的角度看，也算是贡献。
可事实往往是，这些人只知道组织频繁的会议，让你给汇报进展，很多实际的问题，需
要专业知识才能理解的，你跟他们说了他们又不懂，只会raise an issue在某些系统，
或者excel表格里，随后每次会议都把这个list拿出来，问问哪些解决了，哪些没有，
哪些新问题出现了，却根本不懂其中有些本质上是同一问题的重复，有些有关联性得一
起解决，有些有依赖性，得按次序解决。跟他们讲也没用。
很多时候你正忙得焦头烂额，他们却跑来push，纯粹是帮倒忙。
实在不明白要这些人干嘛？如果一个project只涉及一个部门或一个小组，那就由这个
部门或小组的头来manage这个project就行了。如果是跨部门的，那就从所有相关的人
中指派一... 阅读全帖 |
|
s*********1
发帖数: 1166 | 8 Wang Hao, also Hao Wang (Chinese: 王浩; pinyin: Wáng Hào; 20 May 1921 –
13 May 1995) was a Chinese American logician, philosopher and mathematician.
Born in Jinan, Shandong, in the Republic of China (today in the People's
Republic of China), Wang received his early education in China. After
obtaining a B.Sc. degree in mathematics from the National Southwestern
Associated University in 1943 and an M.A. in Philosophy from Tsinghua
University in 1945, he moved to the United States for further graduat... 阅读全帖 |
|
p***y
发帖数: 18037 | 9 ☆─────────────────────────────────────☆
rainnight (雨夜) 于 (Wed Jun 8 21:18:02 2011, 美东) 提到:
大家好
☆─────────────────────────────────────☆
bettycn (puke) 于 (Wed Jun 8 21:21:58 2011, 美东) 提到:
谁？谁外f？
☆─────────────────────────────────────☆
yrymaomao (轻风冷露) 于 (Wed Jun 8 21:22:36 2011, 美东) 提到:
这是咋的了？
☆─────────────────────────────────────☆
gogopanda (..) 于 (Wed Jun 8 21:23:15 2011, 美东) 提到:
带刀砍了
☆─────────────────────────────────────☆
bettycn (puke) 于 (Wed Jun 8 21:24:46 2011... 阅读全帖 |
|
A*******s
发帖数: 23 | 10 Apple Jobs.
Send resume and job (#) to a****************[email protected].
Sr. Physical Design Timing Engineer
Timing (STA) Manager
Senior Physical Design Engineer
CAD Manager - Front-End Design and Verification
Sr. CAD Engineer - Place & Route / Physical Design Engineer
Sr. CAD Licensing Engineer
Sr. CAD Engineer – STA
GPU Micro Architect
Design Verification Implementation Engineer
RTL Design Engineer
Analog IP Validation/Characterization Engineer
Senior RF IC Design Engineer
Logic Implementation/ Sy... 阅读全帖 |
|
P*******e
发帖数: 39399 | 11 ☆─────────────────────────────────────☆
baifayu (惯看秋月春风) 于 (Wed May 8 14:57:46 2013, 美东) 提到:
不打算去水版，乱轰轰。这里大家比较纯学术，即使意见不同，也不影响今后讨论橄榄
球。
我不太关注网上的各种“据说”、“知情人”爆料之类，因为谁也不知道他们的身
份是真是假。有时看了一些自称是清华学生的所谓内幕，真搞笑，因为文章里的某
些用语，一看就知道，这人根本没在清华上过学。比如，把“物化2班”说成“2班”，
把“文艺社团”说成“文艺社”。相反，如果有人说，“我们那天去大之吃晚饭”，
这人就比较靠谱是清华的，因为20年前我们确实把“大学生之家”简称“大之”或
“之家”。
我这次的研究对象，纯粹是2005年底-2006年初孙维与其他几位相关女生的email (就
是被黑客偷出来、贴到天涯上的那一拨信件)，个人觉得这是比较可靠的原始材料。
当然，如果她们用心良苦、故意炮制这些信件，然后故意派人偷出来搅混水，那就
没法说了 (好比电影 Interpreter 里面的反向用计)。不过仔细读过之后，应... 阅读全帖 |
|
发帖数: 1 | 12 读来读去，不知道为什么create一个wiki account ,, 我想我是走火入魔了。the
parsimony law 说，一切简单，....
This article uses forms of logical notation. For a concise description of
the symbols used in this notation, see List of logic symbols.
In classical logic, the law of non-contradiction (LNC) (or the law of
contradiction (PM) or the principle of non-contradiction (PNC), or the
principle of contradiction) is the second of the three classic laws of
thought. It states that contradictory statements cannot both be true in the
s... 阅读全帖 |
|
e****t
发帖数: 17914 | 13 ☆─────────────────────────────────────☆
hotmars (hotmars) 于 (Thu Jun 14 16:32:10 2012, 美东) 提到:
真心觉得小三打不过弟八拜啊
本别用的是35L和28G
老尼的对焦太横了
可是老尼的色彩着实有些让我抓狂
看惯了佳粉不习惯尼黄啊
有没有办法把尼康的色彩调成佳粉色啊
有preset么？
☆─────────────────────────────────────☆
iPhoto (球球爸) 于 (Thu Jun 14 16:34:07 2012, 美东) 提到:
DP上不都有结论了嘛，各有所强
☆─────────────────────────────────────☆
terry2008 (淡泊明志，宁静致远) 于 (Thu Jun 14 16:34:08 2012, 美东) 提到:
包子先！
☆─────────────────────────────────────☆
ericz (不认识eric zhou) 于 (Thu Jun 14 16:34:12... 阅读全帖 |
|
h***s
发帖数: 1716 | 14 【heyes：就因为“检索了JOURNAL OF SYMBOLIC LOGIC去年和今年各期“，无刘路的论
文，就打他的假？是个弱智也可以做打假这事了。现在不得不说得更重些：方舟子真的
是人渣啊！他TMD一天到晚不干实际科研，还小人之心，看不得别人有大成就；有了就
出来打击阻挠。如果在宦官当道的时代，他就是典型的方公公。】
【转载】：
【实按：中南大学本科生刘路（笔名刘嘉忆）因为破解“西塔潘的猜想” (Seetapun
enigma)而被破格聘请为数学系正教授是有些不太正常。但他的论文会是子虚乌有？我
想不太可能。但方舟子检索了JOURNAL OF SYMBOLIC LOGIC去年和今年各期，没见刘路
的论文。因此就大胆地发表一篇怀疑“一个巨大的骗局和炒作”的文章。这是不是有点
操之过急？
方舟子有一个最大的“反骨”就是见不得华人有了让洋人佩服的成就。所以，每当他看
到这样“不可思议”的报道时他就要疑问一番。
上次陈竺发表了一篇PNAS论文，电子版先出了但还未出纸张版。结果被一个当了多年科
学逃兵而不知科学战场现状的方舟子打了个“假”，说新华社报道的PNAS论文根本不存
在。不过，他这... 阅读全帖 |
|
t******n
发帖数: 2939 | 15 ☆─────────────────────────────────────☆
neotsu (neotsu) 于 (Sun Jan 22 12:33:10 2012, 美东) 提到:
如果说，争吵发生了，拉闸是很正常的行为（是你们自己说的）
那么，香港地铁发生争吵的次数和香港地铁拉闸的次数，是不是一样多？
请拿出数据来说话，谢谢。
否则孔和尚说你们是走狗基本就没错了。
☆─────────────────────────────────────☆
hoto1668 (都是浮云) 于 (Sun Jan 22 12:33:55 2012, 美东) 提到:
拉閘威武
☆─────────────────────────────────────☆
ststst (ststst) 于 (Sun Jan 22 13:02:59 2012, 美东) 提到:
按照挺肛残的人理论，只要看到有人吃东西，马上拉闸叫管理员
☆─────────────────────────────────────☆
neotsu (neotsu) 于 (Sun Jan 22 14:... 阅读全帖 |
|
t******n
发帖数: 2939 | 16 ☆─────────────────────────────────────☆
bonney (noodle) 于 (Tue Apr 30 23:28:17 2013, 美东) 提到:
我是2005年才知道朱令案的，刚开始我是相信孙维是凶手的， 大家都这么相信的呀，
肯定有原因有道理。 但是最近看了读了了解了很多当时的情形之后， 我却越来越觉得
孙维不是凶手了。
首先是因为2005年底她的声明， 还有就是她的同寝室乃至同班的几个同学都出来支持
她， 在从很多方面看， 孙维不是那种极端忧郁容易钻牛角尖的人， 而是那种活泼，
爱说爱笑， 心眼直， 和同学朋友关系不错的人。 五年的大学生活， 她基本上就是生
活在同学的眼皮子低下的。 她的同学能义无反顾地跳出来支持她， 足以说明她的为人
值得他们相信。
好吧， 现在很多人把支持她的人都说成是她的同伙共谋甚至帮凶凶手， 以解释为什么
他们要支持孙维。 但是我不相信这么多人都是凶手帮凶， 因为能二次投毒杀人还能瞒
这么久， 那得要多极端多可怕多不可思议的人才能下得了手， 而且下两次手， 还能
跳出来振振有词的辩驳， 有这么一个人是可能的... 阅读全帖 |
|
t******n
发帖数: 2939 | 17 ☆─────────────────────────────────────☆
btphy (btphy) 于 (Sat May 25 03:19:10 2013, 美东) 提到:
版上弱智真多，这么简单的问题都搞不清楚。证明如下。
exp(2i pi e)=(exp(2i pi) )^e=1^e=1
==> 2i pi e=ln(1)=0
==> pi e=0
证毕。
★ 发自iPhone App: ChineseWeb 7.7
☆─────────────────────────────────────☆
feverpitch (狂热) 于 (Sat May 25 05:42:46 2013, 美东) 提到:
这个问题很难啊
☆─────────────────────────────────────☆
heathen (The real folk blues) 于 (Sat May 25 05:57:11 2013, 美东) 提到:
不难。刚才搞错了，LZ的公式“正确”。不过还可以更简单。
exp(2*i*pi)=1 ==> 2*i*pi=ln(1... 阅读全帖 |
|
l*****a
发帖数: 38403 | 18 Warnings
Insisting that someone worship in a religion is wrong and not effective. No
matter what your religion, one should be clearly persuaded--but not be
treated cruelly or as if they are somehow "wrong". Also be warned that in
some cultures the act of converting or conversion could be either unethical,
or - like in Saudi Arabia - usually illegal. Be prepared to be persecuted
or even killed for sharing your faith.
Consider how you would respond if someone was attempting to persuade you to
chan... 阅读全帖 |
|
S***n
发帖数: 2932 | 19
not necessarily true.数学重要的部分在细节。
微积分的原始概念很早就用，工程上在牛顿的时代就差不多成熟，但是理论上的重要思
想一直拖到20世纪飞跃。数学领域作扫尾工作的都是非常有见识的牛人，比如Cantor，
Weierstrass。
数理逻辑和罗素，我觉得不搞数学的人比较喜欢提。所谓20世纪出数学的三大危机，正
经搞数学的话，连入门笑话都不算。类似，虽然古典哲学的一些所谓悖论在引发20世纪
数理逻辑上有贡献（比如理发师悖论），窃以为更像引发中学生兴趣的椽头。罗素为了
解决formal logic的困难，提出higher order logic（也就是所谓计算机科学的type
theory）。在meta-level有非常多有趣和重要的结论。罗素也只是开个头，事实上他的
higher order logic (one of the one million variants ...)非常不好看，就是说很
awkward，性质不好。以后很多漂亮的variant有相当的expressiveness，和更好的性质
。逻辑上另一个主题是寻找logic fragments ..... 阅读全帖 |
|
s********b
发帖数: 3 | 20
回应：
一、注意“长老”不是“老年人”可能是年轻人或中年人。请长老抹油祷告是很正常的
，任何相信圣经的教会都会有人相信并实践的。
二、我不清楚怎样解释‘“圣经”“新约”明确要求女人在教会要“闭口不言”’。
我不知道这个教导是不是绝对的，或“明确”。
例如，哥林多前书十一章，
4 凡男人祷告或是讲道（讲道或作说预言下同），若蒙着头，就羞辱自己的头。 5 凡
女人祷告或是讲道，若不蒙着头，就羞辱自己的头。因为这就如同剃了头发一样。 6
女人若不蒙着头，就该剪了头发。女人若以剪发剃发为羞愧，就该蒙着头。
这些经文意为，女人可以讲道（先知预言）只有蒙头（要不就剪头发）就可以了。与哥
林多前书十四章34-35节的教导有异。我没时间具体查原文希腊文怎么写的。
在网上找到一篇有关文章。（比较长）
http://www.ntrf.org/articles/article_detail.php?PRKey=16
Correctly Interpreting 1 Corinthians 14:33b-35 (Part 1＆Part 2)
by Steve Atkerson
If you ever wis... 阅读全帖 |
|
t*******r
发帖数: 2940 | 21 一般认为逻辑是哲学的分支。几年前有两篇文章讨论逻辑和数学的关系，一篇是数学家
Peter Cameron，另一篇是哲学博士Sharon Berry，你大概是看过的，只不过他们和你
这个内行说的不一样，有人这样总结：
“Cameron tells us that the relationship between logic and math is not along
the lines of one being a branch of the other, exactly. Rather, certain
logical systems can be deployed inside mathematics, while others are in an
interesting sense outside of it, meaning that they provide (logical)
justification for math.”
“Berry’s conclusion is that “it is fully possible to say ... that math is
th... 阅读全帖 |
|
Y**u
发帖数: 5466 | 22 ☆─────────────────────────────────────☆
TrueStory (不是幸福的坑不挖) 于 (Wed Nov 23 14:09:26 2011, 美东) 提到:
Carl Jung published a lot after this NDE, and this was one of his two major "creative" illnesses he experienced (suffered or blessed). The other one was the deep depression he experienced after his break-up with Freud (several of Freud's former disci
committed suicide after such break-ups.)
Update: I found a link with the same content, but perhaps it's easier to read than the pure text below:
h... 阅读全帖 |
|
T*******y
发帖数: 6523 | 23 en. My impression is that it's not due to some logical thinking that
Christians believe in God, and they won't easily give up this belief due to
logic, either. They pride themselves on being spiritual rather than logical,
and they don't care about logic. The way you use logic to prove Christians
wrong may not be effective, but it is a nice tutorial for the general public. |
|
Y**u
发帖数: 5466 | 24 ☆─────────────────────────────────────☆
wusuoqiu (嘁哩喀喳：基督教是邪教！) 于 (Sun Sep 2 20:13:33 2012, 美东) 提到:
本来，我不想写这个帖子的。
我奉行“知之为知之，不知为不知，是知也”的治学态度，对自己没有深入研究的东西
，我一般不愿意发表看法。我对基督教有很深入的研究，自信我已经完全了解基督教了
。但是，对佛家的东西，我目前只研读了《金刚经》和《心经》，我的认识肯定还很浅
。所以，我本来不想写这个帖子的。但是，看到网上有些帖子散布一些完全不负责任的
言论，因此我还是不揣冒昧，将我所知道的一些佛教和基督教的区别写出来。有关基督
教的陈述，我可以负完全的责任。对有关佛教的陈述，如有不对的地方，恳请佛门高人
指点。
1）真理
基督教自称是“唯一真理”，耶稣更是自称“我就是道路，我就是真理”。
而佛家从来没有自称是“真理”。《金刚经》说：法上应舍，何况非法？在佛家看来，
所谓的佛法，是人们认识/体证真理到达解脱彼岸的道路/工具。佛法就像是大家渡河的
船，大家如果到了彼岸，就不再需要这个船了。
在佛... 阅读全帖 |
|
l*******c
发帖数: 478 | 25 我是生物MASTER，左顾右盼了好久，最近终于确定想往DATA ANALYST方向转，就是只需
要应用SQL等相关软件做分析的那种，不是你们大牛们常说的那种DBA哦。请问3个问题：
1。再确定一下，有DATA ANALYST这个职业吧？只做分析，不做DEVELOPER的？
2。做DATA ANALYSIS需要编程吗？
3。我没有计算机基础（注意，真的是一点基础也没有，除了一些EXCEL应用），想先到
社区大学修些课，再去上SQL SERVER的培训班。请大家看看，哪些课有必要上。（这些
课都在一个叫“PROGRAMMING”的大专专业里。）我把课程名称和介绍贴在这里，谢谢
大家拉！
1）INT COLLEGE COMPUTING
The objective of this course is for students to gain the computer skills
needed to succeed in their academic careers and in today's workplace.
Majortopics include word processing, s... 阅读全帖 |
|
l*s
发帖数: 783 | 26 ☆─────────────────────────────────────☆
vn (jmj) 于 (Fri Oct 19 10:25:39 2012, 美东) 提到:
- 做很多view的操作吗？加index啥的不？还干神马其他的？
- 你们都把sql query写成stored procedure吗？前段时间好像就是在这个版上看到一
种观点就是用linq 这样在c#里面就可以改 比stored procedure方便。。。这个理解对
不对？
- 用其他的方式访问db 比如NHibernate 还有什么工具？
☆─────────────────────────────────────☆
vn (jmj) 于 (Mon Oct 22 09:57:38 2012, 美东) 提到:
脚踏实地的问题木人讨论 都跑到隔壁去吵架 唉
☆─────────────────────────────────────☆
NeverLearn (24K golden bear) 于 (Mon Oct 22 17:36:01 2012, 美东) 提到:
只要关联查询多了，... 阅读全帖 |
|
d*g
发帖数: 66 | 27 是这样的，就是一个code base的web application, 但需要给多个用户customize/
deploy 多个不同的sites,就是他们到不同的url 看到大概类是的web sites, 每个site
之间share 大部分的ui and server code,但都有各自不同的ui and server logic.
这个要求稍微有点challenge，现在初步server side code的architecture是这样的
这是大概的结构，实际的会更多details.
customers specified\
client1\app1 (logic, db, service..etc)
client1\app2 (logic, db, service..etc)
celint1\spring-context.xml
client2\app1 (logic, db, service..etc)
client2\app3 (logic, db, service..etc)
client2\spring-context.... 阅读全帖 |
|
c***d
发帖数: 996 | 28 先看个video:
http://www.youtube.com/watch?v=hEqQMLSXQlY
他主持的一个系统，replication策略我觉得和hdfs有重复， 我就问为什么不直接架在
hdfs上作。这位大哥大概是这么解释的：
hdfs的metadata management其实是single point of failure，确实可以用backup
namenode来改善，但这不是问题的根本。问题的根本是distributed storage的
replication information不应该用lookup 来解决，而应该用比较robust的hash
function。那会不会不elastic呢？ 确实有这个问题，这个问题的关键在于，系统本身
要有一个作elastic logic的controller, 随时得到整个系统的信息。 当有node增加进
来或者fail掉，elastic logic controller会根据这个当前情况计算出理想的
distribution, 并开始移动block。移动block是copy and delete, 系统在近opti... 阅读全帖 |
|
t*d
发帖数: 1290 | 29 IMHO, to find novel drug delivering methods might be better ways to conquer
cancer comparing to studying the mechanisms of cancer initiation and
progression.
Nature 491, S58–S60 (22 November 2012)
Nanotechnology: Carrying drugs
When Joseph DeSimone makes nanomedicines, he compares himself to a baker. He
mixes drugs with different chemical 'batters', puts them in tiny moulds,
cures them and then turns them out. He can mould almost any shape: discs,
cubes, long sticks, roughened doughn... 阅读全帖 |
|
T******T
发帖数: 3066 | 30 As general note in synchronous digital design, unless clock rate is slow and
absolutely necessary, refrain from using double edged sequential logic. I
would only use it for fast <-> real slow time domain synchronization related
stuff.
DDR sounds cool, and it might seem efficient as hell to be able to
accomplish twice as much operation in only 1 single clock cycle, but when it
comes time to backend STA timing closure, you'll regret not having that
extra slack to deal with worst path circuit delay... 阅读全帖 |
|
b***e
发帖数: 1419 | 31 这类题在逻辑里叫做modal logic。搞AI的哥们应该是高手。
在通常研究的数理逻辑里，我们一般有如下statement:
p命题是真的，
q命题是假的。
也就是说所有的命题的真假都是在一个universal reference
下来讨论的。
而在modal logic里，我们则可以有如下更复杂的statement:
A认为p命题是真的，
B认为C认为q命题是假的。
也就是说，命题的真假不再是绝对的，而是相对于不同的
reference.
以前在AI的课上学过一些modal logic。很感兴趣，但是也颇
感到学起来费劲，一会儿就绕晕了。
市面上常见的一些难题，很多都是基于modal logic。比较著名
的有这里提到的海盗分金问题，孙庞斗智，女权岛处死奸夫问题，
二人猜数问题。还有值得一提的是那个拜占庭将军问题，其实也
和modal logic有关。 |
|
t*d
发帖数: 1290 | 32 【 以下文字转载自 Biology 讨论区 】
发信人: ttd (oldcat), 信区: Biology
标 题: better way to conquer cancer
发信站: BBS 未名空间站 (Wed Jan 16 14:57:14 2013, 美东)
IMHO, to find novel drug delivering methods might be better ways to conquer
cancer comparing to studying the mechanisms of cancer initiation and
progression.
Nature 491, S58–S60 (22 November 2012)
Nanotechnology: Carrying drugs
When Joseph DeSimone makes nanomedicines, he compares himself to a baker. He
mixes drugs with different chemical 'batters', ... 阅读全帖 |
|
s**********8
发帖数: 25265 | 33 http://en.wikipedia.org/wiki/Electronic_signature
Electronic signature
From Wikipedia, the free encyclopedia
may contain original research. Please improve it by verifying the claims
made and adding references. Statements consisting only of original research
may be removed. More details may be available on the talk page. (August 2008
)
The examples and perspective in this article may not represent a worldwide
view of the subject. Please improve this article and discuss the issue on
the talk page.... 阅读全帖 |
|
a****t
发帖数: 7049 | 34 中国就是没逻辑学，这是事实，和希腊的根本不能比。
5. Logic and Argumentation
Besides its role in their epistemology, the theory of the three fa (models)
epitomizes the Mohists' view of logic and argumentation. The Mohists do not
investigate formal logic or develop a notion of logical consequence. Rather,
since they see judgment as a matter of distinguishing whether something is
one kind of thing or another, they tend to conceive of all reasoning on the
model of informal, analogical inference. Particular pieces of reason |
|
d*****u
发帖数: 17243 | 35 这里有多少人了解
propositional logic, first-order logic, second-order logic,
higher-order logic..?
好像计算机专业的要学一点（多半也记不住），哲学专业的要学一点？ |
|
l***x
发帖数: 684 | 36 Logic is logic's logic...
Once it turns to someone's logic, then its name changes to politics. |
|
n********o
发帖数: 131 | 37 You even don't what logic means! Your examples are not in the category of
logic. These are just opinions. In fact, my experience is that, very
unfortunately, Westerner are very strong in logic reasoning (I don't like it
but it's a fact I cannot deny). Asians are weak in logic. You are one of
the examples. |
|
b********n
发帖数: 38600 | 38 Listed below are 20 completely ridiculous college courses being offered at U
.S. universities. The description following each course title either comes
directly from the official course description or from a news story about the
course…
1. “What If Harry Potter Is Real?” (Appalachian State University) – This
course will engage students with questions about the very nature of history.
Who decides what history is? Who decides how it is used or mis-used? How
does this use or misuse affect us? How ... 阅读全帖 |
|
b********n
发帖数: 38600 | 39 http://reece.liberty.me/2015/03/09/25-statist-propaganda-phrase
In the discourse of statists, there is a group of phrases of which one or
more tend to be present in nearly every argument.
While this is not an exhaustive listing of that group, it does contain
twenty-five of the most common phrases that statists use in their arguments.
As propaganda has a tendency to be repetitive, some of these phrases
contain the same logical fallacies, and will therefore have similar
refutations. As such, the p... 阅读全帖 |
|
|
A*******l
发帖数: 1083 | 41 Well sure and your opinion certainly sounds uneducated and obviously stupid.
The reason is: if you had taken any serious logic class in the US, you
would have known that the use of "Chinese" or any set without a qualifier
means ALL members of that set.
Therefore, your statement “Chinese never know how to agree to disagree”
logically means ALL Chinese Never know how to agree to disagree. And the
stupidity of this statement is self-evident.
I did not exaggerate your stupidity, that's how logic an... 阅读全帖 |
|
l****z
发帖数: 29846 | 42 Dr. Victor Davis Hanson拆穿奥巴马的各种此一时彼一时：2006年投票反对提高借贷
上限的奥巴马，现在说反对提高借贷上限是胡闹
Reckless Fiscal Policies”
Why did Obama only enumerate George W. Bush’s big spending as responsible
for the out-of-control $14 trillion-plus debt, while not mentioning his own
contribution of $5 trillion? Why is there a debt limit standoff now, rather
than, say, in 2009 or 2010? Why did this latest $1.6 trillion Obama budget
prompt the current crisis? Why did not Obama earlier start debt limit talks
the moment that his own... 阅读全帖 |
|
c**********d
发帖数: 2428 | 43 Before you can show you are far better and more estabished as 米塞斯or 哈耶
克, stop calling they are wrong. If you are really having a MS degree, at
least you should know in academic world, you need to prove you are right,
before you can call others are wrong. You and another idiot here have the
audacity to call other's wrong without showing yourself any credentials,
this is down right shameless.
Just to clear a few of your mis-claims.
can 反共产主义，反同性恋 been called 右派? so 左派 is pro 共产主义 and 同性
恋, then ... 阅读全帖 |
|
l****z
发帖数: 29846 | 44 HuffPo Contributor: ‘Why Should I Care’ About Death of Ambassador Stevens
September 13, 2012 Posted by Warner Todd Huston
Huffington Post contributor Sharmine Narwani took the occasion of the murder
of our ambassador to Libya to launch into an anti-American diatribe that
culminated in her asking why she is supposed to care about Ambassador Chris
Stevens’ death or that of the other two killed with him.
Sharmine Narwani, who is also a correspondent for Al Jezeera and an
associate at St Antony’s ... 阅读全帖 |
|
g*******x
发帖数: 2158 | 45 无语了.
看看2008版本的forester
http://www.distrocars.com/2008-subaru-forester
The Forester line features three versions of Symmetrical All-Wheel
Drive, all of which power all four wheels all the time and can transfer
more power to the wheels with the best grip. In all models equipped with
the 5-speed manual transmission, a viscous coupling locking center
differential built into the transmission case divides engine power
50:50. Wheel slippage at one set of wheels causes more power to shift to
the opposit... 阅读全帖 |
|
b*********n
发帖数: 2975 | 46 since toyota bought subaru, forester slided into more rav-4 like, hehe
无语了.
看看2008版本的forester
http://www.distrocars.com/2008-subaru-forester
The Forester line features three versions of Symmetrical All-Wheel
Drive, all of which power all four wheels all the time and can transfer
more power to the wheels with the best grip. In all models equipped with
the 5-speed manual transmission, a viscous coupling locking center
differential built into the transmission case divides engine power
50:50. Wheel... 阅读全帖 |
|
|
d*****e
发帖数: 3868 | 48 有权限的大牛们，搞破坏去吧，看谁跳水来这么一下肯定很爽。
Greetings,
Thank you for writing to Amazon Seller Support.
I have reviewed the order ID and see that there is a conflict in the details
on the order detail page and the product detail page. On researching this
issue I found that there was an incorrect listings created by one of the
contributing seller. Because of the internal system logic he was assigned
the detail page control for title and image and hence this incorrect order.
However, in order to remedy this issue... 阅读全帖 |
|
f*********r
发帖数: 674 | 49 Job opening:
Senior ASIC Logic Designer
Submit ResumeSilicon Valley
The successful candidate will be a “hands-on” Logic Designer responsible
for performing micro-architecture and logic design in the development of
high performance communications interfaces and peripherals on a state-of-the
-art CPU/SoC product.
He/she will contribute to the advancement of NetLogic Microsystems’s
cutting-edge logic design methodology and to the continual improvement of
critical methodology linkages to circuit, ph |
|
