365句子网

爱情语录 伤感语录 搞笑语录 名人语录 祝福语录 一句话语录 励志语录

姚期智说过名言

描写清华大学的句子

清华大学百年赋 王步高 上苑清华,坐京师西北,倚燕山而望玉泉塔影,邻颐和而近圆明故垣。

康熙造熙春以贻皇子,咸丰更清华而为新藩。

今之清华也,方六千余亩,黉宇崔巍,中西合璧;亭台隽秀,今古相间。

工字厅临漪榭,续前清民国之古风雅韵;主体楼科技园,展信息时代之华彩新颜。

秀木森森,栖黄莺丹凤;芳草萋萋,缀锦簇花团。

湖光秀丽,寻荷塘月色之踪迹;园景旖旎,摘亚洲校园之桂冠。

二校门玉立亭亭,兴毁之间识沧桑巨变;万泉河流水潺潺,涨落之际涵世纪风烟。

宣统辛亥,迁“庚子赔款”游美肄业馆于斯,乃建校之始也。

十七年间,校名迭更,曰学堂,曰学校,曰大学,所不变者,“清华”之名也。

国学院名著中外,四导师博通古今。

沉潜坚毅,信古疑古释古;洞幽秉持,道深学深法深。

涵泳千载,诗词证史开新路;训证万有,金石钩玄传希音。

七十学子,立雪程门求真谛;半百才俊,勤学梦笔得金针。

梅贻琦长校,博采众议,“教授治校”开新政; 注重通识,文理经纬育棣昆。

严门槛,足后劲,闻风景从,天下英才近悦而远造;敬教授,重学术,见贤思齐,鸿儒名宿接踵而连桡。

抗日军兴,初迁长沙,临时大学,合南开北大共建;兵燹近迫,再徙昆明,西南联大,与菁英赤子同袍。

灾难铸就辉煌,三校师生刚毅坚卓,心系国难,励精图治,共挽天河。

铁皮房里,夺秒争分,轰炸间隙攻书授课;茅草棚中,焚膏继晷,风雨晨昏切磋琢磨。

忍饥学子,未尝释卷;清寒教授,不辍弦歌。

战时高校之表率,杰才簇拥而嵯峨。

外著民主堡垒之称号,内树学术自由之楷模。

寒来暑往,星霜八易,山河光复,重返熙春。

建国之初,院系调整;四院皆出,工科仅存。

蒋南翔掌序,拨乱探津:因材施教,又红又专;顶风开拓,斩棘披荆。

厚基础,重实践,欲其今朝出类拔萃;双肩挑,高素质,求彼异日领袖群伦。

“反右”“文革”,深创巨痛;国运遭劫,桂折椒焚。

开放改革,老木逢春;文理管院复建,工艺美院入并,综合性研究型开放式,世界名校雄姿初呈。

教学科研双飞比翼,清华面貌月异日新。

古之大学者,以弘道济世为本,明德至善为宗。

清末以降,西风东渐,全盘西化,如潮汹汹;清华始于留美预科,而立足华夏,力主中西兼容,古今贯通。

器识为先,文艺其从。

取“自强不息,厚德载物”为校训;寡言务实,“行胜于言”作校风。

君子自励,犹天道运行不息,无一暴十寒之弊;学者育人,如江河奔腾不止,有前波后浪之涌。

君子接物,如大地之博,无所不载;躬自厚而薄责于人,气度雍容。

荟天下之英才,为师为友;集八方之俊彦,共辱共荣。

而潜心治学,朴实无华,不尚标榜,言必有中;亦躬行实证之结合,重团队,善协同。

严谨为学,诚信为人,为学与为人并重。

胸怀大志兼切实苦干,才华出众亦笃实谦恭。

长于用脑且善于动手,脱心志于俗谛桎梏之中;养健全之人格,直道而行,外圆内充。

诚如斯也,则崇德修学,勉为君子,异日出膺大任,可挽狂澜于既倒,堪作中流之砥峰。

所谓大学者,非谓有大楼之谓也,有大师之谓也。

维我清华,潮流引领;才子巨匠,灿若河星。

曹禺吴晗洪深若诚,中华艺苑之魁首。

王国维冯友兰诚为当代大儒,金岳霖张岱年可称哲学泰斗。

闻一多梁实秋俞平伯,民国文海之巨舟。

吴雨僧钱钟书学贯中西,陈寅恪季羡林人中骅骝。

数物理叶企孙吴有训赵忠尧成就卓越,钱三强王淦昌赵九章邓稼先亦彪炳千秋。

论数学熊庆来杨武之筚路蓝缕,华罗庚陈省身林家翘丘成桐更誉满全球。

王大珩堪称光学之父,侯德榜摘取化工冕旒。

张奚若先生拟定国号,梁思成张仃国徽最优。

杨振宁李政道为诺奖得主,姚期智拔图灵奖头筹。

光耀教席,硕德名师;不拘一格,清芬挺秀。

回眸百载,清华已名著中外,造就俊才万千,推动中华崛起,功莫大焉。

清华校友,两院院士,几近五百;弹星功臣,亦过其半;最高科技奖,已彰四贤;治国政要,多出斯园。

喜吾清华,诚为院士之摇篮,大师之渊薮。

