BlogJava-懵懵灯灯的BLOG-最新评论http://www.blogjava.net/mmmyddd/CommentsRSS.aspx<font color="olive">寒夜孤灯点点星</color>zh-cnFri, 15 Jun 2012 06:56:37 GMTFri, 15 Jun 2012 06:56:37 GMTcnblogsre: [读书]计算科学导论 - 赵致琢 科学出版社http://www.blogjava.net/mmmyddd/archive/2009/09/18/190483.html#295519mmmydddmmmydddThu, 17 Sep 2009 18:27:00 GMThttp://www.blogjava.net/mmmyddd/archive/2009/09/18/190483.html#295519我复印图书馆的书：）

mmmyddd 2009-09-18 02:27 发表评论
]]>re: [读书]计算科学导论 - 赵致琢 科学出版社[未登录]http://www.blogjava.net/mmmyddd/archive/2009/09/12/190483.html#294894wzwzSat, 12 Sep 2009 13:46:00 GMThttp://www.blogjava.net/mmmyddd/archive/2009/09/12/190483.html#294894

wz 2009-09-12 21:46 发表评论
]]>re: [JAVA]java.util.ResourceBundle使用http://www.blogjava.net/mmmyddd/archive/2008/11/14/166926.html#240529等等等等等等Fri, 14 Nov 2008 06:43:00 GMThttp://www.blogjava.net/mmmyddd/archive/2008/11/14/166926.html#240529

等等等 2008-11-14 14:43 发表评论
]]>re: [ZT]Dell1420笔记本的xp驱动下载http://www.blogjava.net/mmmyddd/archive/2008/11/05/192027.html#238872啊 啊 Wed, 05 Nov 2008 11:24:00 GMThttp://www.blogjava.net/mmmyddd/archive/2008/11/05/192027.html#238872

啊 2008-11-05 19:24 发表评论
]]>re: [ZT]Dell1420笔记本的xp驱动下载http://www.blogjava.net/mmmyddd/archive/2008/10/20/192027.html#235467llllMon, 20 Oct 2008 07:03:00 GMThttp://www.blogjava.net/mmmyddd/archive/2008/10/20/192027.html#235467

ll 2008-10-20 15:03 发表评论
]]>re: [ZT]Dell1420笔记本的xp驱动下载http://www.blogjava.net/mmmyddd/archive/2008/08/12/192027.html#221429地方地方Tue, 12 Aug 2008 01:54:00 GMThttp://www.blogjava.net/mmmyddd/archive/2008/08/12/192027.html#221429

地方 2008-08-12 09:54 发表评论
]]>re: [ZT]Dell1420笔记本的xp驱动下载[未登录]http://www.blogjava.net/mmmyddd/archive/2008/07/27/192027.html#217760zzSun, 27 Jul 2008 00:38:00 GMThttp://www.blogjava.net/mmmyddd/archive/2008/07/27/192027.html#217760

z 2008-07-27 08:38 发表评论
]]>re: [E文摘] 阿隆佐&#183;邱奇http://www.blogjava.net/mmmyddd/archive/2007/12/27/170829.html#170848懵懵灯灯懵懵灯灯Thu, 27 Dec 2007 04:45:00 GMThttp://www.blogjava.net/mmmyddd/archive/2007/12/27/170829.html#170848calculability - 可计算性 n.
associate professor - 副教授 n.
mathematical logic - 数理逻辑 n.
resursion theory - 递归理论 n.
irredundant - 无冗余 adj.
postulate -假设，命题 n.
differential equation - 差分方程
conversion - 变换，转换 n.
polished - 精简的，优美的 adj.
first order logic - 一阶逻辑
symbol logic - 符号逻辑
Church's Theorem / Thesis - 邱奇命题/假设
number theory - 数论
recursive function - 递归函数
random sequence - 随机序列
editorial - 编辑上的 adj.
testify - 证明 vi.
unflagging - 不屈不挠的 adj.
meticulous - 小心翼翼的 adj.
readily - 方便的，容易的 adj.
duality - 对偶 n.
tautology - 重言式，同义反复 n.
antinomy - 自相矛盾，悖论 n.
partial differential equation - 偏微分方程 n.
formulation - 形式化 n.
intensional semantics - 内涵语义学
naive set theory - 朴素集合论 n.
honorary - 荣誉的 adj.




