我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:六合特码 > 多带图灵机 >

计算机专业学生在大学中最应该做的事有哪些?

归档日期:05-15       文本归类:多带图灵机      文章编辑:爱尚语录

  如果让你再回到大学学计算机专业,你会怎么重新安排你的大学生活,有哪些事会觉得后悔和遗憾没有做过?

  拿跪舔名企牛逼的时间多看看书,充实内心,多出去走走,磨练出一颗平静的心,最后就是锻炼好身体。

  最最重要的一点:牛逼不是源于进了哪个公司,认识了哪些人。而是源于踏踏实实的做成了哪些事,帮助了哪些人,珍惜了哪些重要的人。

  “万一发生争执,正像两个会计员之间无须乎有辩论,两个哲学家也不需要辩论。 因为他们只要拿起石笔,在石板前坐下来,彼此说一声(假如愿意,找个朋友作证):我们来算算,也就行了。” ——莱布尼兹

  庄评:差不多在康熙时期,莱布尼兹提出了通用计算的设想,要实现他的梦想,要将现实世界的问题表征成符号或者数字,然后通过推理或者计算得到结果,通过结果就可以解决现实问题。莱布尼兹的梦想,到现在也不能说已经实现了。其实,从理论中可以证明,这是不可能完全实现的,因为数字化和算法设计都是人在进行,不同的人有不同的观念,计算机的辩论,其实质是人类不同观念的辩论。

  德国思想家莱布尼兹是有史以来最伟大的思想家之一,以下是他的事迹简单。他与牛顿分别独立发现了微积分,后世使用的微积分主要使用莱布尼兹的符号;他提出了通用计算的思路,使用计算来代替思考。他的这种想法,对于后来数理逻辑、计算机科学和分析哲学有重大影响;他提出了可能世界思想。如果某世界与现有世界并不矛盾,那就是可能的世界。他的可能世界思想后来被克里普克发展为可能世界语义,广泛用于非经典逻辑的语义解释;他还系统提出了二进制,这是现代计算机使用的内部语言。他曾经说过:“从虚无创造万有,用一就够了”。晚年莱布尼兹,主要致力于信仰事业。我们常常就此批评莱布尼兹,就像我们也常常批评帕斯卡的信仰,牛顿的信仰,哥德尔的信仰……有时候我也糊涂了,到底是这些伟大的思想家集体糊涂了,还是我一个人糊涂了?

  “一个好的数学家,至少是半个哲学家;一个好的哲学家,至少是半个数学家。”--弗雷格

  庄评:弗雷格对于我们也许是陌生的名字,然而弗雷格是上世纪最伟大的思想家之一。他的《概念语言》一书,系统提出了现代逻辑,用严格清晰的数学符号来研究逻辑学。因此,他开创的现代逻辑学又称为数理逻辑,或符号逻辑。为什么说他是上世纪最伟大的思想家之一,这一点没有夸张。他开创的数理逻辑对上世纪的科学和哲学两大领域都有重大影响。一方面,顺着罗素,希尔伯特,哥德尔,计算机之父图灵机,人工智能之父麦卡锡这个方向,他开创的数理逻辑思想被广泛用到计算机科学,被广泛用到人工智能和程序证明。另一方面,顺着罗素,维特根斯坦,卡尔纳普,奎因,普特南这个方向,他开创的数理逻辑及概念分析法发展成分析哲学。而分析哲学,是当前西方哲学的主流方向之一。

  然而在当时,他的著作对于大多数数学家来说过于哲学化,而对大多数哲学家来说又过于数学化。因此,弗雷格的著作长期受到冷遇,在相当长一段时间内,哲学杂志和数学杂志都拒绝发表他的论文。这个现象也容易理解,当一个思想家的思想高度超出了同时代水平,那么就少有人可以欣赏他了。苏轼就此进行过评论:“高处不胜寒”。

  到了当代,弗雷格开创的现代逻辑,基本上是哲学系,数学系和计算机科学系都要学的课程。

  “对爱情的渴望,对知识的追求,对人类苦难无可遏止的同情心,这三种简单而又强烈的感情支配了我的一生。”--罗素

  庄评:罗素的头衔很多,哲学家,数学家,逻辑学家,社会活动家,文学家。他在逻辑学方面的成就,主要是与他的老师怀特海编写了《数学原理》,使得弗雷格开创的数理逻辑更加系统更加完善。如果说弗雷格是数理逻辑的开山祖师,那么罗素就是数理逻辑的集大成者。罗素继续弗雷格的逻辑主义,想把数学归结到逻辑上。然后,他自己提出的罗素悖论使这一努力失败。当弗雷格收到罗素发来的关于罗素悖论的信,他写道:“对一个科学工作者来说,最不幸的事情莫过于:当他完成他的工作时,却发现他的知识大厦的一块基石突然动摇了。正当本书的印刷接近完成之际,伯特兰·罗素先生给我的一封信使我陷入这种境地。”虽然逻辑主义失败了,但没关系,“柳暗花明又一村”,人类历史又翻开了新的篇章。

  庄评:计算机科学的诞生还要纪念一位独行侠布劳维尔,荷兰数学家,自立门户,提出了构造主义思想,反对康托尔集合论,认为罗素悖论是根源于非构造性的数学,强调构造性证明,反对基于无穷集的排中律。他的构造思想被希尔伯特吸收,广泛影响于后世的计算思想。他的构造思想还巨大影响了哲学家维特根斯特,维氏曾经觉得哲学已经被他解决了,不搞哲学忙着从事教育小学生,在听了布劳维尔的公开讲座之后,他又回归了哲学思考。

  数学家逻辑家布劳维尔的人生与科学家中的科学家特斯拉有几分相似,当利益冲击理性时,他们承受了因为他们的贡献而带给他们的磨难。

  庄评:数学基础出现了矛盾,以确定性追求为己任的数学家如何受得了。集合论的矛盾弥漫开来,有人也怀疑算术是否也有矛盾。为了捍卫古典数学的尊严,作为当时数学界的领袖,希尔伯特当仁不让,接过了这个挑战。继1900在数学家大会上提出著名的希尔伯特23个问题后,1904年,希尔伯特在数学家大会上又提出一个证明算术无矛盾性的思路。这个思路也称为形式主义纲领,它的核心思想是将算术表达为一种形式系统或称公理系统,然后用有穷步骤证明该系统的无矛盾性。希尔伯特的目的是试图对形式系统的无矛盾性给出让大家都可以接受的证明,以便克服悖论所引起的危机,一劳永逸地消除对数学基础以及数学推理方法可靠性的怀疑。对于这个纲领,希尔伯特信心十足,在哥尼斯堡演讲中说出了上面的话。

  更让人肃然起敬的是,希特勒上台后,德国国内掀起反犹大潮,希尔伯特却敢于上书抵制纳粹政府迫害犹太科学家。这种人格魅力,有时候比他的学术魅力,更为得到别人的尊敬。

  庄评:哥德尔研究了希尔伯特纲领,给出否定的答案,宣告希尔伯特纲领的失败。1930年提出的哥德尔第二不完备性说,任何包含一阶算术的形式系统,该形式系统的无矛盾性,在该形式系统内无法通过有穷的步骤得到证明。在定理的证明中,哥德尔还提出了很多有用的理论,比如如何把符号编码为自然数,还有使用递归函数来研究有穷证明的能力范围。哥德尔的工作揭示了有些问题是不可通过有限的步骤得以证明的,那么什么问题是可以通过有限的步骤证明的?沿着这个问题,哥德尔的很多工作,被应用到了可计算性的研究。什么是可以有穷证明的,从可计算性的角度来说对应于,什么是可以计算的。

  因为哥德尔在逻辑学上的巨大贡献,也可以更一般地说在符号系统方面的巨大贡献,人们把哥德尔当作亚里士多德,莱布尼兹以来最伟大的逻辑学家。晚年的哥德尔,致力于证明上帝存在。

  它由一个控制器和一条两端可无限延长的工作带组成:工作带起着存储器的作用,它被划分为无穷多个可写可擦的方格。控制器则可以在带上左右移动,控制带有一个读写头,读写头可以读出当前方格内的符号,然后根据预先设计的状态转换指令,选择改写或抹去这一符号,然后选择往左移一格,往右移一格或者不移动,并进入下一个状态。当状态转换到停机状态,则停止运行。

  庄评:哥德尔不完备定理出世后,在剑桥大学的图灵设想:能否有这样一台机器,通过某种一般的机械步骤,能够解决所有可以解决的数学问题。以上机器就是他提出来的图灵机。图灵机可以计算的问题,就称为图灵机可计算。哥德尔提出不完备性定理之后,数学家们广泛研究了我们平常理解的可计算到底意味着什么。图灵机出来后,根据丘奇图灵命题,所谓直觉的可计算性,就被定义为图灵机可计算。

  图灵机的特点就是模拟大脑达到通用计算的能力:给大脑一个算式,他会自动计算。同样,给图灵机一个程序,他也会自动计算。图灵考虑问题,已经超越了普通计算,而是站在更高的层面,模拟大脑的通用计算能力。至今为止,电脑一直在模拟人脑,到现在也不曾超越人脑,除了速度快。

  图灵机的出现,奠定了计算机科学的理论基础,计算机的出现已经主要是技术实现的问题了。据说,图灵在二战期间主持设计了一台计算机。但资料比较多的,1946年,数学家冯·诺依曼主持设计了第一台计算机。但不管如何,图灵被广泛认为是“计算机之父”。现代计算机的计算能力,还是在图灵机的计算能力之内,当然速度是越来越快了。图灵开辟了一条大路,后来的科学家又开辟了一些中路小路,我们则行走在前人铺就的路上。

  1966年,美国计算机协会设立以图灵为名的“图灵奖”,用于表彰在计算机科学领域做出突出贡献的科学家。图灵奖的得主有:Minsky,“人工智能之父”McCarthy,Dijkstra,Knuth,Backus,Floyd,Hoare,Codd,Cook,Thompson,Wirth,姚期智,RSA三人,“互联网之父”Cerf和Kahn……

  又:计算机科学的核心精神就是简明高效地解决问题,不管是使用电脑还是大脑。回顾上面的历史,发现一个有趣的现象:德国长于概念分析,英国人有经验主义传统,美国人则有实用主义传统,这三者结合起来,所向披靡。在中国,计算精神又可以焕发什么样的活力?

  打基础,把操作系统和计算机组成原理学好,无论以后你学习java、C++或者C#,这些东西都是必修的,再就是算法。一句话:基础很重要

  作为一个即将毕业的计算机专业学生来说,我觉得能掌握一个平衡是最好不过的了。即不能忽视基础知识,例如,数学、英语、数据结构、计算机网络等必备功夫,也需要时不时地体验体验热门新技术,例如(PhoneGap、JqueryMobile等)。基础真的需要打扎实,但也需要锻炼你的洞察力、思维跟上技术的趋势,这都是为以后打基础。在理论与实践之间也需要寻求一个平衡,学习原理,想办法去应用原理(例如多去解决ACM程序题目,实际参与项目等)。在专业内与专业外也寻求一个平衡,最好不要只了解计算机专业方面的知识,适当的了解经济、金融、政治等方面的知识,我觉得这些知识真的有很大的用处也很有趣,我也认为大学应该是通教。最后,用四年时间来给自己一个梦想,给以后一个奋斗的目标吧。还要补充一点,那就是踏实,不能心浮气躁。

  很赞成@廖雪峰 的说法,必须要学好英语。因为国外有太多优秀的课程和文档了,最新的东西总是以英语的形式出现在互联网上,英语也是Hacker的通用语言。

  刚进大学,如果没什么编程基础,先自学Python这类脚本语言,不但能养成良好的编程习惯,还能体验编程的乐趣。如果以C/C++为第一门语言,确实有点伤神啊~很多童鞋就是因为这样放弃学计算机的。而且,大学也只会安排C/C++,Java,C#这些静态语言的课程,虽然他们很强大,但对于一个新手,显然学习曲线有点陡。

  学好英语,扎实基本的计算机知识,掌握一门编程语言,学好算法和数据结构,了解操作系统。然后培养自己喜欢的兴趣。如果你想往更高处发展,那么请把自己当成数学系的学生

  几点建议:1把数学,大学物理和英语学好,前两个帮助你抽象的认识这个世界,后一个帮助你学习先进的技术;2找学校的老师跟着做些项目,将理论和实际结合起来;3用好unix系统(在这个系统下,你才能体验到线多多的思考

  1.我感觉最重要的是找到自己的方向。毕竟你学习也是为了工作,在学校的话,课程的设置是比较杂的,也不会是专为了一个职业而开的。所以我觉得应该尽快的找到自己的方向,也就是你觉得自己将来想做哪个工作。我现在大二,大一的专业课就是c和c++,学完后总觉得想做个什么东西出来但总是一头雾水,不知道从哪里下手。后来开始接触到慕课网,就开始各种杂乱的学习,比如说我最开始觉得做网页比较酷,就接触到前端工程师这个职业,然后就开始学习html,css,js什么的,再后来觉得兴起了想在暑假做个小的app,于是又开始学习android,发现学安卓要有java基础,就又转向java。在有些人看来我可能有些三分钟热度,但是我想说的是应该趁着大一大二没有那么多专业课(尤其毛概,马原的课还挺多)时,去多多地尝试,不管是什么方向都去试一试学一学,我在学习java的过程中无聊了就经常随便点一个课程来看,经常会有惊喜出现。当你看的多了就会慢慢对自己的方向有点感觉了。

  2.还有一个就是好奇心吧,对于计算机专业的学生,你想学的话是有很多东西可以学的,互联网上各种新鲜的东西层出不穷,就算是一个你用来写代码的工具也有很多东西可以学,比如最开始学c老师推荐的工具肯定是visual c++,但这时候vs已经发展的很好了,那你要不要去尝试一下vs呢。对于互联网来说,紧跟潮流是一定要的,但这不是说要遇到新的就抛掉旧的,毕竟适合自己的才是最好的,而是说你需要去了解这个新东西他能做些什么,他的优点又在哪里,他代表了哪些最新的需求。我也是刚开始什么都不懂,电脑桌面上孤零零的visual c++,永远只是看学校发的教材,按部就班地走。后来慢慢地去尽可能多接触一些新的东西,我的桌面从开始的vc到cb到vs,从dreamweaver到sublime,慢慢增加ps,eclipse,android studio,vmware,我知道他们很杂,但他们代表了我慢慢尝试的过程。我也开始学着去用github,学着去适应满眼的英文。这些东西,都是因为好奇而去接触,然后慢慢地去找到对自己有用的东西。

  3.一定要擅长利用工具。可以说在开始学计算机的时候,百分之九十的问题网上都有答案。我一直觉得自己去搜索得到答案比问同学得到答案要好。虽然最终的结果都是一样,都是你得到答案并解决了问题。但搜索的过程会锻炼你的整合信息的能力,你结合实际处理问题的能力。不要怕花时间,因为你得到的东西比你花费的时间要有价值得多。说实话,上大学前我对于计算机的了解真的仅限于百度,聊天,玩游戏。就算是开学一段时间后也是只知道用vc来写几个c程序,说起来,我其实挺感谢知乎的,是她让我真正开始接触到程序员的世界,那么多种语言,那么多不同的工作岗位,那么多新奇的东西。其实互联网上很多知识就在那里,只是等着你去看到他。

  4.英语。这个的重要性我就不必说了。我只能说,有兴趣就好好学,学到可以用英语流利交谈的地步。兴趣不大的就去学到可以看懂国外英文文档,看懂国外技术网站的地步。实在是学不进去的就做到能看懂英文注释能记住专业单词的地步吧。

  作为一个大三党,个人觉得应该是提高编程能力,找一个靠谱的老师,跟着做项目,多像系里的高年级大牛学习,提高自身实力,尽早学会使用linux,github,stackoverflaw,尽早做一个个人技术博客,坚持写技术文章,每周一篇就很不错了。

本文链接:http://ticketsareus.net/duodaitulingji/448.html