百年已矣,万世期焉,展望宇内,天外有天。

报国兴华,当著先鞭。

行成于思,知行合一,独立之精神,自由之思想,为吾校生命之源泉。

后之来者当自我激励,批判创新;追求境界,攀峰闯关;耻落群雄后,敢为天下先;培育众多道德楷模、思想巨人、科学领军、文化大师、治国栋梁、创业中坚。

伟哉,清华

壮哉,清华

瞻念未来,鹏程万里,当再接再厉,成世界文化高地之愿景可期而见矣。

吁嘻

慨当以慷,宁不额首顶礼而歌曰: 水木清华,地集灵氛。

百年风雨,强国志伸。

民主科学,求实求真。

自强不息,人文日新。

厚德载物,取义怀仁。

坚毅秉持,正意诚心。

追求卓越,耻不如人。

国学津逮,织锦传薪。

理工探骊,傲视寰尘。

培育栋梁,辉耀乾坤。

英才济济,麟凤振振。

世界一流,期许殷殷。

本科计算机科学与技术需要考研吗

研究生阶段主要干什么

看你想干嘛,如果将来想从事科研或者高校教育工作,那么考研时必须的,将来还得读博;如果想就业的话,那就去看一下你最希望取得工作是什么要求的,比如一些国企、事业单位和公务员,想留在省会城市都要求硕士毕业,那么你就去读;如果说自己满意的工作不需要非得是硕士,那么建议直接工作就好,因为计算机领域重要的是编程经验,这些工作经验和硕士阶段跟着老师做项目的经验要强得多。

研究生阶段主要要看你老师做什么,基本都是帮着老师做项目,在项目中学经验,学东西。

至于具体工作要看你什么方向,软件、硬件、嵌入式、人工智能、数据挖掘、很多方向的,希望能够帮到你

关于图灵奖获得者的介绍

图灵奖,是美国计算机协会(ACM)于1966年设立的,又叫“A.M. 图灵奖”,专门奖励那些对计算机事业作出重要贡献的个人。

其名称取自计算机科学的先驱、英国科学家阿兰·图灵,这个奖设立目的之一是纪念这位科学家。

获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。

大多数获奖者是计算机科学家。

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。

图灵奖对获奖者的要求极高,评奖程序也极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。

目前图灵奖由英特尔公司赞助,奖金为100,000美元。

每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份200到500字的文章,说明被提名者为什么应获此奖。

任何人都可成为提名人。

美国计算机协会将组成评选委员会对被提名者进行严格的评审,并最终确定当年的获奖者。

截止至2005年,获此殊荣的华人仅有一位,他是2000年图灵奖得主姚期智。

编辑本段历年图灵奖获得者2022 Edmund M. Clarke、Allen Emerson和Joseph Sifakis获奖原因:在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献。

而DDJ则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”。

2022 Fran Allen获奖原因:对于优化编译器技术的理论和实践做出的先驱性贡献,这些技术为现代优化编译器和自动并行执行打下了基础。

2005 Peter Naur获奖原因:由于在设计Algol60程序设计语言上的贡献。

Algol60语言定义清晰,是许多现代程序设计语言的原型。

2004 Vinton G. Cerf、Robert E. Kahn获奖原因:由于在互联网方面开创性的工作,这包括设计和实现了互联网的基础通讯协议,TCP/IP,以及在网络方面卓越的领导。

2003 Alan Kay获奖原因:由于在面向对象语言方面原创性思想,领导了Smalltalk的开发团队,以及对PC的基础性贡献。

至理名言:预测未来的最好方法是创造它。

2002 Ronald L. Rivest、Adi Shamir、Leonard M. Adleman获奖原因:由于在公共密钥理论和实践方面的基础性工作。

2001 Ole-Johan Dahl、Kristen Nygaard获奖原因:由于面向对象编程始发于他们基础性的构想,这些构想集中体现在他们所设计的编程语言SIMULA I 和SIMULA 67中。

2000 Andrew Chi-Chih Yao(姚期智)获奖原因:由于在计算理论方面的贡献而获奖,包括伪随机数的生成算法、加密算法和通讯复杂性。

1999 Frederick P. Brooks, Jr.获奖原因:由于在计算机体系架构、操作系统以及软件工程方面所做出的具有里程碑式意义的贡献。

人月神话的作者。

1998 James Gray获奖原因:由于在数据库、事务处理研究和相关系统实现的技术领导工作。

1997 Douglas Engelbart获奖原因:由于提出了激动人心的交互式计算机未来构想,以及发明了实现这一构想的关键技术。

1996 Amir Pnueli获奖原因:由于在计算科学中引入temporal逻辑以及对编程和系统认证方面的杰出贡献。

1995 Manuel Blum获奖原因:由于在计算复杂性理论、密码学以及程序校验方面的基础性贡献。

1994 Edward Feigenbaum、Raj Reddy获奖原因:由于他们所设计和建造的大规模人工智能系统,证明了人工智能技术的重要性和其潜在的商业价值。

1993 Juris Hartmanis、Richard E. Stearns获奖原因:由于他们的论文奠定了计算复杂性理论的基础。

