| 词条 | 计算机科学轮廓 |
| 释义 | 概括计算机科学轮廓（Outlineofcomputerscience)提供计算机科学的纵览和课题导引。计算机科学也称计算科学，是研究计算机系统内的设备和所用信息及计算理论的基础科学。 内容1.数学基础 1.1算数和数据结构 1.2人工智能 1.3合作网络 1.4通信和安全 1.5计算机建造 1.6计算机制图 1.7同时，平行和分布系统 1.8数据库 1.9程序语言和编译 1.10科学计算 1.11软件工程 1.12计算理论 2.使命 3.基本概念 3.1数据和数据结构 3.2其它 正文1.数学基础 。数学逻辑—布尔逻辑和其它模型逻辑提问；形式证明方法的使用和限制 。数字理论—整数理论，在密码术和人工智能试验范围内使用 。制图理论—数据结构和捡索算法的基础 。对策论—在人工智能和密码术中有用 。密码理论—在网络和其它相互通讯的计算机中使用 1.1算术和数据结构 。算术—解决广范围问题时，序贯和平行计算过程使用 。数据结构—数据组织和操纵 1.2人工智能 。人工智能—研究和落实有自治能力和行动的系统 。自动推理 。机器人—控制机器人行为的算术 。计算机视觉—从二维图像转换为三维物体的算术 。机器学习—基于输入自动产生一系列规则和公理 1.3合作网络 。实际组织—包括实际和扩展的企业 。合作环境（VO Breeding Environment)—包括工业族，工业区域，数字商业生态系统 。专业实际共同体 1.4通讯和安全 。网络化—为了可靠通讯数据通过不同的共享或献出媒体的算术和协议，常包括错误更正 。计算机安全—使计算机和计算机网络安全的实际方面 。密码术—从复杂，机率和数目理论结果应用到发明和解开密码，并分析密码协议的安全性 1.5计算机建造 。计算机建造—设计，组织，优化和确认计算机系统；主要是关于CPU 和存储系统 。操作系统—管理计算机程序和提供可用系统基础的系统 1.6计算机作图 。计算机作图—产生可见图像和从真实世界采集或改变可见及空间信息的算术 。影像加工过程—通过计算机，决定自影像来的信息 1.7同时，平行，和分布系统 。同时—同时计算的理论和实践：数据在任何多任务和多线索环境下都安全 。平行计算—利用能解决多加工过程问题的算术，使能平行计算 。分布计算—用多计算器件通过网络计算去完成任务,因而减少延迟。 数据库 。相关数据库—数据库的系列理论和算术的基础 。数据采集—为了寻找和加工文件及数据库中信息研究算术，与恢复信息有密切关系。 程序语言和编译 。编译理论—基于自动理论的编译设计理论 。程序语言语用学—程序语言分类，它们的强度和弱点。各种语言语用学，如面向对象的程序化。 。程序与语言理论 。形式语义学—程序意义大量数学研究 。点型理论—典型数据的形式分析，和利用这些典型去了解程序的性质—特别是数据的安全 科学计算 。计算科学—构成数学模型和定量分析技术及利用计算机分析和解决科学问题。 。数字分析—数学问体的近似解决，如求根，积分,序数微分方程的解和特殊函数的近似。 。符号的计算—符号形式表达的操作和解决，也称为计算机代数。 。计算物理—大的，非分析系统的数字模拟 。计算化学—为了决定化学性质和结构，计算理论化学的模型 。生物信息和计算生物学—利用计算机科学维持，分析，储存生物数数据，去帮助解决生物问题,如蛋白折叠， 功能预言和发展史 。计算神经科学—计算神经生理学的模型 软件工程 。形式方法—为了软件设计的描述和推理的数学接近 。软件工程—设计，发展和测试程序和适当工程实践的原理和实际 。算术设计—用算术理论的思想去设计实际的任务 。计算机程序化—用程序语言去履行算术的实际 。人类-计算机相互作用—研究和设计人用的计算机相互作用 。互换工程—应用科学方法去了解任何存在的软件 计算机理论 。自动装置理论—为了解决问题的不同逻辑结构 。可计算的理论—用现有的计算机，什么是可计算的？用艾伦-图灵机和其它方法了解什么可以，什么不可以 提 供证明 。计算复杂性理论—计算分类的基础 。量子计算理论—开拓包含量子位重叠的计算模型 |
| 随便看 |
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。