加拿大计算机专业你了解多少？-晨晟留学之家

　加拿大的计算机科学专业闻名世，每年都吸引着来自世界各地的学生前来申请，为了给大家带来帮助，下面老师为大家带来加拿大理工计算机科学硕士专业解析与申请要求。

　　什么是计算机科学？

　　计算机科学是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域；有些强调特定结果的计算，比如计算机图形学；而有些是探讨计算问题的性质，比如计算复杂性理论；还有一些领域专注于怎样实现计算，比如编程语言理论是研究描述计算的方法，而程序设计是应用特定的编程语言解决特定的计算问题，人机交互则是专注于怎样使计算机和计算变得有用、好用，以及随时随地为人所用。

　　计算机科学专业分支介绍

　　算法是指解题方案的准确而完整的描述，是一系列解决问题的清晰指令，算法代表着用系统的方法描述解决问题的策略机制。也就是说，能够对一定规范的输入，在有限时间内获得所要求的输出。

　　计算复杂性理论

　　计算复杂性理论是理论计算机科学的分支学科，使用数学方法对计算中所需的各种资源的耗费定量的分析，并研究各类问题之间在计算复杂程度上的相互关系和基本性质，是算法分析的理论基础。

　　编程语言

　　编程语言理论是计算机科学的一个旁支，专门研究编程语言的设计，实现，分析和归类。

　　编程语言俗称“计算机语言”，种类非常的多，总的来说可以分成机器语言、汇编语言、高级语言三大类。电脑每做的一次动作，一个步骤，都是按照已经用的计算机语言编好的程序来执行的，程序是计算机要执行的指令的集合，而程序全部都是用我们所掌握的语言来编写的。所以人们要控制计算机一定要通过计算机语言向计算机发出命令。

　　形式化方法

　　形式化方法在逻辑科学中是指分析、研究思维形式结构的方法。

　　它把各种具有不同内容的思维形式加以比较，找出其中各个部分相互联结的方式，如命题中包含概念彼此间的联结，推理中则是各个命题之间的符号语言，用符号与符号之间的联系表达命题或推理的形式结构。

　　分布式系统

　　分布式系统是建立在网络之上的软件系统。

　　分布式系统中，一组独立的计算机展现给用户的是一个统一的整体，就好像是一个系统似的。系统拥有多种通用的物理和逻辑资源，可以动态的分配任务，分散的物理和逻辑资源通过计算机网络实现信息交换。系统中存在一个以全局的方式管理计算机资源的分别式操作系统。通常，对用户来说，分布式系统只有一个模型或范型。在操作系统之上有一层软件中间件负责实现这个模型。

　　信息科学

　　主要是指以信息为研究对象，利用计算机及其程序涉及等技术为研究工具来分析问题、解决问题的学问，是以扩展人类的信息功能为主要目标的一门综合性学科。

　　主要关注与分析、收集、分类、处理、存储、检索、运动、传播和保护信息。

　　人工智能

　　人工智能它是研究、开发、用于模拟、延伸和扩展人的智能的理论、方法、技术及应用系统的一门新的技术科学。

　　人工智能是计算机科学的一个分支，它企图了解智能的实质，并生产出一种新的能以人类智能相似的方式做出反应的智能机器，该领域的研究包括机器人、语言识别、图像识别、自然语言处理和专家系统等。人工智能是对人的意识、思维的信息过程的模拟。人工智能不是人的智能，但能像人那样思考、也可能超过人的智能。

　　人工智能是一门极富挑战性的科学，从事这项工作的人必须懂得计算机知识，心理学和哲学。

　　软件工程

　　软件工程是一门研究用工程化方法构建和维护有效的、实用的和高质量的软件的学科。

　　它涉及程序设计语言、数据库、软件开发工具、系统平台、标准、设计模式等方面。

　　在现代社会中，软件应用于多个方面。典型的软件有电子邮件、嵌入式系统、人机界面、办公套件、操作系统、编译器、数据库、游戏等。同时，各个行业几乎都有计算机软件的应用，如工业、农业、银行、航空、政府部门等。

　　数据库