1992 Butler W. Lampson获奖原因:由于在个人分布式计算机系统及其实现技术上的贡献,这包括:工作站、网络、操作系统、编程系统、显示、安全和文档发布。

1991 Robin Milner获奖原因:由于在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。

1990 Fernando J. Corbato'获奖原因:由于组织和领导了多功能、大规模、时间和资源共享的计算机系统的开发。

1989 William (Velvel) Kahan获奖原因:由于在数值分析方面的基础性贡献。

1988 Ivan Sutherland获奖原因:由于在计算机图形学方面开创性和远见性的贡献,其所建立的技术历经二、三十年依然有效。

1987 John Cocke获奖原因:由于在编译器设计和理论、大规模系统架构以及开发RISC等方面的重要贡献。

1986 John Hopcroft、Robert Tarjan获奖原因:由于在算法及数据结构设计和分析方面的基础性成就。

1985 Richard M. Karp获奖原因:由于在算法理论方面,特别是NP-completeness理论方面,连续不断的贡献。

1984 Niklaus Wirth获奖原因:由于开发了EULER、 ALGOL-W、 MODULA和PASCAL一系列崭新的计算语言。

1983 Ken Thompson、Dennis M. Ritchie获奖原因:由于在通用操作系统理论研究,特别是UNIX操作系统的实现上的贡献。

1982 Stephen A. Cook获奖原因:由于其于1971年发表的论文,奠定了NP-Completeness理论的基础。

1981 Edgar F. Codd获奖原因:由于在数椐库管理系统的理论和实践方面基础性和连续不断的贡献,关系数据库之父。

1980 C. Antony R. Hoare获奖原因:由于在编程语言的定义和设计方面的基础性贡献。

1979 Kenneth E. Iverson获奖原因:由于在编程语言的理论和实践方面,特别是APL,所进行的开创性的工作。

1978 Robert W. Floyd获奖原因:由于在如何开发高效、可靠的软件方法论方面的贡献,这包括:建立分析理论、编程语言的语义学、自动程序检验、自动程序综合和算法分析在内的多项计算机子学科。

1977 John Backus获奖原因:由于在高级语言方面所做出的具有广泛和深远意义的贡献,特别是其在Fortran语言方面。

1976 Michael O. Rabin、Dana S. Scott获奖原因:由于他们的论文有限自动机与它们的决策问题,被证明具有巨大的价值。

1975 Allen Newell、Herbert A. Simon获奖原因:由于在人工智能、人类识别心理和表处理的基础贡献。

1974 Donald E. Knuth获奖原因:由于在算法分析和程序语言设计方面的重要贡献,计算机程序设计艺术的作者。

1973 Charles W. Bachman获奖原因:由于在数据库方面的杰出贡献。

1972 E.W. Dijkstra获奖原因:由于对开发ALGOL做出了原理性贡献。

1971 John McCarthy获奖原因:由于其讲稿The Present State of Research on ArtificialIntellegence,对人工智能领域的贡献。

1970 J.H. Wilkinson获奖原因:由于其在数值分析方面的研究工作。

1969 Marvin Minsky获奖原因:人工智能理论及软件1968 Richard Hamming获奖原因:由于其在计数方法、自动编码系统、检测及纠正错码方面的工作。

1967 Maurice V. Wilkes获奖原因:由于设计和制造了第一台内部存储程序的计算机EDSAC。

1966 A.J. Perlis获奖原因:由于其在先进编程技术和编译架构方面的贡献。

中国内地最好的一批大学学风怎么样

尊敬的顾校长,清华大学的老师、同学们:获得清华大学这所世界一流大学的名誉博士学位,让我感到非常荣幸。

清华是一所有着百年历史的名校,这里诞生了很多杰出的科学家、商业和政治领袖。

我上一次访问清华是在1997年。

当时,中国学生的才华、热情和创造性给我留下了很深的印象。

之后,我决定在中国设立微软亚洲研究院。

在沈向洋博士的领导下, 在清华等大学优秀毕业生的协助下,微软亚洲研究院取得了成功,为微软公司作出了巨大贡献。

在各种国际会议上都可以见到他们的身影。

他们也为微软的新产品如Windows Vista的诞生,付出了辛勤的努力。

在计算机科学迅速发展的今天,身为清华的学生是件激动人心的事。

我们才刚刚开始接触到软件魔法带来的奇妙体验。

全世界有十亿计算机用户,他们才刚刚开始分享信息。

随着半导体、光纤技术的发展,软件可以做更多的事情:今天的电视还是被动的,在未来,你可以从因特网下载节目,电视将能和人交流、互动;昨天我参观了中国农科院稻米研究所,看到那里的技术人员开始用软件来区分不同的稻米,为其排序,以后还可以通过软件的分析计算,用较少的农药培育出高产量的优良品种;医学界已经开始用软件来管理数据库;今天的手机已经成为我们的“数字钱包”,可以显示地图,上网查找信息,未来它还将可以和人交流;平板电脑的出现,使得在教室可以无线上网,用电脑录音、识别手写的文字。

这样,学生无需课本就能实现更有效的学习,老师也可以看到世界各地的优秀教案。

当然,软件的未来还面临很多挑战, 比如:如何使得用户更容易掌握

如何实现人工智能