懵懵灯灯 2007-12-27 12:45 发表评论
]]>re: [E文摘] 库尔特&#183;哥德尔http://www.blogjava.net/mmmyddd/archive/2007/12/26/170533.html#170568懵懵灯灯懵懵灯灯Wed, 26 Dec 2007 05:40:00 GMThttp://www.blogjava.net/mmmyddd/archive/2007/12/26/170533.html#170568timid - 胆小害羞的 adj.
rheumatic - 风湿性 adj. rheumatism n.
complication - 并发症 n.
one-sided - 偏向，片面，不平衡 adj.
gymnasium - 健身房，高级中学 n.
specialise - 专门研究 vi.
paralysed - 瘫痪 adj.
stick with - 坚持做
dissertation - 论文 n.
logical positivism - 逻辑实证主义
radiologist - 放射学家 n.
Gödel's Incompleteness Theorems - 哥德尔不完全定理
axiomatic system - 公理系统
consistency - 一致性 n.
Principia Mathematics - 数学原理 罗素/怀特海 合著
formalism - 形式主义 n.
envisage - 想象，构想 vt.
comprehensive - 全面的，广泛的 adj.
privatdozen - (日耳曼语国家中报酬直接来自学生学费的)无薪大学教师 n.
psychiatrist - 精神病医生 n.
sanatorium - 疗养院 n.
National Socialist - 国家社会主义者(纳粹) n.
Guest Professorship - 客座教授身份 n.
conscripted - 征募 vt.
regime - 政体 n.
infuriate - 激怒 vt.
villa - 别墅 n.
treaty - 条约 n.
Czech - 捷克人 n.
Austrian - 奥地利人 n.
masterpiece - 杰作 n.
classic - 经典，杰作 n.
continuum-hypothesis - 连续性假说 n.
duodenal ulcer - 十二指肠溃疡
stroke - 中风 n.
fastidious - 苛求的，挑剔的 adj.
incisive - 深刻的，尖锐的 adj.
immortality - 不朽 n.










懵懵灯灯 2007-12-26 13:40 发表评论
]]>re: [E文摘] 阿兰&#183;图灵简介http://www.blogjava.net/mmmyddd/archive/2007/12/24/170023.html#170091懵懵灯灯懵懵灯灯Mon, 24 Dec 2007 08:16:00 GMThttp://www.blogjava.net/mmmyddd/archive/2007/12/24/170023.html#170091demanding - 过分苛求的 adj.
athlete - 运动员 n.
schooling - 学校教育 n.
incomprehensible - 不可理解的 adj.
premonition - 前兆 n.
shattering - 粉碎性的 adj.
proposition - 命题 n.
pacifism - 和平主义 n.
decidability - 可判定性 n.
incompleteness - 不完全性 n.
Entscheidungs problem - 判定问题
Turing machine - 图灵机
paradox - 悖论 n.
supervision - 指导，管理 n.
ordinal - 序数 n.
approximate - 逼近 vt.
investigate - 研究 vt.
hypothesis - 假说 n.
personnel - 人员 n. 人事部门 n.
inventiveness - 创造能力 n.
congenial - 意气相投 adj.
enigma - 迷， 不可思议的东西 n.
liaise - 保持联络 vi.
secrecy - 保密 秘密 n.
prospectus - 内容说明书，样张 n.
neurology - 神经学 n.
physiology - 生理学 n.
athletics - 运动 n.
readership - 高级讲师职位 n.
standardise - 标准化 vt.
intentive - 专心的，集中的 adj.
Turing test - 图灵测试
wit - 智慧，才智 n.
group - 群 n.
identity - 恒等变换 n.
seminar - 研讨会，讨论班 n.
insoluble - 不能解决的 adj.
cancellative - ?
statute - 法令，条例 n.
blackmail - 恐吓信 n.
oestrogen - 雌性激素 n.
morphogenesis - 形态发生 n.
elementary particles - 基本粒子
spinor - 旋量，旋子 n.
sexuality - 性特征 n.
conviction - 宣布有罪 n.
clearance - 辞职申请 n.
GCHQ - Government Communications Headquarters
consternation - 恐慌，慌乱 n.
inquest - 审问，验尸报告 n.
self-administered - 自行实施 vt.
electrolysis - 电解 n.
potassium - 钾 n.
cyanide - 氰化物 n.





懵懵灯灯 2007-12-24 16:16 发表评论
]]>