作为学科的计算科学(下)

作为学科的计算科学(下)

六、软件方法学和工程 软件领域研究满足技术要求、安全、可靠、可信的程序和大型软件系统的设计。基本问题包括：在程序和程序设计系统的开发背后的原理是什么?怎样去证明程序或系统满足它的技术要求?怎

作为学科的计算科学(中)

11 附录 计算科学作为一个学科的定义 计算机科学与工程是对描述和变换信息的算法过程 其理论、分析、设计、效率、实现和应用——的系统的研究。全部计算科学的基本问题是，什么能(有效地)自动

作为学科的计算科学(上)

作为学科的计算科学 Peter J．Denning(主席)Douglas E.Comer，David Gries, Michael C．Mulder,A11en Tucker,A.Joe Tu

风水学不是“科学”，也是“学科”

在很多人看来，讲“风水”是一种迷信思想。但在武汉科技大学中南分校，有一门选修课却叫做“建筑与风水”。风水是不是一种迷信？该不该成为高校的课程？各界人士看法不一。授课老师马威认为，这并不是迷信，而是

著名计算机科学家唐稚松院士逝世

著名计算机科学家、唐稚松院士中国科学院院士、著名计算机科学家、中国科学院软件研究所研究员、计算机科学国家重点实验室名誉主任唐稚松先生因病医治无效，于2008年7月21日在北京逝世，享年83岁。

科学家用超级计算机破解世纪数学难题

新华网消息：据西班牙《世界报》4月2 1日报道，西班牙加泰罗尼亚研究人员日前成功破解了一个困扰全世界数学家近1个世纪的古老而又重大的数学问题。 一台名为"世界尽头"的超级计算机为加泰罗尼亚

科学家拟开发具有“懊悔”意识计算机(图)

对自己的错误感到懊悔的计算机行为上更接近人类中新网2月23日电 科学家发现，对自己的错误感到“懊悔”的计算机，在与人类打交道时可能比一般计算机更好。据香港《大公报》报道，计算机现已能够从错误中吸

科学家用计算机模拟大爆炸后恒星形成过程

超级计算机模拟恒星形成过程 首批恒星的初始质量仅为太阳1%. 原恒星周围的气体分布 据国外媒体报道，美国科学家日前称，他们最近在实验室设计了一全新的天体模型，并利用超级计算机成功

Wavelet Transforms: Introduction to Theory & Applications(|报价￥586.50|图书,进口原版,Computers & Internet 计算机与互联网,Computer Science 计算机科学,Raghuveer M. Rao