但不管怎样,就计算机科学而言,我们所处的都是最激动人心的时代。

中国正在快速发展,对世界经济、科技创新正在做出越来越大的贡献。

微软公司愿意帮助中国公司的成长,帮助所有的中国公民享受到计算机科学进步所带来的成果:微软已经开展项目,帮助中国的进城务工人员、残疾人尤其是盲人享受科技成果;微软已经捐资设立了五所希望小学和五所网上希望小学;微软也同中国政府及大学合作,设立了很多学术交流项目,鼓励优秀外国专家来华讲学;有来自39所亚太地区大学的超过2000名学生曾在微软亚洲研究院实习,并有120人获得了研究资助,其中清华所占学生人数最多;本学年,微软亚洲研究院的研究人员将在清华开设一门课程:“计算机研究的热门领域”。

我还想借此机会宣布,微软公司将在清华设立“杰出访问学者”项目。

在该项目下,微软亚洲研究院每年将邀请一位世界知名的计算机专家到姚期智教授领导的理论计算机科学研究所讲学。

第一位获邀来访的是美国麻省理工大学的弗朗斯·凯斯霍德教授。

总之,我今天非常高兴来到贵校,并在接受我的母校哈佛大学颁给我名誉博士学位之前就成为清华的名誉博士。

刚才,我和大家分享了软件领域在未来可能出现的一些突破,以及它们会给企业带来的机会、为残疾人和学生提供的帮助。

我希望大家都能像我一样乐观:只要可以上网,就能获得平等的受教育机会。

微软公司对于中国市场的专注是长期的。

我们对于以学术严谨闻名的清华大学有着很高的期望。

让我们携手努力,共创信息技术未来的辉煌

谢谢大家。

和计算机上班,好吗

不妨选择:计算机科学理由如下:computer science,研究计算机及其周围各种现象和规律的科学,亦即研究计算机系统结构、程序系统(即软件)、人工智能以及计算本身的性质和问题的学科。

计算机科学是一门包含各种各样与计算和信息处理相关主题的系统学科,从抽象的算法分析、形式化语法等等,到更具体的主题如编程语言、程序设计、软件和硬件等。

计算机科学分为理论计算机科学和实验计算机科学两个部分。

后者常称为“计算机科学”而不冠以“实验”二字。

前者有其他名称,如计算理论、计算机理论、计算机科学基础、计算机科学数学基础等。

数学文献中一般指理论计算机科学。

目录研究领域计算机科学的领域研究课题相关奖项计算机系统分类美国开设计算机科学专业的院校相关学科展开研究领域计算机科学的领域研究课题相关奖项计算机系统分类美国开设计算机科学专业的院校相关学科展开编辑本段研究领域计算机是一种进行算术和逻辑运算的机器,而且对于由若干台计算机联成的系统而言还有通信问题,并且处理的对象都是信息,因而也可以说,计算机科学是研究信息处理的科学。

计算机科学分为理论计算机科学和实验计算机科学两个部分。

在数学文献中所说的计算机科学,一般是指理论计算机科学。

实验计算机科学还包括有关开辟计算机新的应用领域的研究。

计算机科学的大部分研究是基于“冯·诺依曼计算机”和“图灵机”的,它们是绝大多数实际机器的计算模型。

作为此模型的开山鼻祖,邱奇-图灵论题(Church-Turing Thesis)表明,尽管在计算的时间,空间效率上可能有所差异,现有的各种计算设备在计算的能力上是等同的。

尽管这个理论通常被认为是计算机科学的基础,可是科学家也研究其它种类的机器,如在实际层面上的并行计算机和在理论层面上概率计算机、oracle 计算机和量子计算机。

在这个意义上来讲,计算机只是一种计算的工具:著名的计算机科学家 Dijkstra 有一句名言“计算机科学之关注于计算机并不甚于天文学之关注于望远镜。

”。

编辑本段计算机科学的领域作为一个学科,计算机科学涵盖了从算法的理论研究和计算的极限,到如何通过硬件和软件实现计算系统。

CSAB(以前被叫做Computing Sciences Accreditation Board),由Association for Computing Machinery(ACM)和IEEE Computer Society(IEEE-CS)的代表组成,确立了计算机科学学科的4个主要领域:计算理论,算法与数据结构,编程方法与编程语言,以及计算机元素与架构。

CSAB还确立了其它一些重要领域,如软件工程,人工智能,计算机网络与通信,数据库系统,并行计算,分布式计算,人机交互,计算机图形学,操作系统,以及数值和符号计算。

理论计算机科学主条目:理论计算机科学广义的理论计算机科学包括经典的计算理论和其它专注于更抽象、逻辑与数学方面的计算。

计算理论主条目:计算理论按照Peter J. Denning的说法,计算机科学的最根本问题是“什么能够被有效地自动化

”计算理论的研究就是专注于回答这个根本问题,关于什么能够被计算,去实施这些计算又需要用到多少资源。

为了试图回答第一个问题,递归论检验在多种理论计算模型中哪个计算问题是可解的。

而计算复杂性理论则被用于回答第二个问题,研究解决一个不同目的的计算问题的时间与空间消耗。

著名的“P=NP?”问题,千禧年大奖难题之一,是计算理论的一个开放问题。

