比浏览器更快的访问！
136 关系: 劍橋大學出版社，动画，域理论，埃达·洛夫莱斯，千禧年大獎難題，可视化 (计算机图形学)，多处理机，娛樂，学术期刊，安全，密码学，工程学，个人电脑硬件，中学，布莱兹·帕斯卡，市场流通性，人，人工生命，人工智能，人类基因组计划，人机交互，互联网，库尔特·哥德尔，应用数学，代数，形式化方法，形式语义学，形式语言，保安，信息，信息系统，信息技术，信息时代，心理学，分布式计算，分支领域，克劳德·香农，图形计算器，图像处理，图灵测试，图论，硬件，社会，社会智力，神经生理学，科学，科学家，程序设计，程式語言理論，符號學，...，算筹，算盘，算法，算法交易，算法分析，类型论，精神哲学，系统分析，縮寫，统计学，经济效益，维多利亚时代，编程语言，编译器设计，生物信息学，电子游戏，物理学，特效，难解型问题，類型系統，规范，計算複雜性理論，計算機工程，語言，计算，计算尺，计算化学，计算几何，计算理论，计算科学，计算物理学，计算模型，计算机协会，计算机图形学，计算机科学家列表，计算机系统结构，计算机领域中的女性，计算机视觉，计算机模拟，计算流体力学，认知科学，语言学，软件，软件工程，软件工程主题列表，进程演算，范式，范畴论，量子计算机，自动机，自动机理论，自然语言处理，金融，艾伦·图灵，艾兹赫尔·戴克斯特拉，電子計算機，電腦科學家，電腦成像，電機工程學，蛋白质折叠，逻辑，递归论，Folding@home，IBM，P/NP问题，Petri网，PRAM模型，SPICE，University of Cambridge，Zentralblatt MATH，查尔斯·巴贝奇，恩尼格玛密码机，模式识别，演绎推理，机器学习，斯拉夫语族，日本，数学，数字电路，数值分析，数理逻辑，数论，数据库，数据结构，数据模型，打孔機。 扩展索引 (86 更多) »
劍橋大學出版社
劍橋大學出版社（Cambridge University Press）隸屬於英國劍橋大學，成立於1534年，是世界上僅次於牛津大學出版社的第二大大學出版社。.
新！!: 计算机科学和劍橋大學出版社 · 查看更多 »
动画
动画是指由许多帧静止的画面，以一定的速度（如每秒16张）连续播放时，肉眼因视觉残象产生错觉，而误以为画面活动的作品。为了得到活动的画面，每个画面之间都会有细微的改变。而画面的制作方式，最常见的是手绘在纸张或赛璐珞片上，其它的方式还包含了運用黏土、模型、纸偶、沙画等。 由于电脑科技的进步，现在也有许多利用电脑动画软件，直接在电脑上制作出来的动画，或者是在动画制作过程中使用电脑进行加工的方式，这些都已经大量运用在商业动画的制作中。 通常动画是由大量密集和乏味的劳动产生，就算在电脑动画科技得到长足进步和发展的现在也是如此。.
域理论
域理论是研究通常叫做域(domain)的特定种类偏序集合的数学分支。因此域理论可以被看作是序理论的分支。这个领域主要应用于计算机科学中，特别是针对函数式编程语言，用它来指定指称语义。域理论以非常一般化的方式形式化了逼近和收敛的直觉概念，并与拓扑学有密切联系。在计算机科学中指称语义的一个可作为替代的方式是度量空间。.
埃达·洛夫莱斯
#重定向 愛達·勒芙蕾絲.
新！!: 计算机科学和埃达·洛夫莱斯 · 查看更多 »
千禧年大獎難題
千禧年大獎難題（Millennium Prize Problems）是七個由美國克雷數學研究所（Clay Mathematics Institute，CMI）於2000年5月24日公佈的數學難題，解题总奖金700万美元。根據克雷數學研究所制定的規則，這一系列挑戰不限時間，題解必須發表在國際知名的出版物上，並經過各方驗證，只要通過兩年驗證期和专家小组审核，每解破一題可獲獎金100万美元deadurl。 這些難題旨在呼應1900年德國數學家大衛·希爾伯特在巴黎提出的23個歷史性數學難題，經過一百年，约17个難題至少已被部分解答。而千禧年大獎難題的破解，極有可能為密碼學、航天、通訊等領域帶來突破性進展。 迄今为止，在七个问题中，庞加莱猜想是唯一被解决的，2003年，俄罗斯数学家格里戈里·佩雷尔曼证明了它的正确性。而其它六道难题仍有待研究者探索。.
新！!: 计算机科学和千禧年大獎難題 · 查看更多 »
可视化 (计算机图形学)
可视化是指用于创建图形、图像或动画，以便交流沟通讯息的任何技术和方法。在历史上包括洞穴壁画、埃及象形文字等，如今可视化有不断扩大的应用领域，如科学教育、工程、互动多媒体、医学等。.
新！!: 计算机科学和可视化 (计算机图形学) · 查看更多 »
多处理机
多處理器（Multiprocessor），是一個緊密耦合的電腦系統，擁有超過一個以上的處理單元，共享同一個主記憶體與周邊裝置，它能夠讓多個程式同時執行。這種電腦硬體架構，就稱為多處理器，它能夠提供多元處理（Multiprocessing）的能力。.
新！!: 计算机科学和多处理机 · 查看更多 »
娛樂
娱乐是一项能吸引受众的注意与兴趣并让受众感到愉悦与满足的活动。它既可以是一个想法，也可以是一项任务。如今，人类的娱乐已发展上千年，已成为专为吸引观众注意力的一项活动。 虽然因为个人喜好差异，不同娱乐具有不同吸引力，但大多数娱乐活动都被认为具有普遍吸引力。就比如讲故事、音乐、戏剧、舞蹈和各式表演，一般娱乐几乎流行于所有文化中，它们大多出于宫闱，发展出精妙多样的技巧，终闻于市井平民。当代娱乐产业主要依靠娱乐产品的制作和销售，而这一产业的发展更加速了娱乐的大众化。为适应不同规模，娱乐发展出各种形式：可以是私人音乐服务中的自选曲库，也可以适合两个人的二人宴会，更可以是不分国别肤色、包容万千观众、舞乐恢弘的国际化视听盛宴。 娱乐总是与紧密相连。尽管很多娱乐形式的目的是严肃的，就如仪式、庆典、宗教节日、或讽喻等，但人们往往可以能从中汲取欢乐，报以欢笑。因而這些嚴肅活動的娛樂背後也存在这样一种可能，即這些娱乐或可增进人的或智力。 娛樂的受众是娱乐的一个重要方面，受众是可以将自己的餘暇投入娱乐活动中的人。受众在观看比赛、歌剧、或电影的过程中，扮演了被动接受者的角色；而在参与者身份经常互换的活动中（如游戏），受众又可以是主动的。现实生活中有公共娱乐，也有个人的自娱自乐；既有劇場藝術和音樂會这类正式的、内容固定的娱乐，也有一样内容不固定的、自发的娱乐。大多数娱乐有逾几百年的历史，并且随着文化、科技和潮流的变迁而不断发展，比如舞台魔术。尽管电影和电子游戏使用了新的媒介，却可以回溯到讲故事、近代戏剧、和演奏音乐的传统。音乐、电影和舞蹈可以营造节日气氛，即便在节后也令人心情愉悦。 譬如公开處刑，有些活动在過去曾被认为是一种娱乐，但如今早已远离公众。击剑或射箭之类原本对一些人而言是生存必需的技能，如今已发展成为一种专业性、職業性的体育运动，同时發展出影响更大、更具广泛吸引力的娱乐形式。烹饪等生活行为在过去也是生存技能，现在也成为一些专业人士参加的公开表演，有些還登上舞台、成为国际赛事，以娱乐的形式传播出去。因此某些群体或个人的娱乐活动可能会是另外一些人的正式工作。 娱乐的常见形式可以跨越不同媒体，通过创意再融合展现出无限潜能。这也確保了众多娛樂主题、形象和结构可以保持一致性和持久性。.
学术期刊
学术期刊（academic journal）是一种经过同行评审的期刊，发表在学术期刊上的文章通常涉及特定的学科。学术期刊展示了研究领域的成果，并起到了公示的作用，其内容主要以原创研究、综述文章、书评等形式的文章为主。 学术期刊 可指代所有领域的学术性出版物，本条目针对学术期刊的共通点进行讨论。科学期刊和定量研究型社会科学期刊在形式和作用上，与人文科学期刊和定性研究型的社会科学期刊有所不同，这些不同点将被分别讨论。.
新！!: 计算机科学和学术期刊 · 查看更多 »
安全
安全（Safety）是一種狀態，最簡單的定義是沒有危險，較詳細的定義是指受到保護，不受到各種類型的故障、損壞、錯誤、意外、或是其他不情願事件的影響，這些類型包括身體、社會、靈性、財務、政治、情感、職業、心理及教育等方面。安全也可以定義為可以控制特定已被識別的，使風險在一定可接受的水準以下，因此也可以減少一些造成健康或經濟損失的可能性。安全可以包括對人或對所有物的保護。.
密码学
密碼學（Cryptography）可分为古典密码学和现代密码学。在西欧語文中，密码学一词源於希臘語kryptós“隱藏的”，和gráphein“書寫”。古典密码学主要关注信息的保密书写和传递，以及与其相对应的破译方法。而现代密码学不只关注信息保密问题，还同时涉及信息完整性验证（消息验证码）、信息发布的不可抵赖性（数字签名）、以及在分布式计算中产生的来源于内部和外部的攻击的所有信息安全问题。古典密码学与现代密码学的重要区别在于，古典密码学的编码和破译通常依赖于设计者和敌手的创造力与技巧，作为一种实用性艺术存在，并没有对于密码学原件的清晰定义。而现代密码学则起源于20世纪末出现的大量相关理论，这些理论使得现代密码学成为了一种可以系统而严格地学习的科学。 密码学是数学和计算机科学的分支，同时其原理大量涉及信息论。著名的密碼學者罗纳德·李维斯特解釋道：「密碼學是關於如何在敵人存在的環境中通訊」，自工程學的角度，這相當于密碼學與純數學的差异。密碼學的发展促進了计算机科学，特別是在於電腦與網路安全所使用的技術，如存取控制與資訊的機密性。密碼學已被應用在日常生活：包括自动柜员机的晶片卡、電腦使用者存取密碼、電子商務等等。.
工程学
工程学、工程科学或工学，是通过研究与实践应用数学、自然科学、社会学等基础学科的知识，来达到改良各行业中现有建筑、机械、仪器、系统、材料、化學和加工步骤的设计和应用方式一门学科。实践与研究工程学的人叫做工程师。 在高等学府中，将自然科学原理应用至工业、农业、服务业等各个生产部门所形成的诸多工程学科也称为工科和工学。.
个人电脑硬件
#重定向 硬件.
新！!: 计算机科学和个人电脑硬件 · 查看更多 »
中学
中學（High School、Secondary school）是中等學校的簡稱，為緊跟著小學教育之後的學歷教育機構，通常也稱為中等教育（Secondary Education）機構。此階段的教育是為了之后的更深等的教育或是職業訓練而設。中學和小學之間的界限隨著國家的不同而有差異，但是一般是在入小學後的第七到第十二學年之間，有些國家會在這之間設立初级中學（臺灣地區，1970年代改稱「國民中學」）及高級中學。除了包含高等教育（例如大學）預備學程的一般中學外，就業訓練導向的中等職業學校也屬於二級教育的一環。.
布莱兹·帕斯卡
布莱兹‧帕斯卡（Blaise Pascal，），法国神學家、哲学家、数学家、物理学家、化學家、音樂家、教育家、氣象學家。帕斯卡早期进行自然和应用科学的研究，对机械计算器的制造和流体的研究作出重要贡献，扩展托里切利的工作，澄清了压强和真空的概念。帕斯卡还有力地为科学方法辩护。数学上，帕斯卡促成了两个重要的新研究领域。他16岁写出一篇题为射影几何的论文，1654年开始与皮埃尔·德·费马通信，討論概率论，深刻影响了现代经济学和社会科学的发展。 1654年末一次信仰上的神秘经历后，他离开数学和物理学，专注于沉思和神学与哲学写作。他是堅定的詹森教派信徒，人文思想大受蒙田影響。宗教論戰之作《》（Lettres provinciales）被奉為法文寫作的典範，身後其筆記本被編為《思想錄》。.
新！!: 计算机科学和布莱兹·帕斯卡 · 查看更多 »
市场流通性
市场流通性（Liquidität，market liquidity，Liquidez）是指资产能够以一个合理的价格顺利变现的能力，它是一种所投资的时间尺度（变为现金的难易程度）和价格尺度（与公平市场价格相比的折扣）之间的关系。通常简称流通性。 资产的流动性越大，企业对短期债务的清偿能力就越强。因此，企业避免财务困境的可能性与流动性相关。不过，流动资产的收益率通常低于固定资产的收益率，比如现金就无法带来投资收益。从某种程度讲，企业投资于流动性较大的资产是以牺牲对收益性更高的资产的投资机会为代价。 一个流通市场的特点是市场上在任何时刻都有买家和卖家。另一个流通性的定义是，下一次贸易的价格与上一次贸易的价格相等的可能性。 假如一个市场上有许多买家和卖家的话，那么这个市场的流通性就非常高。这样的市场被称为深市场。在这样的市场中订货对货物价格的影响不大。 一个货物的买卖次数可以看作是该货物的流通性。交易者往往更愿意向流通的市场如股票贸易投资，而不太愿向比较不流通的市场如不动产投资，原因是在一个不流通的市场上的交易者有可能被迫以不利的价格买卖货物。投机商和市商庄家为一个市场带来流通性。反对托宾税的原因之一是托宾税妨碍货币投机，降低外汇市场的流通性，增高其波动。 部分常见资产的流动性大小一般有这样的关系：现金 > 活期存款 > 短期国债 > 蓝筹股 > 一般股票 > 城市中心小户型物业 > 城市外围大户型物业。其中，流动资产的流动性最强，它包括现金以及自资产负债表编制之日起一年内能够变现的其他资产。特别的，增加交易成本可降低资产的流动性，如增加印花税，可降低股票流动性，T+0交易（當日買進的股票馬上可以賣出）比T+1交易（當日買進的股票下一個交易日才能賣出）更具流动性。不仅个人投资者面临不流通的危险，大投资者同样面临这样的危险。中央银行可通过三大货币政策手段干涉投放的货币量，从而调控流通性。.
新！!: 计算机科学和市场流通性 · 查看更多 »
人
代人在生物学上属靈長目、人科、人屬、智人种，由人猿／古猿演化而来。長者智人化石表明，現代人類在約20萬年前的東非大裂谷演化成形。 人类有比其他動物更發達的大腦，能進行複雜的計算和抽象思維。加上人類的直立身驅使人類的前肢可以自由活動，因此人類對工具的使用遠超出其他任何物種。人类还试图用哲学、艺术、科学、神话以及宗教来解释自然界的现象。这強烈的好奇心促使了高级工具和科學技术的发展。 与其他高等灵长目动物一样，人类是社会性的。人类个体之间的社会交际创立了广泛的传统、习俗、宗教制度、价值观、法律，这些共同构成了人类社会的基础。人尤其擅长用口語、手势、肢體語言与书面语言来溝通、協作、表达自我、交際、交换意见、组织事物。 截至公元2012年，世界人口已超过70億，大约是所有曾生活在地球上的人的6%。.
人工生命
人工生命（英语：Artificial life），指通过人工模拟生命系统，来研究生命的领域，是由人工智慧產生的概念。最先由计算机科学家克里斯托弗·兰顿于1987年在洛斯阿拉莫斯国家实验室召开的“生成以及模拟生命系统的国际会议”上提出。.
新！!: 计算机科学和人工生命 · 查看更多 »
人工智能
人工智能（Artificial Intelligence, AI）亦稱機器智能，是指由人製造出來的機器所表現出來的智能。通常人工智能是指通過普通電腦程式的手段實現的人類智能技術。該詞也指出研究這樣的智能系統是否能夠實現，以及如何實現科學領域。同時如此，人類的數量開始收斂及功能逐漸被其取代。 一般教材中的定义领域是“智能主体（intelligent agent）的研究与设计”，智能主体是指一个可以观察周遭环境并作出行动以达致目标的系统。约翰·麦卡锡于1955年的定义是「制造智能机器的科学与工程。」 人工智能的研究是高度技术性和专业的，各分支领域都是深入且各不相通的，因而涉及範圍極廣。人工智能的研究可以分为几个技术问题。其分支领域主要集中在解决具体问题，其中之一是，如何使用各种不同的工具完成特定的应用程序。 AI的核心问题包括建構能夠跟人類似甚至超越的推理、知识、规划、学习、交流、感知、移动和操作物体的能力等。強人工智能目前仍然是该领域的长远目标。目前強人工智慧已經有初步成果，甚至在一些影像辨識、語言分析、棋類遊戲等等單方面的能力達到了超越人類的水平，而且人工智慧的通用性代表著，能解決上述的問題的是一樣的AI程式，無須重新開發算法就可以直接使用現有的AI完成任務，與人類的處理能力相同，但達到具備思考能力的統合強人工智慧還需要時間研究，比较流行的方法包括统计方法，计算智能和传统意义的AI。目前有大量的工具应用了人工智能，其中包括搜索和数学优化、逻辑推演。而基於仿生學、認知心理學，以及基于概率论和经济学的演算法等等也在逐步探索當中。.
新！!: 计算机科学和人工智能 · 查看更多 »
人类基因组计划
人类基因组计划（Human Genome Project, HGP）是一项规模宏大，跨国跨学科的科学探索巨型工程。其宗旨在于测定组成人类染色体（指单倍体）中所包含的六十亿对组成的核苷酸序列，从而繪製人类基因组圖譜，並且辨識其载有的基因及其序列，达到破译人类遗传信息的最终目的。基因组计划是人类为了探索自身的奥秘所迈出的重要一步。截止到2005年，人类基因组计划的测序工作已经基本完成（92%）。其中，2001年人类基因组工作草图的发表（由公共基金资助的国际人类基因组计划和私人企业塞雷拉基因組公司各自独立完成，并分别公开发表）被认为是人类基因组计划成功的里程。大多数政府资助的测序是在美国，英国，日本，法国，德国和中国的20所大学和研究中心进行。.
新！!: 计算机科学和人类基因组计划 · 查看更多 »
人机交互
人机互动（human–computer interaction，缩写：HCI，或 human–machine interaction，缩写：HMI），是一門研究系统與用户之間的互動關係的學問。系统可以是各种各样的机器，也可以是计算机化的系统和软件。人机交互界面通常是指用户可见的部分。用户通过人机交互界面与系统交流，並進行操作。小如收音機的播放按鍵，大至飛機上的儀表板、或是發電廠的控制室。 人机交互界面的设计要包含用户对系统的理解（即心智模型），那是为了系统的可用性或者用户友好性。.
新！!: 计算机科学和人机交互 · 查看更多 »
互联网
互联网（Internet），是網路與網路之間所串連成的龐大網路，這些網路以一組標準的網路TCP/IP协议族相連，連接全世界幾十億個設備，形成邏輯上的單一巨大國際網络。，它是由從地方到全球範圍內幾百萬個私人的、學術界的、企業的和政府的網络所構成，通過電子，無線和光纖網絡技術等等一系列廣泛的技術聯繫在一起。这种将计算机网络互相联接在一起的方法可称作「网络互联」，在這基础上发展出覆蓋全世界的全球性互联網絡稱互聯網，即是互相連接一起的网络。互聯網並不等同万维网（WWW），万维网只是一個基於超文本相互鏈接而成的全球性系統，且是互聯網所能提供的服務其中之一。互聯網帶有範圍廣泛的信息資源和服務，例如相互關聯的超文本文件，还有萬維網的應用，支持電子郵件的基礎設施，對等網絡，文件共享，以及IP電話服務。.
库尔特·哥德尔
库尔特·弗雷德里希·哥德尔（Kurt Friedrich Gödel，），出生於奧匈帝國的數學家、邏輯學家和哲學家，维也纳学派（维也纳小组）的成员。其最杰出的贡献是哥德尔不完备定理和连续统假设的相对协调性证明。.
新！!: 计算机科学和库尔特·哥德尔 · 查看更多 »
应用数学
應用數學（Applied Mathematics）是以應用為目的的明確的數學理論和方法的總稱，研究如何應用數學知識到其他範疇（尤其是科學）的數學分支，可以說是純數學的相反，應用純數學中的結論擴展到物理學等其他科學中，應用數學的發展是以科學為依據，作為科學研究的後盾。包括線性代數、矩陣理論、向量分析、複變分析、微分方程、拉普拉斯變換、傅里葉分析、數值分析、概率论、數理統計、運籌學、博弈論、控制理論、組合數學、資訊理論等許多數學分支，也包括從各種應用領域中提出的數學問題的研究。而大部分應用數學是以作為物理分析的工具。計算數學有時也可視為應用數學的一部分。應用數學大部分的教學範疇都是以物理的模型為基礎進行分析，當中或許搭配了各種數學工具，就為了更貼近物理的系統。 圖論應用在網絡分析，拓撲學在電路分析上的應用，群論在結晶學上的應用，微分幾何在規範場上的應用，自動控制理論在計算上的應用，黎曼幾何應用於相對論，數理邏輯應用於計算機，最小二乘法應用於飛機起降時自動控制，利用數字合成計算機輔助的X射線斷層成像技術（1979年數學家獲得諾貝爾醫學獎）數論應用在密碼學，博弈論、概率論、統計學應用在經濟學，線性規劃用於生產安排調度，都可見數學在不同範疇的應用。.
新！!: 计算机科学和应用数学 · 查看更多 »
代数
代数是一个较为基础的数学分支。它的研究对象有许多。诸如数、数量、代数式、關係、方程理论、代数结构等等都是代数学的研究对象。 初等代数一般在中學時讲授，介紹代数的基本思想：研究当我们对数字作加法或乘法时会发生什么，以及了解變數的概念和如何建立多项式并找出它们的根。 代数的研究對象不僅是數字，还有各種抽象化的結構。例如整數集作為一個帶有加法、乘法和序關係的集合就是一個代數結構。在其中我們只關心各種關係及其性質，而對於「數本身是甚麼」這樣的問題並不關心。常見的代數結構類型有群、环、域、模、線性空間等。并且,代数是几何的总称，代数是还可以用任何字母代替的。 e.g.2-4+6-8+10-12+…-96+98-100+102.
形式化方法
形式化方法，中文也稱形式方法、正規方法。在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和強健性。但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统。.
新！!: 计算机科学和形式化方法 · 查看更多 »
形式语义学
在计算理论中，形式语义学是关注计算的模式和程序设计语言的含义的严格的数学研究的领域。 语言的形式语义是用数学模型去表达该语言描述的可能的计算来给出的。 形式语义学（formal semantics），是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。 提供程序设计语言的形式语义的方法很多，其中主要类别有：.
新！!: 计算机科学和形式语义学 · 查看更多 »
形式语言
在数学、逻辑和计算机科学中，形式语言（Formal language）是用精确的数学或机器可处理的公式定义的语言。 如语言学中语言一样，形式语言一般有两个方面: 语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言是一个字母表上的某些有限长字符串的集合。一个形式语言可以包含无限多个字符串。.
新！!: 计算机科学和形式语言 · 查看更多 »
保安
保安（英文：Security），或稱保全，是指保護事物遠離危險或招受損失的一種概念。一般來說，保安的概念跟安全相似，不過保安的著眼點是保護事物免受外來的傷害。保安亦指預防危險或突發情況的一種手段或措施，或進行保安工作的工作人員或職員。.
信息
信息（英語：Information），又稱情報，是一个严谨的科学术语，其定义不统一，是由它的极端复杂性决定的，獲取信息的主要方法為六何法。信息的表现形式多不胜数：声音、图片、温度、体积、颜色……信息的类別也不计其数：电子信息、财经信息、天气信息、生物信息……。 在熱力學中，信息是指任何會影響系統的熱力學狀態的事件。 信息可以減少不確定性。事件的不確定性是以其發生機率來量測，發生機率越高，不確定性越低，事件的不確定性越高，越需要額外的信息減少其不確定性。位元是典型的，但也可以使用像納特之類的單位，例如投擲一個公正的硬幣，其信息為log2(2/1).
信息系统
信息系统或--（Information Systems），從技術上說就是為了支持組織決策和控製而收集（或獲取）、處理、存儲、分配信息的一組相互關聯的組件。除了支持決策、協作和控制，信息系統也可用來幫助經理和工人分析解決問題，使複雜性可視化，以及創造新的產品，從商業角度看，一個信息系統是一個用於解決環境提出的挑戰的、基於信息技術的組織管理方案。通常用「信息系統」這個詞時，特指依賴於計算機技術的信息系統。 一个基于计算机的信息系统是以计算机软件、硬件、存储和通訊等技术为核心的人机系统 信息系統是由一系列相互關聯的組件構成，是通過信息的收集，處理，存儲及發佈為組織決策和組織控制提供支持的系統。信息系統包括組織內部及其周邊環境中所有重要人員，地理位置，和事物的相關信息。來自《Management Information Systems Managing The Digital Firm》.
新！!: 计算机科学和信息系统 · 查看更多 »
信息技术
信息技术（--Information Technology，縮寫：IT）也称信息和通信技术（Information and Communications Technology，ICT），是主要用于管理和处理信息所采用的各种技术总称，主要是应用计算机科学和通信技术来设计、开发、安装和实施信息系统及应用软件。依照儲存及處理信息的不同，可以將信息技术的發展分為幾個不同的階段：前機械時期（3000 BC – 1450 AD）、機械時期（1450–1840）、機電時期（1840–1940）及電子時期（1940–現時）。本文主要介紹1940年起電子時期的信息技术。 在商業領域中，（ITAA）定義信息技术為「對於以電腦為基礎之資訊系統的研究、設計、開發、應用、實現、維護或應用。」。此領域相關的任務包括網路管理、軟體開發及安裝、針對組織內信息技術生命週期的計劃及管理，包括軟體及硬體的維護、升級及汰換。 信息技术一詞最早是出現在1958年《哈佛商業評論》中，一篇由Harold J. Leavitt及Thomas L. Whisler所著的文章，其中提到「這種新技術還沒有一個單一的名稱，我們應該將其稱為信息技术（information technology、IT）」。.
新！!: 计算机科学和信息技术 · 查看更多 »
信息时代
信息时代通常也是指计算机时代或者数字时代。它是指在现时代，个人都有能力去自由传递信息，以及適时获取信息的这种特征，这在过去是很难或者不可能做到的。它和数字时代以及数字革命的概念有关。它是从工业化衍生的工业化革命的这种传统工业经济转变为以信息管理为主的知识经济，亦即信息化社会。.
新！!: 计算机科学和信息时代 · 查看更多 »
心理学
-- 心理学是一门研究人類以及其他动物的內在心理歷程、精神功能和外在行为的科学，既是一门理论学科，也是一门应用学科。包括理论心理学与应用心理学两大领域。 心理學研究涉及意識、感覺、知覺、認知、動機、情绪、人格、行為和人際關係等眾多領域，影響其他學科的發展，例如：教育學、管理學、傳播學、社會學、經濟學、精神病學、統計學、計算機科學以及文學等等。心理學一方面嘗試用大腦運作來解釋個体基本的行為與心理機能，同時，心理學也嘗試解釋個體心理機能在社會行為與社會動力中的角色。心理學家從事基礎研究的目的是描述、解釋、預測和控制行為。應用心理學家還有第五個目的——提高人類生活的質量。這些目標構成了心理學事業的基礎。.
分布式计算
在計算機科學中，分布式计算（Distributed computing），又譯為--。這個研究領域，主要研究分散式系統（Distributed system）如何進行計算。分散式系統是一組電腦，透過網路相互连接傳遞訊息與通訊後并协调它们的行为而形成的系統。组件之间彼此进行交互以实现一个共同的目标。把需要进行大量计算的工程数据分割成小块，由多台计算机分别计算，再上传运算结果後，將結果统一合并得出数据结论的科学。分布式系统的例子来自有所不同的面向服务的架构，大型多人線上遊戲，对等网络应用。 目前常见的分布式计算项目通常使用世界各地上千万志愿者计算机的闲置计算能力，通过互联网进行数据传输（志愿计算）。如分析计算蛋白质的内部结构和相关药物的Folding@home项目，該项目結構庞大，需要惊人的计算量，由一台电脑计算是不可能完成的。虽然现在有了计算能力超强的超级計算機，但這些設備造價高昂，而一些科研机构的经费却又十分有限，藉助分佈式計算可以花費較小的成本來達到目標。.
新！!: 计算机科学和分布式计算 · 查看更多 »
分支领域
#重定向 计算机科学.
新！!: 计算机科学和分支领域 · 查看更多 »
克劳德·香农
克劳德·艾尔伍德·香农（Claude Elwood Shannon，），美国数学家、电子工程师和密码学家，被誉为信息论的创始人。 香农是密西根大學學士，麻省理工學院博士。 1948年，香农发表了划时代的论文——通信的数学原理，奠定了现代信息论的基础。不仅如此，香农还被认为是数字计算机理论和数字电路设计理论的创始人。1937年，21岁的香农是麻省理工學院的硕士研究生，他在其硕士论文中提出，将布尔代数应用于电子领域，能够构建并解决任何逻辑和数值关系，被誉为有史以来最具水平的硕士论文之一。二战期间，香农为军事领域的密码分析——密码破译和保密通信——做出了很大贡献。.
新！!: 计算机科学和克劳德·香农 · 查看更多 »
图形计算器
图形计算器通常指一种能够繪画图象、解方程組以及执行其它各种操作的手持计算器，大多数图形计算器还能编写程序。由于它们的屏幕较一般计算器大，因此能够同时显示多行文本。一些图形计算器甚至有彩色显示或三维作图功能。 由于图形计算器可以编寫程式，所以它也广泛被用于电子游戏上。 一些电脑软件也可以完成图形计算器的功能。.
新！!: 计算机科学和图形计算器 · 查看更多 »
图像处理
图像处理是指对图像进行分析、加工、和处理，使其满足视觉、心理或其他要求的技术。图像处理是信号处理在图像领域上的一个应用。目前大多数的图像均是以数字形式存储，因而图像处理很多情况下指数字图像处理。此外，基于光学理论的处理方法依然占有重要的地位。 图像处理是信号处理的子类，另外与计算机科学、人工智能等领域也有密切的关系。 传统的一维信号处理的方法和概念很多仍然可以直接应用在图像处理上，比如降噪、量化等。然而，图像属于二维信号，和一维信号相比，它有自己特殊的一面，处理的方式和角度也有所不同。.
新！!: 计算机科学和图像处理 · 查看更多 »
图灵测试
图灵测试（Turing test，又译图灵试验）是图灵於1950年提出的一个關於判断機器是否能夠思考的著名試驗，测试某机器是否能表现出与人等价或无法区分的智能。测试的談話僅限於使用唯一的文本管道，例如計算機鍵盤和屏幕，這樣的結果是不依賴於計算機把單詞轉換為音頻的能力。.
新！!: 计算机科学和图灵测试 · 查看更多 »
图论
图论（Graph theory）是组合数学的一个分支，和其他数学分支，如群论、矩阵论、拓扑学有着密切关系。图是图论的主要研究对象。图是由若干给定的顶点及连接两顶点的边所构成的图形，这种图形通常用来描述某些事物之间的某种特定关系。顶点用于代表事物，连接两顶点的边则用于表示两个事物间具有这种关系。 图论起源于著名的柯尼斯堡七桥问题。该问题于1736年被欧拉解决，因此普遍认为欧拉是图论的创始人。 图论的研究对象相当于一维的单纯复形。.
硬件
是裝置在機箱內以做出個人電腦。系統軟體是儲存在硬體內，而系統軟體內含有韌體，例如BIOS以及作業系統，這些軟體使應用軟體可以提供使用者所需的功能。作業系統通常藉由匯流排與裝置溝通，這需要軟體提供驅動程式。.
社会
會一詞並没有太正式明確定義，一般是指由自我繁殖的個體構建而成的群體，占据一定的空間，具有其獨特的文化和風俗習慣。由於社會通常被認為是人類組成的，所以社會和人類社會一般具有相同的含義。在科學研究和科幻小說等等里面，有時亦可作“外星人社會”。狹義的社會，也叫“社群”，可以只指群體人類活動和聚居的範圍，例如是：鄉、村、鎮、城市、聚居點等等；廣義的社會則可以指一個國家、一個大範圍地區或一個文化圈，例如是英國社會、東亞社會、東南亞或西方世界，均可作為社會的廣義解釋，也可以引申為他們的文化習俗。以人類社會為研究對象的學科叫做社會學。.
社会智力
会智力，根据爱德华·桑代克的最初定义是一种理解并且管理男人女人，老人小孩一种正确处理人际关系的能力.相当于哈沃德·加德纳多元智能理论中的人际智力并且和情绪商数紧密联系。有些学者将其限制在对社会形势的特定认知，或称为社会认知.
新！!: 计算机科学和社会智力 · 查看更多 »
神经生理学
经生理学简称“神经生理”，是神经科学的一个分支，研究神经系统（包括周围神经系统，脊椎和脑）的功能机理。神经生理学同时也是生理学的一个分支，专门着眼于神经系统。 由于研究对象可以在分子、细胞、网络、系统等几个不同层次上讨论，神经生理学研究的对象由微观到宏观、由基本到综合包括以下这些方面.
新！!: 计算机科学和神经生理学 · 查看更多 »
科学
科學（Science，Επιστήμη）是通過經驗實證的方法，對現象（原來指自然現象，現泛指包括社會現象等現象）進行歸因的学科。科学活动所得的知识是条件明确的（不能模棱两可或随意解读）、能经得起检验的，而且不能与任何适用范围内的已知事实产生矛盾。科学原仅指对自然现象之规律的探索与总结，但人文学科也被越来越多地冠以“科学”之名。 人们习惯根据研究对象的不同把科学划分为不同的类别，传统的自然科学主要有生物學、物理學、化學、地球科學和天文學。逻辑学和数学的地位比较特殊，它们是其它一切科学的论证基础和工具。 科学在认识自然的不同层面上设法解决各种具体的问题，强调预测结果的具体性和可证伪性，这有别于空泛的哲学。科学也不等同于寻求绝对无误的真理，而是在现有基础上，摸索式地不断接近真理。故科学的发展史就是一部人类对自然界的认识偏差的纠正史。因此“科学”本身要求对理论要保持一定的怀疑性，因此它绝不是“正确”的同义词。.
科学家
科学家是一个泛称，广义上指使用系统化的活动来发现新知识的人。狭义的定义指使用科学方法做研究，并且在一定的领域取得重要影响或者贡献的科研工作者。 科学家一般是某个，或者多个科学领域里的专家。.
程序设计
电脑程序设计（Computer programming），或稱程式設計（programming），是给出解决特定问题程序的过程，軟體開發過程中的重要步驟。程序设计往往以某种程序设计语言为工具，给出这种语言下的程序。程序设计过程应包括分析、设计、编碼、测试、除错等不同阶段。 在计算机技术发展的早期，軟體開發主要就是程序设计。但随着技术的发展，软件系统越来越复杂，逐渐分化出许多专用的软件系统，如操作系统、数据库系统、应用服务器，而且这些专用的软件系统愈来愈成为普遍的系統環境的一部分。这种情况下軟體開發的内容越来越丰富，不再只是纯粹的程序设计，还包括数据库设计、用户界面设计、通信协议设计和复杂的系统配置过程。 专业的程序设计人员被称为程序员。某种意思上，程序设计的出现甚至早于电子计算机的出现。英国著名诗人拜伦的女儿愛達·勒芙蕾絲曾设计了巴贝奇分析机上計算伯努利數的一个程序。她甚至还建立了循环和子程序的概念。由于她在程序设计上的突破性創新，愛達·勒芙蕾絲被称为世界上第一位程序员。 任何设计工作都是在各种条件限制和相互矛盾的需求之间寻求一种平衡。這種觀點反映在程式設計上，就是硬體儲存空間與程式執行時間的限制。 空間方面，在计算机技术发展的早期，由于机器资源比较昂贵，如何縮小儲存空間往往是设计关心的首要重點；而随着硬件技术的飞速发展，電腦上資料儲存媒體的價格降低，空間不再是考慮的第一要點，一些較耗時的運算也漸漸發展出以空間換取時間的模式。 時間方面，在早期，如何加強程式效率、縮短程式執行時間是程式設計師的共同目標；而在硬體效能進步、效率差距縮小，软件规模與複雜度卻日益增加的現在，程序的结构、可维护性、重複使用性、彈性等因素更顯得重要。在多人合作的程式設計專案裡，程式設計師們會加上各種註解以協助其他參與者理解程式碼，，但卻因能達到較好的溝通並提高程式碼的可維護性，而成為目前的主流。 然而，隨著智慧型手機等攜帶裝置的興起，執行時間的縮短與儲存空間的有效運用再次成為焦點，形成與主機伺服器類型應用程式不同的重點考慮方向。.
新！!: 计算机科学和程序设计 · 查看更多 »
程式語言理論
程式語言理論（Programming language theory，簡稱PLT），是電腦科學的一個旁支，專門研究程式語言的設計，實作，分析和歸類。 Category:電腦科學.
新！!: 计算机科学和程式語言理論 · 查看更多 »
符號學
號學廣義上是研究符號傳意的人文科學，當中涵蓋所有涉文字符、訊號符、密碼、古文明記號、手語的科學。由於含蓋的範圍過於廣闊，在西方世界的人文科學中並未得到重視，直至結構主義在二十世紀下半期興起，以《Tel Quel》雜誌為號召的哲學家，為了反對讓-保羅·薩特的存在主義，則大量引用俄羅斯在共產革命前的一系列，有關符號在文化上的再現過程的研究，故此，正式出現當今所指的符號學，要算到一九六零年代（李維史陀）。 現代符號學另一個強大的源頭是上世紀初瑞士語言學泰斗索緒爾的教學講稿《普通語言學教程》（1916），索緒爾將符號分成意符（Signifier）和意指（Signified）兩個互為表裡的聯結之後，真正確立了符號學的基本理論，影響了後來李維史陀和羅蘭·巴特等法國結構主義的學者，被譽為現代符號學之父。.
算筹
算筹或称筭子、算子，是漢字文化圈古代一种十进制计算工具。起源于中國商代的占卜，占卜用现成的小木棍做计算，就是最早的算筹。古代筹、策、算三字都带竹头，表示用竹制成。策为束字加竹头，表示手握一束竖立的算策，作为占卜之用。筹可能代表周易八卦横向排列时用的阴阳竹，算筹横竖二式，可能来源于此。.
算盘
算盘，是算數的工具，以排列成串的算珠作為計算工具，矩形木框内排列一串串等数目的算珠稱為檔。用算盘计算称珠算，珠算有对应四则运算的相应法则，统称珠算法则。相对一般运算来看，熟练的珠算不逊于電子計算器，尤其在加减法方面。根据珠算演变而来的珠算式心算成了速算技术的一种。 ，亚太日报，2013年12月5日.
算法
-- 算法（algorithm），在數學（算學）和電腦科學之中，為任何良定义的具體計算步驟的一个序列，常用於計算、和自動推理。精確而言，算法是一個表示爲有限長列表的。算法應包含清晰定義的指令用於計算函數。 算法中的指令描述的是一個計算，當其時能從一個初始狀態和初始輸入（可能爲空）開始，經過一系列有限而清晰定義的狀態最終產生輸出並停止於一個終態。一個狀態到另一個狀態的轉移不一定是確定的。隨機化算法在内的一些算法，包含了一些隨機輸入。 形式化算法的概念部分源自尝试解决希尔伯特提出的判定问题，並在其后尝试定义或者中成形。这些尝试包括库尔特·哥德尔、雅克·埃尔布朗和斯蒂芬·科尔·克莱尼分别于1930年、1934年和1935年提出的遞歸函數，阿隆佐·邱奇於1936年提出的λ演算，1936年的Formulation 1和艾倫·圖靈1937年提出的圖靈機。即使在當前，依然常有直覺想法難以定義爲形式化算法的情況。.
算法交易
算法交易（Algorithmic trading），或程序化交易，或自動交易，是指運用自動化的電腦程式，或運用人工智慧，根據預設的算法，進行自動化的投資和買賣行為。一般而言，算法交易是指人們開發程式，自動根據指定的市場的技術資料和財務比率（例如市盈率、市帳率、移動平均線）等，自動由電腦操作買賣行為。.
新！!: 计算机科学和算法交易 · 查看更多 »
算法分析
在计算机科学中，算法分析（Analysis of algorithm）是分析执行一个给定算法需要消耗的计算资源数量（例如计算时间，存储器使用等）的过程。算法的效率或复杂度在理论上表示为一个函数。其定义域是输入数据的长度（通常考虑任意大的输入，没有上界），值域通常是执行步骤数量（时间复杂度）或者存储器位置数量（空间复杂度）。算法分析是计算复杂度理论的重要组成部分。 理论分析常常利用渐近分析估计一个算法的复杂度，并使用大O符号、大Ω符号和大Θ符号作为标记。举例，二分查找所需的执行步骤数量与查找列表的长度之对数成正比，记为 O(\log n)，简称为「对数时间」。通常使用渐近分析的原因是，同一算法的不同具体实现的效率可能有差别。但是，对于任何给定的算法，所有符合其设计者意图的实现，它们之间的性能差异应当仅仅是一个系数。 精确分析算法的效率有时也是可行的，但这样的分析通常需要一些与具体实现相关的假设，称为计算模型。计算模型可以用抽象机器来定义，比如图灵机。或者可以假设某些基本操作在单位时间内可完成。 假设二分查找的目标列表总共有 n 个元素。如果我们假设单次查找可以在一个时间单位内完成，那么至多只需要 \log n + 1 单位的时间就可以得到结果。这样的分析在有些场合非常重要。 算法分析在实际工作中是非常重要的，因为使用低效率的算法会显著降低系统性能。在对运行时间要求极高的场合，耗时太长的算法得到的结果可能是过期或者无用的。低效率算法也会大量消耗计算资源。.
新！!: 计算机科学和算法分析 · 查看更多 »
类型论
在最广泛的层面上，类型论是关注把实体分类到叫做类型的搜集中的数学和逻辑分支。在这种意义上，它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。 在计算机科学分支中的编程语言理论中，类型论提供了设计分析和研究类型系统的形式基础。实际上，很多计算机科学家使用术语“类型论”来称呼对编程语言的类型语言的形式研究，尽管有些人把它限制于对更加抽象的形式化如有类型lambda演算的研究。.
精神哲学
心靈哲學（英語：philosophy of mind）或精神哲学是一个研究心靈、心理事件、心理功能、心理特性、意識以及它们與肉體（尤其是大腦）的關係的本质的哲學分支。雖然有很多有關心靈的課題都與肉體無關，但是大眾總認為「心靈與肉體的關係」是核心的研究對象。 Kim, J., "精神哲学的问题".
新！!: 计算机科学和精神哲学 · 查看更多 »
系统分析
系统分析，旨在研究特定系统结构中各部分（各子系统）的相互作用，系统的对外接口与界面，以及该系统整体的行为、功能和局限，从而为系统未来的变迁与有关决策提供参考和依据。系统分析的经常目标之一，在于改善决策过程及系统性能，以期达到系统的整体最优。 系统分析被看作是系统工程的一个重要程序和核心组成部分，以及系统理论的一项应用。 在系统开发生命周期中，系统分析阶段先于系统设计，是系统开发前期不可或缺的工作。 系统分析大量借用数学模型、数学分析、计算机模拟等定量分析方法，试图在具有不确定约束或边界条件的情况下，对系统要素进行综合分析、描述，得出较为准确或合理的结论。 在信息技术领域，系统分析的发展相对比较成熟，并与计算机系统及软件工程中的需求分析有着密切的关系。 随着计算机技术、运筹学的普及以及结构化分析、规约语言等系统分析方法的发展，系统分析方法在跨学科领域也获得日益广泛的应用，被用于研究、分析、改善许多复杂系统。.
新！!: 计算机科学和系统分析 · 查看更多 »
縮寫
縮寫（abbreviation），在语言学裡嚴格地说是一種詞語的簡易格式，又称缩略语或簡稱。但實際上，它是從詞中提取關鍵字來簡要地代表原來的意思。例如，「欧洲联盟」被省略作為「欧盟」。.
统计学
统计学是在資料分析的基础上，研究测定、收集、整理、归纳和分析反映數據資料，以便给出正确訊息的科學。這一门学科自17世纪中叶产生并逐步发展起来，它廣泛地應用在各門學科，從自然科学、社會科學到人文學科，甚至被用於工商業及政府的情報決策。隨著大数据(Big Data)時代來臨，統計的面貌也逐漸改變，與資訊、計算等領域密切結合，是資料科學(Data Science)中的重要主軸之一。 譬如自一組數據中，可以摘要並且描述這份數據的集中和離散情形，這個用法稱作為描述統計學。另外，觀察者以數據的形態，建立出一個用以解釋其隨機性和不確定性的數學模型，以之來推論研究中的步驟及母體，這種用法被稱做推論統計學。這兩種用法都可以被稱作為應用統計學。數理統計學则是討論背後的理論基礎的學科。.
经济效益
经济效益（economical Benefit）是一切经济活动的核心，是指在经济活动中各种耗费和成果的对比，一般的計算方式是「生產總值 - 生產成本」，經濟效益是評價一項經濟活動是否應進行的重要指標。 Category:经济学.
新！!: 计算机科学和经济效益 · 查看更多 »
维多利亚时代
英国的维多利亚时代（英文：Victorian era），前接喬治王時代，后启爱德华时代，维多利亚时代後期是英国工业革命和大英帝国的峰端，與愛德華時代一同被認為是大英帝國的黃金時代。它的时限常被定义为1837年至1901年，即维多利亚女王（Alexandrina Victoria）的统治时期。此長時期的和平，繁榮得以更加細化英國的理性發展，並鞏固了大英帝國的國家自信．部分学者認為，1832年改革法案的1832年才是該時期理性與政治發展的真正開端。 許多社會歷史學或文學將此時期之風格標定為維多利亞時期或維多利亞風格，尤其是在討論十九世紀中後期當時文化風俗與人民普遍態度時。針對維多利亞時代的研究很多著重於所謂“維多利亞時代道德觀念”，包含了高度的道德操守，與細緻的語言和行為規範。.
新！!: 计算机科学和维多利亚时代 · 查看更多 »
编程语言
编程语言（programming language），是用来定义计算机程序的形式語言。它是一种被标准化的交流技巧，用来向计算机发出指令。一种计算机语言让程序员能够准确地定义计算机所需要使用的数据，并精确地定义在不同情况下所应当采取的行动。 最早的编程语言是在電腦發明之前產生的，當時是用來控制及自動演奏鋼琴的動作。在電腦領域已發明了上千不同的编程語言，而且每年仍有新的编程語言誕生。很多编程語言需要用指令方式說明計算的程序，而有些编程語言則屬於宣告式編程，說明需要的結果，而不說明如何計算。 编程语言的描述一般可以分為及語義。語法是說明編程語言中，哪些符號或文字的組合方式是正確的，語義則是對於編程的解釋。有些語言是用規格文件定義，例如C語言的規格文件也是ISO標準中一部份，2011年後的版本為ISO/IEC 9899:2011，而其他55語言（像Perl）有一份主要的文件，視為是。.
新！!: 计算机科学和编程语言 · 查看更多 »
编译器设计
#重定向 編譯器.
新！!: 计算机科学和编译器设计 · 查看更多 »
生物信息学
生物信息學（bioinformatics）利用应用数学、信息学、统计学和计算机科学的方法研究生物学的问题。生物信息学的研究材料和结果就是各种各样的生物学数据，其研究工具是计算机，研究方法包括对生物学数据的搜索（收集和筛选）、处理（编辑、整理、管理和显示）及利用（计算、模拟）。目前主要的研究方向有：序列比对、序列組裝、基因识别、基因重组、蛋白质结构预测、基因表达、蛋白质反应的预测，以及建立进化模型。 生物学技术往往生成大量的嘈杂数据。与数据挖掘类似，生物信息学利用数学工具从大量数据中提取有用的生物学信息。生物信息学所要处理的典型问题包括：重新組裝在霰弹枪定序法测序过程中被打散的DNA序列，从蛋白质的氨基酸序列预测蛋白质结构，利用mRNA微阵列或质谱仪的数据检验基因调控的假说。 某些人将计算生物学作为生物信息学的同义词处理；但是另外一些人认为计算生物学和生物信息学应当被当作不同的条目处理，因为生物信息学更侧重於生物学领域中计算方法的使用和发展，而计算生物学强调应用信息学技术对生物学领域中的假说进行检验，并尝试发展新的理论。 生物信息学可以定义为对分子生物学中两类信息流的研究：.
新！!: 计算机科学和生物信息学 · 查看更多 »
电子游戏
电子游戏（或稱為电玩游戏，簡稱電玩；有時直接按英文「video game」翻譯為影像遊戲或電動--遊戲），是指所有依託于電子媒體平臺而運行的交互遊戲。電子遊戲按照遊戲的載體劃分，可分為街機遊戲、掌機遊戲、電視遊戲（或稱家用機遊戲、视--频遊戲以及部份地區稱視--訊遊戲）、電腦遊戲和手機遊戲（或稱行動遊戲），是指人通过电子设备（如电脑、游戏机及手机等）进行的遊戲。西方游戏界往往将电子游戏（Electronic games）细分为影像游戏（Video game）和听觉游戏（Audio game）等，而中文游戏界则习惯一律以「电子游戏」指代。.
新！!: 计算机科学和电子游戏 · 查看更多 »
物理学
物理學（希臘文Φύσις，自然）是研究物質、能量的本質與性質，以及它們彼此之間交互作用的自然科學。由於物質與能量是所有科學研究的必須涉及的基本要素，所以物理學是自然科學中最基礎的學科之一。物理學是一種實驗科學，物理學者從觀測與分析大自然的各種基於物質與能量的現象來找出其中的模式。這些模式（假說）稱為「物理理論」，經得起實驗檢驗的常用物理理論稱為物理定律，直到有一天被證明是有錯誤為止(具可否證性)。物理學是由這些定律精緻地建構而成。物理學是自然科學中最基礎的學科之一。化學、生物學、考古學等等科學學術領域的理論都是建構於這些物理定律。 物理學是最古老的學術之一。物理學、化學、生物學等等原本都歸屬於自然哲學的範疇，直到十七世紀至十九世紀期間，才漸漸地從自然哲學中分別成長為獨立的學術領域。物理學與其它很多跨領域研究有相當的交集，如量子化學、生物物理學等等。物理學的疆界並不是固定不變的，物理學裡的創始突破時常可以用來解釋這些跨領域研究的基礎機制，有時還會開啟嶄新的跨領域研究。 通過創建新理論與發展新科技，物理學對於人類文明有極為顯著的貢獻。例如，由於電磁學的快速發展，電燈、電動機、家用電器等新產品纷纷涌现，人類社會的生活水平也得到大幅提升。由於核子物理學日趨成熟，核能發電已不再是藍圖構想，但其所引致的安全問題也使人們意識到地球環境、生態與人類的脆弱渺小。.
特效
#重定向 特殊效果.
难解型问题
#重定向 計算複雜性理論.
新！!: 计算机科学和难解型问题 · 查看更多 »
類型系統
在计算机科学中，--系統用于定義如何將程式語言中的數值和zh:運算式;zh-tw:運算式;zh-cn:表达式-归類为许多不同的型別，如何操作这些型別，这些型別如何互相作用。型別可以确认一个值或者一组值具有特定的意义和目的（雖然某些型別，如抽象型別和--型別，在----中，可能不表示為值）。型別系統在各種語言之間有非常大的不同，也許，最主要的差異存在於編譯時期的語法，以及執行時期的操作实现方式。 編譯器可能使用值的靜態型別以最佳化所需的儲存區，並選取對值運算時的較佳演算法。例如，在許多C編譯器中，「浮點數」資料型別是以32 位元表示，與IEEE 754規格一致的單精度浮點數。因此，在數值運算上，C應用了浮點數規範（浮點數加法、乘法等等）。 型別的約束程度以及評估方法，影響了語言的型別。更進一步，程式語言可能就型別多態性部分，對每一個型別都對應了一個極度個別的演算法的運算。型別理論研究型別系統，儘管實際的程式語言型別系統，起源於電腦架構的實際問題、編譯器實作，以及語言設計。.
新！!: 计算机科学和類型系統 · 查看更多 »
规范
规范可以指：.
計算複雜性理論
计算复杂性理论（Computational complexity theory）是理论计算机科学和数学的一个分支，它致力于将可计算问题根据它们本身的复杂性分类，以及将这些类别联系起来。一个可计算问题被认为是一个原则上可以用计算机解决的问题，亦即这个问题可以用一系列机械的数学步骤解决，例如算法。 如果一个问题的求解需要相当多的资源（无论用什么算法），则被认为是难解的。计算复杂性理论通过引入数学计算模型来研究这些问题以及定量计算解决问题所需的资源（时间和空间），从而将资源的确定方法正式化了。其他复杂性测度同样被运用，比如通信量（应用于通信复杂性），电路中门的数量（应用于电路复杂性）以及中央处理器的数量（应用于并行计算）。计算复杂性理论的一个作用就是确定一个能或不能被计算机求解的问题的所具有的实际限制。 在理论计算机科学领域，与此相关的概念有算法分析和可计算性理论。两者之间一个关键的区别是前者致力于分析用一个确定的算法来求解一个问题所需的资源量，而后者则是在更广泛意义上研究用所有可能的算法来解决相同问题。更精确地说，它尝试将问题分成能或不能在现有的适当受限的资源条件下解决这两类。相应地，在现有资源条件下的限制正是区分计算复杂性理论和可计算性理论的一个重要指标：后者关心的是何种问题原则上可以用算法解决。.
新！!: 计算机科学和計算複雜性理論 · 查看更多 »
計算機工程
计算机工程（Computer engineering）一个以电机工程学和计算机科学的部分交叉领域为内容的工程学，其主要任务是设计及实现计算机系统。计算机工程师通常受过专业的电子工程（或其他与计算机工程有关的电机工程学分支）、软件设计和软硬件集成综合技能的培训。计算机工程师的工作涉及了许多有关计算机的硬件和软件，其关注范围包括微处理器、个人电脑、超级计算机和电路设计（特别是集成电路的设计）等。计算机工程并不仅仅关注计算机系统本身的工作，还致力于多个计算机组成更大规模的分布式系统。 涉及计算机工程的常见工作包括为嵌入式系统、微控制器、超大规模集成电路的编写设计软件代码和韌體，此外还常常结合模拟的传感器、混合信号集成电路的设计，以及参与操作系统的设计。计算机工程和机器人的研究和设计也有一定的关联，特别是那些大量依靠数字系统来进行电动机、電腦輔助溝通、传感器相关系统监视、控制的机器人系统。 在许多高等院校，计算机工程的学生可以选择计算机工程的某一个专业方向进行深造。与计算机设计与应用相关知识包罗甚广，有些甚至已经超出了本科教育的范围。而另一些院校则要求其学生在选修计算机工程的专业课程之前，先完成一年的普通工程学课程。.
新！!: 计算机科学和計算機工程 · 查看更多 »
語言
语言，广义而言，是用於沟通的一套方式，有其符号与处理规则，一般称为文法。符号通常称为文字，会以视觉、声音或者触觉方式来进行传递。 語言用來傳遞已知或未知事物的含義。 “語言”一詞可以更廣義的理解為已知或未知世界的基礎構成系統。 嚴格來說，語言是指人類溝通所使用的語言——自然語言。在一個先進的社會中一般人都必須透過學習才能獲得語言能力。語言的目的是交流觀念、意見、思想等。 語言學就是從人類研究語言分類與規則而發展出來的。研究語言的專家被稱呼為語言學家。 當人發現了某些動物如海豚能夠以某種方式溝通，就誕生了動物語言的概念。 20世紀由於電腦誕生，人需要給電腦指令。這種對機器的「單向溝通」就成電腦語言。.
计算
計算（Calculation）是一種將「單一或多個的輸入值」轉換為「單一或多個的結果」的一種思考過程。 計算的定義有許多種使用方式，有相當精確的定義，例如使用各種算法進行的「算术」，也有較為抽象的定義，例如在一場競爭中「策略的計算」或是「計算」兩人之間關係的成功機率。 將7乘以8（7x8）就是一種簡單的算術。 利用布莱克-斯科尔斯模型（Black-Scholes Model）來算出財務評估中的公平價格（fair price）就是一種複雜的算術。 從投票意向計算評估出的選舉結果（民意調查）也包含了某種算術，但是提供的結果是「各種可能性的範圍」而不是單一的正確答案。.
计算尺
算尺（slide rule），或计算尺，即对数计算尺，是一种模擬計算機，通常由三个互相锁定的有刻度的长条和一个滑动窗口（称为游标）组成。在1970年代之前使用广泛，之后被电子计算器所取代，成为过时技术。.
计算化学
计算化学（computational chemistry）是理论化学的一个分支，主要目的是利用有效的数学近似以及电脑程序计算分子的性质，例如总能量、偶极矩、四极矩、振动频率、反应活性等，并用以解释一些具体的化学问题。计算化学这个名词有时也用来表示计算机科学与化学的交叉学科。.
新！!: 计算机科学和计算化学 · 查看更多 »
计算几何
计算几何是一门兴起于二十世纪七十年代末的计算机科学的一个分支，主要研究解决几何问题的算法。计算机的出现使得一些问题大幅简化，然而一些人类直观 自从1946年世界上第一台电子计算机问世以来，计算机应用的一个重要里程碑是1962年美国麻省理工学院发明了世界上第一台图形显示器。自此之后，计算机可以通过图形显示器直接输入、输出图形，并且可以在显示屏上通过光标的移动而直接修改图形。而在这之前，工程师是通过一厚叠纸上密密麻麻的数字来间接表达工程图形的。 1962年被认为是美国和欧洲CAD开始发展的一年。首先的应用领域是汽车、飞机和造船工业。这3个行业，由于其产品的外形曲面特别复杂，要求特别苛刻，而成为CAD首先应用的领域。 与此同时，也就发展出了一门新兴学科——计算几何，它在美国常常被称为CAGD（Computer Aided Geometric Design，计算机辅助几何设计），专门研究“几何图形信息（曲面和三维实体）的计算机表示、分析、修改和综合”。1972年在美国举行CAGD第一次国际会议，标志计算几何学科的形成。.
新！!: 计算机科学和计算几何 · 查看更多 »
计算理论
计算理论（Theory of computation）是數學的一個領域，和计算机有密切关系。其中的理论是现代密码协议、计算机设计和许多应用领域的基础。该领域主要关心三个方面的问题：.
新！!: 计算机科学和计算理论 · 查看更多 »
计算科学
计算科学，又称科学计算，是一个与数学模型构建、定量分析方法以及利用计算机来分析和解决科学问题相关的研究领域。在实际应用中，计算科学主要应用於：对各个科学学科中的问题，进行计算机模拟和其他形式的计算。 这一领域不同於计算机科学（对於计算、计算机以及信息处理的研究），同时也异於科学和工程学的传统形式——理论与实验。科学计算技术要想获得理解，主要需要通过在计算机上实现的数学模型进行分析。 科学家和工程师发展了计算机程序和应用软件，来为被研究的系统建立模型，並以多種輸入參數運行這些程序。一般来说，这些模型需要大量的计算（通常为浮点计算），常在超级计算机或分布式计算平台上执行。 数值分析是计算科学中使用的技法的重要基础。.
新！!: 计算机科学和计算科学 · 查看更多 »
计算物理学
計算物理學（）是研究如何使用數值方法分析可以量化的物理学問題的学科。 历史上，计算物理学是计算机的第一项应用；目前计算物理学被视为计算科学的分支。 计算物理有时也被视为理论物理的分支学科或子问题，但也有人认为计算物理与理论物理与实验物理联系紧密，又相对独立，是物理学第三大分支《计算物理学》 刘金远等 科学出版社 ISBN 978-7-03-034793-0。.
新！!: 计算机科学和计算物理学 · 查看更多 »
计算模型
计算模型（computational model）是计算科学中的一个数学模型，它使用大量的計算資源来用计算机模拟研究一个复杂系统的行为。被研究的系统通常是一个复杂的非線性系统，这种系统不易取得简单、直观的解析解。相比于推导数学分析来解决问题，它是通过在计算机中调整系统参数并研究实验结果的差异来完成模型。模型的操作理论可以从这些实验来推断/推导。 常见的计算模型有天气预报模型、地球模拟器模型、飛行模擬器模型、分子蛋白质折叠模型和神经网络模型。.
新！!: 计算机科学和计算模型 · 查看更多 »
计算机协会
计算机协会（Association for Computing Machinery，简称ACM）是一个世界性的计算机从业员专业组织，创立于1947年，是世界上第一个科学性及教育性计算机学会，亦是現時全球最大的電腦相關學會。ACM每年都出版大量電腦科学的专门期刊，并就每项专业设有兴趣小组。兴趣小组每年亦会在全世界（但主要在美国）举办世界性讲座及会谈，以供各会员分享他们的研究成果。近年ACM积极开拓网上学习的渠道，以供会员在工作之余或家中提升自己的专业技能。截止20世纪末，ACM在全球拥有75,000个以上的成员，包括遍及学术界、工业、研究和政府领域的学生和计算机专业人员。成员的最高荣誉是会士（Fellow）。 ACM通过它的35个特别兴趣组（Special Interest Group，SIG）提供特殊的技术信息和服务。这些特别兴趣组集中于计算机学科的多种专业，如计算机系统结构专业组（computer architecture，SIGARCH）和计算机图形与互动技术专业组（computer graphics and interactive techniques，SIGGRAPH）。这些特别兴趣组中有不少是跨学科的，适合计算机行业以外的人员。例如有不少艺术家参与到图形互动小组中。 ACM通过支持全球700个以上的专业和学生组织，为当地和地区团体提供服务。其中约有20%不在美国境内。这些组织为专业人士提供服务，搜集信息，准备讲座，组织研讨会和竞赛。 ACM主要成员刊物是Communications of the ACM，刊有一些广泛兴趣的文章，并对每月不同的热点问题展开讨论。ACM也出版了不少获得业内认可的期刊，这些期刊覆盖了计算机领域相当广泛的领域。 ACM主办了8个主要奖项，来表彰计算机领域的技术和专业成就。最高奖项为图灵奖（Turing Award），常被形容为计算机领域的诺贝尔奖。.
新！!: 计算机科学和计算机协会 · 查看更多 »
计算机图形学
计算机图形学（computer graphics，縮寫为CG）是研究计算机在硬件和软件的帮助下创建计算机图形的科学学科，是计算机科学的一個分支領域，主要關注數位合成與操作視覺的圖形內容。雖然這個詞通常被認為是指三維圖形，事實上同時包括了二維圖形以及影像處理。.
新！!: 计算机科学和计算机图形学 · 查看更多 »
计算机科学家列表
這一列表列出最著名的電腦科學家。.
新！!: 计算机科学和计算机科学家列表 · 查看更多 »
计算机系统结构
計算機系統結構（computer architecture、電腦系统架構），抽象来說計算機系统架構是一个系统在其所处环境中最高层次的概念；它确定一台電腦硬體和軟體之间的連結。具體地說電腦系统架構'指的是電腦系統設計的觀念與架構，描述電腦在實做的設計原则。它确定一部電腦的：.
新！!: 计算机科学和计算机系统结构 · 查看更多 »
计算机领域中的女性
随着新兴的信息时代到来，全球关注计算机领域中的女性，她们在当下和未来职场的作用会变得越来越重要。.
新！!: 计算机科学和计算机领域中的女性 · 查看更多 »
计算机视觉
计算机视觉是一门研究如何使机器“看”的科学，更进一步的说，就是指用摄影机和计算机代替人眼对目标进行识别、跟踪和测量等机器视觉，并进一步做图像处理，用计算机处理成为更适合人眼观察或传送给仪器检测的图像。 作为一門科学学科，计算机视觉研究相关的理论和技术，试图建立能够从图像或者多维数据中获取「信息」的人工智能系统。这里所指的信息指香农定义的，可以用来帮助做一个“决定”的信息。因为感知可以看作是从感官信号中提取信息，所以计算机视觉也可以看作是研究如何使人工系统从图像或多维数据中“感知”的科学。 作为一个工程学科，计算机视觉寻求基于相关理论与模型来建立计算机视觉系统。这类系统的组成部分包括：.
新！!: 计算机科学和计算机视觉 · 查看更多 »
计算机模拟
计算机模拟，又称为计算机仿真，是指用来模拟特定系统之抽象模型的计算机程序。.
新！!: 计算机科学和计算机模拟 · 查看更多 »
计算流体力学
计算流体力学（Computational Fluid Dynamics，簡稱CFD）是21世纪流体力学领域的重要技術之一，使用数值方法在计算机中对流体力学的控制方程进行求解，从而可预测流场的流动。目前有多种商业CFD软件问世，比如FLUENT、CFD-ACE+（CFDRC）、Phoenics、CFX、Star-cd等。 目前在工程领域CFD方法已经得到广泛的应用。美国海空军下一代F-35战斗机所使用的附面层分离进气道是CFD的成果之一。附面层分离进气道通过特殊设计形状的突起分离流速较慢的附面层以改善涡轮风扇发动机的进气流场。此设计比传统的附面层隔板方法可以减轻数百公斤重量，同时在一定速度范围内能够维持很好的分离效率。 CFD最基本的考虑是如何把连续流体在计算机上用离散的方式处理。一个方法是把空间区域离散化成小胞腔，以形成一个立体网格或者格点，然后应用合适的算法来解运动方程（对于不粘滞流体用欧拉方程，对于粘滞流体用纳维-斯托克斯方程)。另外，这样的一个网格可以是不规则的（例如在二维由三角形组成，在三维由四面体组成）或者是规则的；前者的特征是每个胞腔必须单独存储在内存中。最后，如果问题是高度动态的并且在尺度上跨越很大的范围，网格本身应该可以动态随时间调整，譬如在自适应网格细化方法中。 如果选择不使用基于网格的方法，也有一些可选的替代，比较突出的有：.
新！!: 计算机科学和计算流体力学 · 查看更多 »
认知科学
認知科學（Cognitive Science），是一門研究訊息如何在大腦中形成以及轉錄過程的跨領域學科。它研究何为认知，认知有何用途以及它如何工作，研究信息如何表现为感觉、语言、注意、推理和情感。其研究領域包括心理學、哲學、人工智能、神經科學、學習、語言學、人類學、社會學和教育學。它跨越相當多層次的分析，從低層次的學習和決策機制，到高層次的邏輯和策劃能力，以及腦部神經電路。「認知科學」這個詞是在1973年評注一部關於當時人工智慧最新研究的著作時創造的。同10年內，《認知科學期刊》和相繼於美國加州成立。认知科学的基本要义是：理解思维的最好途径，是认识脑中的代表性结构，以及这些结构中发生的计算性过程。.
新！!: 计算机科学和认知科学 · 查看更多 »
语言学
语言学（linguistics）是一门关于人类语言的科学研究。语言学包含了几种分支领域。在语言结构（语法）研究与意义（语义与语用）研究之间存在一个重要的主题划分。语法中包含了词法（单词的形成与组成），句法（决定单词如何组成短语或句子的规则）以及语音（声音系统与抽象声音单元的研究）。语音学是语言学的一个相关分支，它涉及到语音（phone）与非语音声音的实际属性，以及它们是如何发出与被接收到的。 與学习語言不同，语言学是研究所有人类语文發展有關的一門學術科目（通常只有根据语言，非文字）。传统上，语言学是文化人类学的分支学科，但是现在语言学越来越独立了。语言学研究句法和词语等语言的描述，也研究语言的发展史。 语言学其他的附属科目包括以下：.
软件
軟體（software）是一系列按照特定顺序组织的電腦数据和指示，是電腦中的非有形部分。電腦中的有形部分稱為硬體，由電腦的外殼及各零件及電路所組成。電腦軟體需有硬體才能運作，反之亦然，軟體和硬體都無法在不互相配合的情形下進行實際的運作。 一般来說，计算机软件划分为程式語言、系统软件、应用软件和介于这两者之间的中介軟體。其中系统软件为计算机使用提供最基本的功能，但是并不针对某一特定应用领域。而应用软件则恰好相反，不同的应用软件根据用户和所服务的领域提供不同的功能。 软件包括所有在電腦執行的程式，和其架構無關，例如執行檔、函式庫及腳本語言都屬於软件。軟體不分架構，有其共通的特性，在執行後可以讓硬體執行依設計時要求的機能。軟體儲存在記憶體中，軟體不是可以碰觸到的實體，可以碰觸到的都只是儲存軟體的零件（記憶體）或是媒介（光碟或磁片等）。 软件并不一定只包括可以在计算机上运行的電腦程式，有些定義中，与電腦程式相关的文档，一般也被认为是软件的一部分。简单的说软件就是程式加文档的集合体。软件被应用于世界的各个领域，对人们的生活和工作都产生了深远的影响。.
软件工程
软件工程（quote） 1968年秋季，NATO（北約）的科技委員會召集了近50名一流的編程人員、計算機科學家和工業界巨頭，討論和制定擺脫“軟體危機”的對策。在那次會議上第一次提出了軟體工程（software engineering）這個概念，研究和应用如何以系统性的、规范化的、可定量的过程化方法去开发和维护软件，以及如何把经过时间考验而证明正确的管理技术和当前能够得到的最好的技术方法结合起来的学科。它涉及到程序设计语言、数据库、软件开发工具、系统平台、标准、设计模式等方面。其后的几十年里，各种有关软件工程的技术、思想、方法和概念不断被提出，软件工程逐步发展为一门独立的科学。 1993年，电气电子工程师学会（IEEE）给出了一个更加综合的定义："将系统化的、规范的、可度量的方法用于软件的开发、运行和维护的过程，即将工程化应用于软件开发中"。此后，IEEE多次给出软件工程的定义。 在现代社会中，软件应用于多个方面。典型的软件比如有电子邮件、嵌入式系统、人机界面、办公套件、操作系统、编译器、数据库、游戏等。同时，各个行业几乎都有计算机软件的应用，比如工业、农业、银行、航空、政府部门等。这些应用促进了经济和社会的发展，提高人们的工作效率，同时提升了生活质量。 软件工程师是对应用软件创造软件的人们的统称，软件工程师按照所处的领域不同可以分为系统分析师、系统架构师、软件设计师、程序员、测试工程师、界面与交互设计师等等。各种软件工程师人们俗称程序员。.
新！!: 计算机科学和软件工程 · 查看更多 »
软件工程主题列表
软件工程主题列表是軟件工程條目的補充，用以為主條目提供更詳細的內容及例子。.
新！!: 计算机科学和软件工程主题列表 · 查看更多 »
进程演算
在计算机科学中，进程演算（或进程代数）是用于形式化建模并发系统的多种相关方法。进程演算提供了具体描述多个独立代理人程序或者是多个进程之间交互、通信、同步的方法，其中包含了对进程操作和分析的描述、以及证明形式化推导进程之间存在等价关系（例如：双向模拟的运用）的代数法则。关于进程演算的典例主要包括CSP、CCS、ACP，和LOTOS。最近新增的演算包括π演算，环境演算，PEPA，融合演算和联接演算。.
新！!: 计算机科学和进程演算 · 查看更多 »
范式
范式（Paradigm），或典範，由托马斯·库恩提出。在1960年之后是指在科学领域和知识论行文中的思维的方式。 范式过去被用来描述科学上截然不同的概念。现在经常用于描述在科学上或者认识论中的的思维方式。.
范畴论
疇論是數學的一門學科，以抽象的方法來處理數學概念，將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化成範疇，並且使用範疇論，令在這些領域中許多難理解、難捉摸的數學結論可以比沒有使用範疇還會更容易敘述及證明。 範疇最容易理解的一個例子為集合範疇，其物件為集合，態射為集合間的函數。但需注意，範疇的物件不一定要是集合，態射也不一定要是函數；一個數學概念若可以找到一種方法，以符合物件及態射的定義，則可形成一個有效的範疇，且所有在範疇論中導出的結論都可應用在這個數學概念之上。 範疇最簡單的例子之一為广群，其態射皆為可逆的。群胚的概念在拓撲學中很重要。範疇現在在大部分的數學分支中都有出現，在理論電腦科學的某些領域中用于對應資料型別，而在數學物理中被用來描述向量空間。 範疇論不只是對研究範疇論的人有意義，對其他數學家而言也有著其他的意思。一個可追溯至1940年代的述語「一般化的抽象廢話」，即被用來指範疇論那相對於其他傳統的數學分支更高階的抽象化。.
量子计算机
量子计算机（quantum computer）是一种使用量子邏輯進行通用計算的設備。不同於电子计算机（或稱傳統電腦），量子計算用來存儲數據的對象是量子比特，它使用量子演算法來進行數據操作。马约拉纳费米子反粒子就是自己本身的属性，或许是令量子计算机的制造变成现实的一个关键。.
新！!: 计算机科学和量子计算机 · 查看更多 »
自动机
#重定向 自動機.
自动机理论
#重定向 自動機理論.
新！!: 计算机科学和自动机理论 · 查看更多 »
自然语言处理
自然語言處理（natural language processing，缩写作 NLP）是人工智慧和語言學領域的分支學科。此領域探討如何處理及運用自然語言；自然語言認知則是指讓電腦「懂」人類的語言。 自然語言生成系統把計算機數據轉化為自然語言。自然語言理解系統把自然語言轉化為計算機程序更易于處理的形式。.
新！!: 计算机科学和自然语言处理 · 查看更多 »
金融
金融（Finance）是“資金的融通”的省略語。金，指的是黃金；融，最早指固體融化變成液體，也有融通的意思。所以，金融就是將黃金融化分開交易流通，即價值的流通。顧名思義意指融通資金、使資金融洽通達，是指在經濟生活中，银行、證券或保險業者從市場主體（例如：儲戶、證券投資者或者保險者等）募集資金，並藉貸給其它市場主體的經濟活動。從事這一業務的業者稱之為金融業者。研究有關金融的學科稱之為金融學。 从广义上说，政府、个人、组织等市场主体通过募集、配置和使用资金而产生的所有资本流动都可称之为金融。因此，不仅是金融业者，有关政府的财政，行业企业的行为、以及个人的理财都是金融的一部分。金融可以看作为资金的募集配置（籌資）、以及投资和融资（借錢買股）三类经济行为。 行业企业募集资金的方法一般可以分为以下两类：.
艾伦·图灵
艾伦·麦席森·图灵，OBE，FRS（Alan Mathison Turing，又译阿兰·图灵，Turing也常翻譯成--林或者杜林，）是英国計算機科學家、数学家、邏輯學家、密码分析学家和理论生物学家，他被视为计算机科学與人工智慧之父。 在第二次世界大战期间，图灵曾在“政府密码学校”（GC&CS，今政府通信总部）工作。政府密码学校位于布萊切利園，是英国顶级机密情报机构。图灵在这里从事密码破译工作，有一段时间，他领导了（Hut 8）小组，负责德国海军密码分析。 期间他设计了一些加速破译德国密码的技术，包括改进波兰战前研制的机器，一种可以找到恩尼格玛密码机设置的机电机器。 图灵在破译截获的编码信息方面发挥了关键作用，使盟军能够在包括大西洋战役在内的许多重要交战中击败纳粹，并因此帮助赢得了战争。 图灵对于人工智能的发展有诸多贡献，例如图灵曾写过一篇名为《》的论文，提問「机器会思考吗？」（Can Machines Think?），作為一种用于判定机器是否具有智能的测试方法，即图灵测试。至今，每年都有试验的比赛。此外，图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。 图灵是著名的男同性恋者，并因为其性倾向而遭到当时的英国政府迫害，职业生涯尽毁。他亦患有花粉过敏症。 图灵还是一位世界级的长跑运动员。他的马拉松最好成绩是2小時46分03秒（手動計時），比1948年奥林匹克运动会金牌成绩慢11分钟。1948年的一次跨国赛跑比赛中，他跑赢了同年奥运会银牌得主。.
新！!: 计算机科学和艾伦·图灵 · 查看更多 »
艾兹赫尔·戴克斯特拉
艾兹赫尔·韦伯·戴克斯特拉（Edsger Wybe Dijkstra，，），又譯艾兹赫尔·韦伯·迪杰斯特拉，生於荷蘭鹿特丹，计算机科学家，是荷蘭第一位以程式為專業的科學家。曾在1972年获得图灵奖，之后，他还获得1974年AFIPS Harry Goode Memorial Award、1989年ACM SIGCSE计算机科学教育教学杰出贡献奖。 2002年，在他去世前不久，艾兹赫尔获得了ACM PODC（分布式计算原理）最具影响力论文奖，以表彰他在分布式领域中关于程序计算自稳定的贡献。为了纪念他，这个每年一度奖项也在此后被更名为“Dijkstra奖”。 他曾经提出“GOTO有害论”，信号量和PV原语，解决了有趣的“哲学家就餐问题”。.
新！!: 计算机科学和艾兹赫尔·戴克斯特拉 · 查看更多 »
電子計算機
--，亦稱--，计算机是一种利用数字电子技术，根据一系列指令指示其自动执行任意算术或逻辑操作序列的设备。计算机遵循被称为“程序”的一般操作集的能力使他们能够执行极其广泛的任务。 计算机被用作各种工业和消费设备的控制系统。这包括简单的特定用途设备（如微波炉和遥控器）、工业设备（如工业机器人和计算机辅助设计），以及通用设备（如个人电脑和智能手机之类的移动设备）等。尽管计算机种类繁多，但根据图灵机理论，一部具有最基本功能的计算机，应当能够完成任何其它计算机能做的事情。因此，理论上从智能手机到超级计算机都应该可以完成同样的作业（不考虑时间和存储因素）。由于科技的飞速进步，下一代计算机总是在性能上能够显著地超过其前一代，这一现象有时被称作“摩尔定律”。通过互联网，计算机互相连接，极大地提高了信息交换速度，反过来推动了科技的发展。在21世纪的现在，计算机的应用已经涉及到方方面面，各行各业了。 自古以来，简单的手动设备——就像算盘——帮助人们进行计算。在工业革命初期，各式各样的机械的出现，其初衷都是为了自动完成冗长而乏味的任务，例如织机的编织图案。更复杂的机器在20世纪初出现，通过模拟电路进行复杂特定的计算。第一台数字电子计算机出现于二战期间。自那时以来，电脑的速度，功耗和多功能性不断增加。在现代，机械计算--机的应用已经完全被电子计算机所取代。 计算机在组成上形式不一，早期计算机的体积足有一间房屋的大小，而今天某些嵌入式计算机可能比一副扑克牌还小。当然，即使在今天依然有大量体积庞大的巨型计算机为特别的科学计算或面向大型组织的事务处理需求服务。比较小的，为个人应用而设计的称为微型计算机（Personal Computer，PC），在中國地區简称為「微机」。我們今天在日常使用“计算机”一词时通常也是指此，不过现在计算机最为普遍的应用形式却是嵌入式，嵌入式计算机通常相对简单、体积小，并被用来控制其它设备——无论是飞机、工业机器人还是数码相机。 同计算机相关的技术研究叫计算--机科学，而「计算机技术」指的是将计算--机科学的成果应用于工程实践所派生的诸多技术性和经验性成果的总合。「计算机技术」与「计算机科学」是两个相关而又不同的概念，它们的不同在于前者偏重于实践而后者偏重于理论。至於由数据为核心的研究則称為信息技术。 传统上，现代计算机包括至少一个处理单元（通常是中央处理器（CPU））和某种形式的存储器。处理元件执行算术和逻辑运算，并且排序和控制单元可以响应于存储的信息改变操作的顺序。外围设备包括输入设备（键盘，鼠标，操纵杆等）、输出设备（显示器屏幕，打印机等）以及执行两种功能（例如触摸屏）的输入/输出设备。外围设备允许从外部来源检索信息，并使操作结果得以保存和检索。.
新！!: 计算机科学和電子計算機 · 查看更多 »
電腦科學家
電腦科學家（Computer scientist）是指一類具有資深電腦科學知識，並從事相關研究的人物。電腦科學家通常從事計算與資訊理論方面的研究，有時也關注這些理論在電腦系統中的應用。 與電腦工程師相對，電腦科學家通常對電腦系統的理論，而非實作，更加感興趣，儘管有時電腦科學家的工作也涉及到硬體系統。電腦科學家通常會對電腦科學的某一分支進行深入研究，但是這些分支都建立在對計算系統的理論研究上。.
新！!: 计算机科学和電腦科學家 · 查看更多 »
電腦成像
電腦產生圖像（英文：Computer-generated imagery，縮寫：CGI），簡稱電腦成像，舊稱電腦繪圖（英文：Computer Graphics，縮寫：CG），是指使用電腦產生的影像，更精確的如應用在影片中的三維特效，還有在電視節目、廣告及印刷媒體中也很常見。在電腦遊戲中常使用的即時運算圖形都屬於電腦生成圖像的範圍，也有些是用來做過場或是介紹用頁面，有時這被稱為全動態視頻。.
新！!: 计算机科学和電腦成像 · 查看更多 »
電機工程學
電機工程學是以電子學、電磁學等物理学分支为基础，涵盖電子學、電子計算機、電力工程、电信、控制工程、訊號處理等子领域的一門工程學。十九世紀後半期以來，隨著電報、電話、電能在供應與使用方面的商業化，該學科逐漸發展為相對獨立的專業領域。 電機工程廣義上涵蓋該領域的分支，但在有些地方，「電機工程學」（Electrical Engineering）一詞的意義有時不包括「電子工程學」（Electronic Engineering）。 這個情況下，「電機工程學」是指涉及到大能量的電力系統（如電能傳輸、重型電機機械及電動機），而「電子工程」則是指處理小信號的電子系統（如計算機和積體電路）。 另一種區分法為，電力工程師著重於電能的傳輸，而電子工程師則著重於利用電子訊號進行資訊的傳輸。這些子領域的範圍有時也會重疊：例如，電力電子學使用電力電子元件對電能進行變換和控制；又如，智慧電網偵測電能供應者的電能供應狀況與一般家庭使用者的電能使用狀況，并据之調整家電用品的耗電量，以此达到节约能源、降低损耗、增强輸電網路可靠性的目的。因此，電機工程亦函蓋電子工程部分領域的專業知識。.
新！!: 计算机科学和電機工程學 · 查看更多 »
蛋白质折叠
蛋白质折叠（Protein folding）是蛋白质获得其功能性结构和构象的过程。通过这一物理过程，蛋白质从无规则卷曲折叠成特定的功能性三维结构。在从mRNA序列翻译成线性的氨基酸链时，蛋白质都是以去折叠多肽或无规则卷曲的形式存在。 蛋白質的基本單位為胺基酸，而蛋白質的一級結構指的就是其胺基酸序列，蛋白質會由所含胺基酸残基的親水性、疏水性、帶正電、帶負電……等等特性通过残基间的相互作用而摺疊成一立體的三级結構。 根据克里斯琴·B·安芬森（1972年的諾貝爾化學獎得主）的研究，蛋白質可由加熱或置於某些化學環境而变性，三级结构解体；而當環境回復到原本的狀態時，蛋白質可於不到一秒的時間折疊至原先的立體結構，不論試驗幾次，蛋白質都僅此一種立體結構，於是Anfinsen提出一個結論：蛋白质分子的一级结构决定其立體结构。 安芬森的研究结果非常重要，因為蛋白質的功能取決於其立體結構，而目前根据已知某基因序列可翻译获得对应蛋白质的胺基酸序列，既蛋白質的一級結構；如果從蛋白質的一級結構就能知道立體結構，那麼即可直接從基因推测其编码蛋白质所對應的生物学功能。虽然蛋白質可在短時間中從一級結構摺疊至立體結構，研究者卻無法在短時間中從胺基酸序列計算出蛋白质結構，甚至无法得到准确的三维结构。因此，研究蛋白质折叠的过程，可以说是破译“第二遗传密码”——折叠密码（folding code）的过程。 目前蛋白质的再折叠依然遵从先使用胍或脲变性，然后逐渐降低胍或者脲的浓度，也就是逐渐降低对蛋白质天然“回缩”能力的干扰。使其自然回到天然的最低能量状态。只是这个过程无法很好的控制肽链与肽链之间和肽链内部形成错误折叠的干扰。.
新！!: 计算机科学和蛋白质折叠 · 查看更多 »
逻辑
邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.
递归论
递归论或可计算性理论，是一个数理逻辑分支。它起源于可计算函数和图灵度的研究。它的领域增长为包括一般性的可计算性和可定义性的研究。在这些领域中，这门理论同证明论和能行描述集合论（effective descriptive set theory）有所重叠。 数理逻辑中的可计算性理论家经常研究相对可计算性、可归约性概念和程度结构的理论。相对于计算机科学家，他们研究次递归层次，可行的计算和公用于可计算性理论研究的形式语言。在这两个社区之间有着相当大的知识和方法上的重叠，而没有明显的界限。.
Folding@home
Folding@home（簡稱FAH或F@h）是一个研究蛋白质折叠、误折、聚合及由此引起的相关疾病的分布式计算工程。由斯坦福大学化學系的潘德实验室（Pande Lab）主持，於2000年10月1日正式啟動。Folding@home現時是世界上最大的分布式計算計劃，於2007年為吉尼斯世界纪录所承認。 2004年3月8日，研究基因結構的計劃終止，併入Folding@home。.
新！!: 计算机科学和Folding@home · 查看更多 »
IBM
国际商业机器股份有限公司（International Business Machines Corporation，首字母縮略字：IBM，曾译万国商用机器公司）是美國一家跨國科技公司及諮詢公司，總部位於紐約州阿蒙克市。IBM主要客户是政府和企业。IBM生产并销售计算机硬件及软件，并且为系统架构和网络托管提供咨询服务。截止2013年，IBM已在全球拥有12个研究实验室和大量的软件开发基地。IBM雖然是一家商業公司，但在材料、化学、物理等科学领域卻也有很高的成就，利用這些學術研究為基礎，发明很多产品。比较有名的IBM发明的产品包括硬盘、自動櫃員機、通用产品代码、SQL、关系数据库管理系统、DRAM及沃森。.
P/NP问题
P/NP问题是在理论信息学中计算复杂度理论领域里至今未被解决的问题，也是克雷数学研究所七个千禧年大奖难题之一。P/NP问题中包含了复杂度类P与NP的关系。1971年史提芬·古克（Stephen A. Cook）和相对独立地提出了下面的问题，即复杂度类P和NP是否是恒等的（P.
新！!: 计算机科学和P/NP问题 · 查看更多 »
Petri网
佩特里网（Petri net），又譯為裴氏網、派翠網路，是对离散并行系统的数学表示。Petri网屬於離散事件動態系統，是1960年代由卡尔·亚当·佩特里发明的，适合于描述异步的、并发的计算机系统模型。Petri网既有严格的数学表述方式，也有直观的图形表达方式。 由于Petri网能表达并发的事件，被认为是自动化理论的一种。研究领域趋向认为Petri网是所有流程定义语言之母。.
新！!: 计算机科学和Petri网 · 查看更多 »
PRAM模型
没有描述。
新！!: 计算机科学和PRAM模型 · 查看更多 »
SPICE
以積體電路為重點的模擬程式（Simulation Program with Integrated Circuit Emphasis, SPICE），是一种用于电路描述与仿真的语言与仿真器软件，用于检测电路的连接和功能的完整性，以及用于预测电路的行为。SPICE主要用于模拟电路和混合信号电路的仿真。由此我們便可以清楚地了解：SPICE這套程式原先發展的目的是為了模--擬電子系統中日益重要的積體電路。 由於積體電路不如傳統電路一般可以在麵包板（breadboard）或印刷電路板（Printed circuit board）上做實驗來驗證設計結果，所以為了提高積體電路正式生產時的良率（yield）及降低成本，勢必要在進入實際製程階段前對其電路特性做「檢查」，確保性能在規格範圍之內。.
新！!: 计算机科学和SPICE · 查看更多 »
University of Cambridge
#重定向 剑桥大学.
新！!: 计算机科学和University of Cambridge · 查看更多 »
Zentralblatt MATH
#重定向 數學文摘.
新！!: 计算机科学和Zentralblatt MATH · 查看更多 »
查尔斯·巴贝奇
查尔斯·巴贝奇（；），英国数学家、發明家兼機械工程師。由於提出了差分機與分析機的設計概念（並有部份實做機器），被視為计算机先驱。 1828年至1839年，巴貝奇曾在劍橋大學擔任盧卡斯教授。 除了數學和計算機之外，巴贝奇也是當時重要的經濟學者之一。 他還参与了一些政治活动，但是這方面頗不成功。.
新！!: 计算机科学和查尔斯·巴贝奇 · 查看更多 »
恩尼格玛密码机
在密码学史中，恩尼格玛密码机（德语：Enigma，又译哑谜机，或「谜」式密碼機）是一种用于加密与解密文件的密码机。确切地说，恩尼格玛是对二战时期納粹德國使用的一系列相似的加解密机器的统称，它包括了许多不同的型号，為密碼學對稱加密算法的流加密。 恩尼格玛密码机在1920年代早期开始被用于商业，一些国家的军队与政府也曾使用过它，其中的主要使用者是第二次世界大战时的纳粹德国。 在恩尼格玛密码机的所有版本中，最著名的是德国使用的军用版本。尽管此机器的安全性较高，但盟军的密码学家们还是成功地破译了大量由这种机器加密的信息。1932年，波兰密码学家马里安·雷耶夫斯基、杰尔兹·罗佐基和亨里克·佐加尔斯基根据恩尼格玛机的原理破译了它。1939年中期，波兰政府将此破译方法告知了英国和法国，但直到1941年英國海軍捕獲德國U-110潛艇，得到密碼機和密碼本才成功破解。密码的破解使得納粹海軍對英美商船補給船的大量攻擊失效。盟军的情报部门将破译出来的密码称为ULTRA，这极大地帮助了西欧的盟军部队。ULTRA到底有多大贡献还在争论中，但是人们都普遍认为盟军在西欧的胜利能够提前两年，完全是因为恩尼格玛密码机被成功破译。 尽管恩尼格玛密码机在加密方面具有不足之处，但是经它加密的文件还是很难破解，盟军能够破译它的密码是因为德国还犯了其它一些大错误（如加密员的失误、使用步骤错误、机器或密码本被缴获等等）。.
新！!: 计算机科学和恩尼格玛密码机 · 查看更多 »
模式识别
模式识别（Pattern recognition），就是通过计算机用数学技术方法来研究模式的自动处理和判读。我们把环境与客体统称为“模式”。随着计算机技术的发展，人类有可能研究复杂的信息处理过程。信息处理过程的一个重要形式是生命体对环境及客体的识别。对人类来说，特别重要的是对光学信息（通过视觉器官来获得）和声学信息（通过听觉器官来获得）的识别。这是模式识别的两个重要方面。市场上可见到的代表性产品有光学字符识别、语音识别系统。 计算机识别的显著特点是速度快、准确性高、效率高，在将来完全可以取代人工录入。 识别过程与人类的学习过程相似。以光學字元識別之“汉字识别”为例：首先将汉字图像进行处理，抽取主要表达特征并将特征与汉字的代码存在计算机中。就像老师教我们「这个字叫什么、如何写」记在大脑中。这一过程叫做“训练”。识别过程就是将输入的汉字图像经处理后与计算机中的所有字进行比较，找出最相近的字就是识别结果。这一过程叫做“匹配”。.
新！!: 计算机科学和模式识别 · 查看更多 »
演绎推理
演绎推理（Deductive Reasoning）在传统的亚里士多德逻辑中是「结论，可从叫做‘前提’的已知事实，‘必然地’得出的推理」。如果前提为真，则结论必然为真。这区别于溯因推理和归纳推理：它们的前提可以预测出高概率的结论，但是不确保结论为真。 “演绎推理”还可以定义为结论在普遍性上不大于前提的推理，或「结论在确定性上，同前提一样」的推理。.
新！!: 计算机科学和演绎推理 · 查看更多 »
机器学习
机器学习是人工智能的一个分支。人工智能的研究历史有着一条从以“推理”为重点，到以“知识”为重点，再到以“学习”为重点的自然、清晰的脉络。显然，机器学习是实现人工智能的一个途径，即以机器学习为手段解决人工智能中的问题。机器学习在近30多年已发展为一门多领域交叉学科，涉及概率论、统计学、逼近论、、计算复杂性理论等多门学科。机器学习理论主要是设计和分析一些让计算机可以自动“学习”的算法。机器学习算法是一类从数据中自动分析获得规律，并利用规律对未知数据进行预测的算法。因为学习算法中涉及了大量的统计学理论，机器学习与推断统计学联系尤为密切，也被称为统计学习理论。算法设计方面，机器学习理论关注可以实现的，行之有效的学习算法。很多推论问题属于无程序可循难度，所以部分的机器学习研究是开发容易处理的近似算法。 机器学习已广泛应用于数据挖掘、计算机视觉、自然语言处理、生物特征识别、搜索引擎、医学诊断、检测信用卡欺诈、证券市场分析、DNA序列测序、语音和手写识别、战略游戏和机器人等领域。.
新！!: 计算机科学和机器学习 · 查看更多 »
斯拉夫语族
斯拉夫語族是印欧语系的一个语族，產生於斯拉夫民族。可分為東斯拉夫語支、南斯拉夫語支及西斯拉夫語支，東斯拉夫語支及南斯拉夫語支使用西里爾字母，但有一例外，塞尔维亚语和克罗地亚语原是同一种语言，由于宗教的原因，塞尔维亚语用西里尔字母书写，克罗地亚语用拉丁字母书写，两种字母可以自由转写。波斯尼亚语和斯洛文尼亚语用拉丁字母书写（見），西斯拉夫語支使用拉丁字母。.
新！!: 计算机科学和斯拉夫语族 · 查看更多 »
日本
日本國（），是位於東亞的島嶼國家，由日本列島、琉球群島和伊豆－小笠原群島等6,852個島嶼組成，面積約37.8万平方公里。國土全境被太平洋及其緣海環抱，西鄰朝鮮半島及俄罗斯，北面堪察加半島，西南為臺灣及中國東部。人口達1.26億，居於世界各國第11位，當中逾3,500萬以上的人口居住於東京都與周邊數縣構成的首都圈，為世界最大的都市圈。政體施行議會制君主立憲制，君主天皇為日本國家與國民的象徵，實際的政治權力則由國會（參眾兩院）、以及內閣總理大臣（首相）所領導的內閣掌理，最高法院為最高裁判所。 傳說日本於公元前660年2月11日，由天照大神之孫下凡所生之後代磐余彥尊所建，在公元4世紀出現首個統一政權，並於大化改新中確立了天皇的中央集权體制。至平安時代結束前，日本透過文字、宗教、藝術、政治制度等從漢文化引進的事物，開始衍生出今日為人所知的文化基礎。12世紀後的六百年間，日本由武家階級建立的幕府實際掌權。17世纪起江户幕府頒布锁国令，至1854年被迫開港才結束。此後，日本在西方列強進逼的時局下，首先天皇從幕府手中收回統治權，接著在19世紀中期的明治维新進行大規模政治與經濟改革，實現工業化及現代化；而自19世纪末起，日本首先兼併琉球，再拿下台灣、朝鮮、樺太等地為屬地。進入20世紀時，日本已成為當時世界的帝國主義強權之一，也是當時東方世界唯一的大國。日本後來成為第二次世界大戰的軸心國之一，對中國與南洋發動全面侵略，但最终於1945年戰敗投降。日本投降至1952年《旧金山和约》生效前，同盟国军事占领日本，並監督日本制定新憲法、建立今日所見的政治架構，日本轉型為以國會為中心的民主政體，天皇地位虛位化，並依照憲法第九條放棄維持武装以及宣戰權。而日本雖在法律上實施非武裝化，出於自我防衛上的需要，仍擁有功能等同於其他國家軍隊的自衛隊。 日本是世界第三大經濟體，亦為七大工業國組織成員，是世界先進國家之一，主要奠基於日本經濟在二戰後的巨幅增長。現時日本的科研能力、工業基礎和製造業技術均位居世界前茅，並是世界第四大出口國和進口國。2015年，日本的人均國內生產總值依國際匯率可兌換成為三萬二千，人均國民收入則在三萬七千美元左右，人類發展指數亦一直維持在極高水平。.
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
数字电路
数字电路或数字集成电路是由许多的逻辑门组成的复杂电路。与模拟电路相比，它主要进行数字信号的处理（即信号以0与1两个状态表示），因此抗干扰能力较强。数字集成电路有各种门电路、触发器以及由它们构成的各种组合逻辑电路和时序逻辑电路。一个数字系统一般由控制部件和运算部件组成，在时脈的驱动下，控制部件控制运算部件完成所要执行的动作。通过類比數位轉換器、數位類比轉換器，数字电路可以和模拟电路互相连接。.
新！!: 计算机科学和数字电路 · 查看更多 »
数值分析
数值分析（numerical analysis），是指在数学分析（区别于离散数学）问题中，对使用数值近似（相对于一般化的符号运算）算法的研究。 巴比伦泥板YBC 7289是关于数值分析的最早数学作品之一，它给出了 \sqrt 在六十进制下的一个数值逼近，\sqrt是一個邊長為1的正方形的對角線，在西元前1800年巴比倫人也已在巴比倫泥板上計算勾股數（畢氏三元數）（3, 4, 5），即直角三角形的三邊長比。 数值分析延續了實務上數學計算的傳統。巴比倫人利用巴比伦泥板計算\sqrt的近似值，而不是精確值。在許多實務的問題中，精確值往往無法求得，或是無法用有理數表示（如\sqrt）。数值分析的目的不在求出正確的答案，而是在其誤差在一合理範圍的條件下找到近似解。 在所有工程及科學的領域中都會用到数值分析。像天體力學研究中會用到常微分方程，最優化會用在资产组合管理中，數值線性代數是資料分析中重要的一部份，而隨機微分方程及馬可夫鏈是在醫藥或生物學中生物細胞模擬的基礎。 在電腦發明之前，数值分析主要是依靠大型的函數表及人工的內插法，但在二十世紀中被電腦的計算所取代。不過電腦的內插演算法仍然是数值分析軟體中重要的一部份。.
新！!: 计算机科学和数值分析 · 查看更多 »
数理逻辑
数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。.
新！!: 计算机科学和数理逻辑 · 查看更多 »
数论
數論是纯粹数学的分支之一，主要研究整数的性質。被譽為「最純」的數學領域。 正整数按乘法性质划分，可以分成質数，合数，1，質数產生了很多一般人也能理解而又懸而未解的問題，如哥德巴赫猜想，孿生質數猜想等，即。很多問題虽然形式上十分初等，事实上却要用到许多艰深的数学知识。这一领域的研究从某种意义上推动了数学的发展，催生了大量的新思想和新方法。數論除了研究整數及質數外，也研究一些由整數衍生的數（如有理數）或是一些廣義的整數（如代數整數）。 整数可以是方程式的解（丟番圖方程）。有些解析函數（像黎曼ζ函數）中包括了一些整數、質數的性質，透過這些函數也可以了解一些數論的問題。透過數論也可以建立實數和有理數之間的關係，並且用有理數來逼近實數（丟番圖逼近）。 數論早期稱為算術。到20世紀初，才開始使用數論的名稱，而算術一詞則表示「基本運算」，不過在20世紀的後半，有部份數學家仍會用「算術」一詞來表示數論。1952年時數學家Harold Davenport仍用「高等算術」一詞來表示數論，戈弗雷·哈羅德·哈代和愛德華·梅特蘭·賴特在1938年寫《數論介紹》簡介時曾提到「我們曾考慮過將書名改為《算術介紹》，某方面而言是更合適的書名，但也容易讓讀者誤會其中的內容」。 卡尔·弗里德里希·高斯曾說：「數學是科學的皇后，數論是數學的皇后。.
数据库
--，簡而言之可視為電子化的檔案櫃——儲存电子檔案的處所，使用者可以對檔案中的資料執行新增、擷取、更新、刪除等操作。 所謂「資料庫」係以一定方式储存在一起、能予多个用户共享、具有尽可能小的冗余度、与应用程序彼此独立的数据集合。.
数据结构
在计算机科学中，数据结构（data structure）是计算机中存储、组织数据的方式。 数据结构意味着介面或封装：一个数据结构可被视为两个函数之间的介面，或者是由数据类型联合组成的存储内容的访问方法封装。 大多数数据结构都由数列、记录、可辨识联合、引用等基本类型构成。举例而言，可為空的引用（nullable reference）是引用与可辨识联合的结合体，而最简单的链式结构链表则是由记录与可空引用构成。 数据结构可透过程式语言所提供的数据类型、引用及其他操作加以实现。一个设计良好的数据结构，应该在尽可能使用较少的时间与空间资源的前提下，支援各種程式執行。 不同种类的数据结构适合不同种类的应用，部分資料結構甚至是為了解決特定問題而設計出來的。例如B树即為加快樹狀結構存取速度而設計的資料結構，常被應用在資料庫和檔案系統上。 正確的数据结构選擇可以提高演算法的效率（請參考）。在電腦程式设计的過程裡，选择适当的数据结构是一項重要工作。许多大型系统的編寫经验顯示，程式設計的困难程度与最终成果的质量与表现，取决于是否选择了最適合的数据结构。 系統架構的关键因素是数据结构而非算法的見解，导致了多种形式化的设计方法与编程语言的出现。绝大多数的语言都带有某种程度上的模块化思想，透过将数据结构的具体实现封装隐藏于使用者介面之后的方法，来让不同的应用程序能够安全地重用这些数据结构。C++、Java、Python等面向对象的编程语言可使用类 (计算机科学)来達到這個目的。 因为数据结构概念的普及，现代编程语言及其API中都包含了多种預設的数据结构，例如 C++ 标准模板库中的容器、Java集合框架以及微软的.NET Framework。.
新！!: 计算机科学和数据结构 · 查看更多 »
数据模型
在软件工程中，数据模型是定义数据如何输入和与输出的一种模型。其主要作用是为信息系统提供数据的定义和格式。数据模型是数据库系统的核心和基础，现有的数据库系统都是基于某种数据模型而建立起来的。.
新！!: 计算机科学和数据模型 · 查看更多 »
打孔機
打孔機（Hole punch），又稱鑽孔器。打孔機的內部製造材料採用金屬的模式，當打孔機壓下去時可以將內部的氣體釋出，通常透過紙張使用後變成小洞，是辦公室所必備的文具。.
重定向到这里：
电脑科学，計算機學，計算機科學，计算机科学与技术，電腦科學。