信息与编码理论主条目:信息论和编码理论信息论与信息量化相关,由Claude E. Shannon创建,用于寻找信号处理操作的根本极限,比如压缩数据和可靠的数据存储与通讯。

编码理论是对编码以及它们适用的特定应用性质的研究。

编码(code)被用于数据压缩,密码学,前向纠错,近期也被用于网络编码。

研究编码的目的在于设计更高效、可靠的数据传输方法。

算法算法指定义良好的计算过程,它取一个或一组值作为输入,经过一系列定义好的计算过程,得到一个或一组输出。

算法是计算机科学研究的一个重要领域,也是许多其他计算机科学技术的基础。

算法主要包括数据结构、计算几何、图论等。

除此之外,算法还包括许多杂项,如模式匹配、部分数论等。

程序设计语言理论主条目:程序设计语言理论程序设计语言理论是计算机科学的一个分支,主要处理程序设计语言的设计、实现、分析、描述和分类,以及它们的个体特性。

它属于计算机科学学科,既受影响于也影响着数学、软件工程和语言学。

它是公认的计算机科学分支,同时也是活跃的研究领域,研究成果被发表在众多学术期刊,计算机科学以及工程出版物。

形式化方法主条目:形式化方法形式化方法是一种特别的基于数学的技术,用于软件和硬件系统的形式规范、开发以及形式验证。

在软件和硬件设计方面,形式化方法的使用动机,如同其它工程学科,是通过适当的数学分析便有助于设计的可靠性和健壮性的期望。

但是,使用形式化方法会带来很高的成本,意味着它们通常只用于高可靠性系统,这种系统中安全或保安(security)是最重要的。

对于形式化方法的最佳形容是各种理论计算机科学基础种类的应用,特别是计算机逻辑演算,形式语言,自动机理论和形式语义学,此外还有类型系统、代数数据类型,以及软件和硬件规范和验证中的一些问题。

并发,并行和分布式系统主条目:并行性和分布式计算并行性(concurrency)是系统的一种性质,这类系统可以同时执行多个可能互相交互的计算。

一些数学模型,如Petri网、进程演算和PRAM模型,被创建以用于通用并发计算。

分布式系统将并行性的思想扩展到了多台由网络连接的计算机。

同一分布式系统中的计算机拥有自己的私有内存,它们之间经常交换信息以达到一个共同的目的。

数据库和信息检索主条目:数据库和数据库管理系统数据库是为了更容易地组织、存储和检索大量数据。

数据库由数据库管理系统管理,通过数据库模型和查询语言来存储、创建、维护和搜索数据。

应用计算机科学尽管计算机科学(computer science)的名字里包含计算机这几个字,但实际上计算机科学相当数量的领域都不涉及计算机本身的研究。

因此,一些新的名字被提议出来。

某些重点大学的院系倾向于术语计算科学(computing science),以精确强调两者之间的不同。

丹麦科学家Peter Naur建议使用术语datalogy,以反映这一事实,即科学学科是围绕着数据和数据处理,而不一定要涉及计算机。

第一个使用这个术语的科学机构是哥本哈根大学Datalogy学院,该学院成立于1969年,Peter Naur便是第一任教授。

这个术语主要被用于北欧国家。

同时,在计算技术发展初期,《ACM通讯》建议了一些针对计算领域从业人员的术语:turingineer,turologist,flow-charts-man,applied meta-mathematician及applied epistemologist。

三个月后在同样的期刊上,comptologist被提出,第二年又变成了hypologist。

术语computics也曾经被提议过。

在欧洲大陆,起源于信息(information)和数学或者自动(automatic)的名字比起源于计算机或者计算(computation)更常见,如informatique(法语),Informatik(德语),informatika(斯拉夫语族)。

著名计算机科学家Edsger Dijkstra曾经指出:“计算机科学并不只是关于计算机,就像天文学并不只是关于望远镜一样。

”(Computer science is no more about computers than astronomy is about telescopes.)设计、部署计算机和计算机系统通常被认为是非计算机科学学科的领域。

例如,研究计算机硬件被看作是计算机工程的一部分,而对于商业计算机系统的研究和部署被称为信息技术或者信息系统。

然而,现如今也越来越多地融合了各类计算机相关学科的思想。

计算机科学研究也经常与其它学科交叉,比如心理学,认知科学,语言学,数学,物理学,统计学和经济学。

计算机科学被认为比其它科学学科与数学的联系更加密切,一些观察者说计算就是一门数学科学。

早期计算机科学受数学研究成果的影响很大,如Kurt Gödel和Alan Turing,这两个领域在某些学科,例如数理逻辑、范畴论、域理论和代数,也不断有有益的思想交流。

计算机科学和软件工程的关系是一个有争议的话题,随后关于什么是“软件工程”,计算机科学又该如何定义的争论使得情况更加混乱。

David Parnas从其它工程和科学学科之间的关系得到启示,宣称计算机科学的主要重点总的来说是研究计算的性质,而软件工程的主要重点是具体的计算设计,以达到实用的目的,这样便构成了两个独立但又互补的学科。

人工智能主条目:人工智能这个计算机科学分支旨在创造可以解决计算问题,以及像动物和人类一样思考与交流的人造系统。

无论是在理论还是应用上,都要求研究者在多个学科领域具备细致的、综合的专长,比如应用数学,逻辑,符号学,电机工程学,精神哲学,神经生理学和社会智力,用于推动智能研究领域,或者被应用到其它需要计算理解与建模的学科领域,如金融或是物理科学。

人工智能领域开始变得正式源于Alan Turing这位人工智能先驱提出了图灵试验,以回答这样一个终极问题:“计算机能够思考吗

”计算机体系结构与工程主条目:计算机体系结构和计算机工程计算机系统结构,或者数字计算机组织,是一个计算机系统的概念设计和根本运作结构。

它主要侧重于CPU的内部执行和内存访问地址。

这个领域经常涉及计算机工程和电子工程学科,选择和互连硬件组件以创造满足功能、性能和成本目标的计算机。

计算机图形与视觉主条目:计算机图形学计算机图形学是对于数字视觉内容的研究,涉及图像数据的合成和操作。

它跟计算机科学的许多其它领域密切相关,包括计算机视觉、图像处理和计算几何,同时也被大量运用在特效和电子游戏。

计算机安全和密码学主条目:计算机安全和密码学计算机安全是计算机技术的一个分支,其目标包括保护信息免受未经授权的访问、中断和修改,同时为系统的预期用户保持系统的可访问性和可用性。

密码学是对于隐藏(加密)和破译(解密)信息的实践与研究。

现代密码学主要跟计算机科学相关,很多加密和解密算法都是基于它们的计算复杂性。

计算科学计算科学(或者科学计算)是关注构建数学模型和量化分析技术的研究领域,同时通过计算机分析和解决科学问题。

在实际使用中,它通常是计算机模拟和计算等形式在各个科学学科问题中的应用。

信息科学主条目:信息科学软件工程主条目:软件工程软件工程是对于设计、实现和修改软件的研究,以确保软件的高质量、适中的价格、可维护性,以及能够快速构建。

它是一个系统的软件设计方法,涉及工程实践到软件的应用。

[1]编辑本段研究课题计算机程序能做什么和不能做什么(可计算性);如何使程序更高效的执行特定任务(算法和复杂性理论);程序如何存取不同类型的数据(数据结构和数据库);程序如何显得更具有智能(人工智能);人类如何与程序沟通(人机互动和人机界面)。

编辑本段相关奖项计算机科学领域的最高荣誉是ACM设立的图灵奖,被誉为是计算机科学的诺贝尔奖。

它的获得者都是本领域最为出色的科学家和先驱。

华人中首获图灵奖的是姚期智先生.他于2000年以其对计算理论做出的诸多“根本性的、意义重大的”贡献而获得这一崇高荣誉。

编辑本段计算机系统分类计算机系统可划分为软件系统与硬件系统两大类。

硬件结构控制和指令系统算法和逻辑结构存储器结构冯·诺伊曼结构哈佛结构输入/输出和数据通信数字逻辑逻辑设计集成电路计算机系统组织计算机系统结构计算机网络分布式计算网络安全计算机系统实现软件系统软件操作系统编译器应用软件计算机游戏办公自动化网络软件CAD软件计算机程序程序设计和程序设计实践面向对象技术程序设计语言软件工程软件复用驱动程序计算机模拟程序设计方法学数据和信息系统数据结构数据存储表示数据加密数据压缩编码与信息论文件信息系统管理信息系统决策支持系统- 专家系统数据库信息存储和数据存取信息交互与表达主要的研究领域形式化基础逻辑学谓词逻辑模态逻辑时序逻辑描述逻辑数学泛代数递归论模型论概率论和数理统计逻辑代数布尔代数离散数学组合数学图论网论信息论理论计算机科学形式语言自动机可计算性算法计算复杂性描述复杂性编译器程序设计理论信息论类型理论指称语义微程序遗传算法并行计算计算方法学人工智能计算机图形学图像处理与计算机视觉模式识别语音识别文字识别签名识别人脸识别指纹识别仿真与建模数字信号处理文档与文本处理计算机应用数值计算数值分析定理机器证明计算机代数工程计算计算机化学计算机物理生物信息论计算生物学非数值计算工厂自动化办公室自动化人工智能信息存储与检索符号语言处理计算机辅助科学计算机辅助设计计算机辅助教学计算机辅助管理计算机辅助软件工程机器人学多媒体技术人机交互电子商务特定技术测试基准机器视觉数据压缩软件设计模式数字信号处理文件格式信息安全国际互联网络超大规模集成电路设计网络传输协议网络处理器技术整数运算器浮点运算器矩阵运算处理器网格计算科学史计算机历史软件业历史编程思想[2]编辑本段美国开设计算机科学专业的院校弗吉尼亚大学,密西根大学安娜堡分校,乔治城大学,维克森林大学,耶鲁大学,哥伦比亚大学,华盛顿大学,卡内基梅隆大学,佐治亚理工学院,加州理工学院,麻省理工学院,斯坦福大学,加州大学伯克利分校,厄巴纳伊利诺斯州大学,威斯康星大学-麦迪逊分校,伦斯勒理工学院编辑本段相关学科计算机科学与另外的一些学科紧密相关。

这些学科之间有明显的交叉领域,但也有明显的差异。

信息科学 - 软件工程 - 信息系统 - 计算机工程 - 信息安全 - 密码学- 数学 - 工程学- 语言学 - 逻辑学编辑本段发展历史计算机科学中的理论部分在第一台数字计算机出现以前就已存在。

计算机科学根植于电子工程、数学和语言学,是科学、工程和艺术的结晶。

它在20世纪最后的三十年间兴起成为一门独立的学科,并发展出自己的方法与术语。

20世纪30年代中期英国数学家A.M.图灵和美国数学家E.L.波斯特几乎同时提出了理想计算机的概念(图灵提出的那种理想机在后来的文献中称为图灵机)。

40年代数字计算机产生后,计算技术(即计算机设计技术与程序设计技术)和有关计算机的理论研究开始得到发展。

这方面构成了现在所说的理论计算机科学。

至于图灵机理论,则可以看作是这一学科形成前的阶段。

至于“计算机科学”一词则到60年代初才出现,此后各国始在大学中设置计算机科学系。

学科内容 计算机科学是一门年轻的科学,它究竟包括哪些内容,还没有一致公认的看法。

一般认为,计算机科学主要包括理论计算机科学、计算机系统结构、软件工程的一部分和人工智能。

理论计算机科学 理论计算机科学是在20世纪30年代发展起来的。

40年代机电的与电子的计算机出现后,关于现实计算机及其程序的数学模型性质的研究以及计算复杂性(早期称作计算难度)的研究迅速发展起来,形成自动机论、形式语言理论、程序设计理论、算法设计与分析和计算复杂性理论几个领域。

计算机系统结构50年代50年代以来,计算机的性能在计算速度和编址空间方面已提高了几个数量级。

但大部分是通过元件更新而获得的。

在系统结构方面基本上仍是属于40年代后期形成的存储程序型,即所谓诺伊曼型机器。

这种结构的主要特点是它属于控制流型。

在这种结构中,一项计算先做什么后做什么是事先确定了的,程序中指令的顺序是事先确定了的。

为了在计算机的性能方面取得大的进展,需要突破这种旧的形式。

计算机系统结构方面的重要课题之一,是探索非诺伊曼型机器的设计思想。

在非诺伊曼型机器中,有一种是70年代初提出的数据流机器(又名数据驱动机器)。

美国、苏联和英国都已制成这种机器。

这种机器的特点是,在一项计算中先做什么后做什么不是事先确定,所执行的指令是动态排序的。

排序的原则是操作数已准备就绪的先做,因而称作数据驱动机器。

这种类型的机器更便于实现并行计算。

软件工程 程序设计在相当长的时间内是一种类似“手艺”而不是类似现代工程的技术。

60年代60年代以来出现了大程序。

这些大程序的可靠性很难保证。

到60年代后期,西方国家出现了“软件危机”。

这是指有些程序过于庞大(包含几十万条以至几百万条指令),成本过高而可靠性则比较差。

于是提出了软件工程的概念,目的在于使软件开发遵守严格的规范,使用一套可靠的方法,从而保证质量。

现代软件工程的方向是形式化和自动化,而形式化的目的在于自动化。

这里所说的自动化就是将程序设计中可以由机器来完成的工作,尽量交给机器去做。

中心课题之一是程序工具和环境的研究。

程序工具是指辅助人编程序的程序,如编译程序、编辑程序、排错程序等;程序环境则是指一套结合起来使用的用来辅助人编程序的程序工具。

人工智能 用计算机模拟人的智能,特别是模拟思维活动的技术及其有关理论。

由于人的思维活动离不开语言,而且人对于某一类问题进行思索和探索解法时,总是需要以关于这一类问题的基本知识(专业知识或常识)作为出发点。

于是,知识表示和机器对自然语言的理解就构成人工智能的两个重要领域。

所谓知识表示,是指将原来用自然语言表示的知识转换成用符号语言表示的,从而可以储存在机器内供机器使用的知识。

人工智能的研究角度有探索法的角度和算法的角度。

通常所说的解题算法是指机械的和总是有结果的方法,而这里所说的算法却是广义的,包括那些机械的而在使用时不一定有结果的算法。

这种方法时常称作半可判定的方法。

人在解决问题时,时常采用探索法。

这种方法具有“试错法”的性质,也就是说,试验若干条途径,一条路走不通时再试另一条,直到问题得到解决时为止。

机器可以模拟人用探索法解题的思维活动。

但由于可能途径的数目非常之大,不可能进行穷举式的探索。

人一般是只选出一些最有希望得到结果的途径去进行探索。

人的这种能力,就是进行创造性思维的能力。

这是机器极难模拟的事情。

采用算法角度,使用特定的解题算法或半可判定的方法时,会遇到另一方面的困难。

那就是当问题的复杂程度较高时(比如说是指数的),即使问题是有结果的,机器也无法在实际可行的时间内得到结果。

在计算机出现的初期,人们曾寄希望于机器的高速度,以为在模拟人的思维时,机器可能用它的高速度来换取它所不具有的创造性思维。

但通过“组合性爆炸”问题(“组合性爆炸”是指一些组合数学中的问题,在参数增大时,计算时间的增长率时常是指数的,甚至高于指数),人们认识到,单纯靠速度不能绕过组合性爆炸所产生的障碍。

有无办法来克服这种困难,尚有待于进一步研究。

与其他学科的关系 计算机是由物理元件构成的,迄今主要是由电子元件构成的。

因此,物理学的一些分支和电子工程便构成计算机科学的基础。

同时,计算机科学在一定意义上是算法的科学,而算法是一个数学概念。

因此,数学的某些分支如算法理论(即可算性理论,又名递归函数论)也构成计算机科学的基础。

但计算机科学已发展成为一门独立的技术科学,既不是电子学的一个分支,也不是数学的一个分支。

这是就这个学科的整体而言。

至于理论计算机科学,由于它可以看作是计算机科学的数学基础,在一定意义上,可以看作是数学的一个分支。

另一个与计算机科学有密切关系的学科是控制论。

控制论作为应用数学方法来研究机械系统和生命系统中的控制和通信现象的学科,同计算机科学有内容上的交叉,但后者不是它的一部分。

自从40年代制成数字计算机以来,计算机的性能有了很大的提高。

但在系统结构方面变化不大。

一些计算技术发达国家正在研制新一代的计算机。

这种计算机的系统结构将与过去40年的机器很不相同,所用的程序设计语言也将是新型的。

计算机科学将研究由此出现的新问题,如有关并行计算的问题。

对计算的数学性质的研究大都还是关于串行计算的,对并行计算性质的研究自70年代才发展起来,预计将成为计算机科学的中心课题之一。

另一个问题是程序设计的自动化问题。

在程序设计方面,明显的趋势是将机器能做的尽量交给机器去做。

程序环境的研究构成了软件工程的一个中心课题。

形式化方法越来越受到重视,因为它是提高自动化程度所必需的。

早期,虽然英国的剑桥大学和其他大学已经开始教授计算机科学课程,但它只被视为数学或工程学的一个分支,并非独立的学科。

剑桥大学声称有世界上第一个传授计算的资格。

世界上第一个计算机科学系是由美国的普渡大学在1962年设立,第一个计算机学院于1980年由美国的东北大学设立。

现在,多数大学都把计算机科学系列为独立的部门,一部分将它与工程系、应用数学系或其他学科联合。

请采纳。

怎样介绍计算机工程系,具体一些(要涉及到各个专业)

参考:计算机科学是一门包含各种各样与计算和信息处理相关主题的系统学科,从抽象的算法分析、形式化语法等等,到更具体的主题如编程语言、程序设计、软件和硬件等。

作为一门学科,它与数学、计算机程序设计、软件工程和计算机工程有显著的不同,却通常被混淆,尽管这些学科之间存在不同程度的交叉和覆盖。

计算机科学研究的课题是:计算机程序能做什么和不能做什么(可计算性); 如何使程序更高效的执行特定任务(算法和复杂性理论); 程序如何存取不同类型的数据(数据结构和数据库); 程序如何显得更具有智能(人工智能); 人类如何与程序沟通(人机互动和人机界面)。

计算机科学的大部分研究是基于“冯·诺依曼计算机”和“图灵机”的,它们是绝大多数实际机器的计算模型。

作为此模型的开山鼻祖,邱奇-图灵论题(Church-Turing Thesis)表明,尽管在计算的时间,空间效率上可能有所差异,现有的各种计算设备在计算的能力上是等同的。

尽管这个理论通常被认为是计算机科学的基础,可是科学家也研究其它种类的机器,如在实际层面上的并行计算机和在理论层面上概率计算机、oracle 计算机和量子计算机。

在这个意义上来讲,计算机只是一种计算的工具:著名的计算机科学家 Dijkstra 有一句名言“计算机科学之关注于计算机并不甚于天文学之关注于望远镜。

”。

计算机科学根植于电子工程、数学和语言学,是科学、工程和艺术的结晶。

它在20世纪最后的三十年间兴起成为一门独立的学科,并发展出自己的方法与术语。

早期,虽然英国的剑桥大学和其他大学已经开始教授计算机科学课程,但它只被视为数学或工程学的一个分支,并非独立的学科。

剑桥大学声称有世界上第一个传授计算的资格。

世界上第一个计算机科学系是由美国的普渡大学在1962年设立,第一个计算机学院于1980年由美国的东北大学设立。

现在,多数大学都把计算机科学系列为独立的部门,一部分将它与工程系、应用数学系或其他学科联合。

计算机科学领域的最高荣誉是ACM设立的图灵奖,被誉为是计算机科学的诺贝尔奖。

它的获得者都是本领域最为出色的科学家和先驱。

华人中首获图灵奖的是姚期智先生.他于2000年以其对计算理论做出的诸多“根本性的、意义重大的”贡献而获得这一崇高荣誉。

计算机科学是什么学科?学什么?

计算机科学和技术一般是包括2个方面的,计算机应用和计算机网络,软件工程师独立出来的。

然而计算机系则包括计算机科学和软件工程数学不好读网络方面还是可以的,计算机学好了很不错,不过工作比较辛苦,而且形式不是很好,毕竟现在会计算机的太多了

姚期智说过名言相关文章

猜你喜欢