比浏览器更快的访问！
26 关系: 并行计算，人工智能，函數程式語言，副作用 (计算机科学)，图灵完全，Clojure，算法，編譯器，编程范型，直譯器，邏輯編程，逻辑，Haskell，HTML，ML语言，MXML，OCaml，Prolog，Scheme，SQL，Technische Universität Berlin，XAML，XSLT，Yacc，正则表达式，指令式編程。
并行计算
并行计算（parallel computing）一般是指许多指令得以同时进行的计算模式。在同時進行的前提下，可以將計算的過程分解成小部份，之後以並行方式來加以解決。 電腦軟體可以被分成數個運算步驟來執行。為了解決某個特定問題，軟體採用某個演算法，以一連串指令執行來完成。傳統上，這些指令都被送至單一的中央处理器，以循序方式執行完成。在這種處理方式下，單一時間中，只有單一指令被執行(processor level: 比较微处理器，CISC, 和RISC，即流水线Pipeline的概念，以及后来在Pipeline基础上以提高指令处理效率为目的的硬件及软件发展，比如branch-prediction, 比如forwarding，比如在每个运算单元前的指令堆栈，汇编程序员对programm code的顺序改写)。平行運算採用了多個運算單元，同時執行，以解決問題。.
新！!: 宣告式編程和并行计算 · 查看更多 »
人工智能
人工智能（Artificial Intelligence, AI）亦稱機器智能，是指由人製造出來的機器所表現出來的智能。通常人工智能是指通過普通電腦程式的手段實現的人類智能技術。該詞也指出研究這樣的智能系統是否能夠實現，以及如何實現科學領域。同時如此，人類的數量開始收斂及功能逐漸被其取代。 一般教材中的定义领域是“智能主体（intelligent agent）的研究与设计”，智能主体是指一个可以观察周遭环境并作出行动以达致目标的系统。约翰·麦卡锡于1955年的定义是「制造智能机器的科学与工程。」 人工智能的研究是高度技术性和专业的，各分支领域都是深入且各不相通的，因而涉及範圍極廣。人工智能的研究可以分为几个技术问题。其分支领域主要集中在解决具体问题，其中之一是，如何使用各种不同的工具完成特定的应用程序。 AI的核心问题包括建構能夠跟人類似甚至超越的推理、知识、规划、学习、交流、感知、移动和操作物体的能力等。強人工智能目前仍然是该领域的长远目标。目前強人工智慧已經有初步成果，甚至在一些影像辨識、語言分析、棋類遊戲等等單方面的能力達到了超越人類的水平，而且人工智慧的通用性代表著，能解決上述的問題的是一樣的AI程式，無須重新開發算法就可以直接使用現有的AI完成任務，與人類的處理能力相同，但達到具備思考能力的統合強人工智慧還需要時間研究，比较流行的方法包括统计方法，计算智能和传统意义的AI。目前有大量的工具应用了人工智能，其中包括搜索和数学优化、逻辑推演。而基於仿生學、認知心理學，以及基于概率论和经济学的演算法等等也在逐步探索當中。.
新！!: 宣告式編程和人工智能 · 查看更多 »
函數程式語言
函數式編程（functional programming）或称函数程序设计，又稱泛函編程，是一種編程典範，它將電腦運算視為數學上的函數計算，並且避免使用程序状态以及易变物件。函數程式語言最重要的基礎是λ演算（lambda calculus）。而且λ演算的函數可以接受函數當作輸入（引數）和輸出（傳出值）。 比起指令式編程，函數式編程更加強調程序执行的结果而非执行的过程，倡导利用若干简单的执行单元让计算结果不断渐进，逐层推导复杂的运算，而不是设计一个复杂的执行过程。.
新！!: 宣告式編程和函數程式語言 · 查看更多 »
副作用 (计算机科学)
#重定向 函数副作用.
新！!: 宣告式編程和副作用 (计算机科学) · 查看更多 »
图灵完全
#重定向 圖靈完備性.
新！!: 宣告式編程和图灵完全 · 查看更多 »
Clojure
Clojure（發音類似"closure"）是一套現代的Lisp語言的動態語言版。它是一个函数式多用途的语言。 Clojure可以執行於Java虛擬機，通用語言運行時以及JavaScript引擎之上。與其他Lisp一樣，Clojure認為同像性，同時擁有複雜的巨集。 Clojure最新的稳定版本是1.8，发布于2016年1月19日。第一个稳定版本1.0于2009年5月4日发布。 Clojure是一个在Eclipse公共许可证下发行的自由软件。目前其开发进程是社区主导的，在作者Rich Hickey以一个“终身的仁慈独裁者”的身份监督下进行。.
新！!: 宣告式編程和Clojure · 查看更多 »
算法
-- 算法（algorithm），在數學（算學）和電腦科學之中，為任何良定义的具體計算步驟的一个序列，常用於計算、和自動推理。精確而言，算法是一個表示爲有限長列表的。算法應包含清晰定義的指令用於計算函數。 算法中的指令描述的是一個計算，當其時能從一個初始狀態和初始輸入（可能爲空）開始，經過一系列有限而清晰定義的狀態最終產生輸出並停止於一個終態。一個狀態到另一個狀態的轉移不一定是確定的。隨機化算法在内的一些算法，包含了一些隨機輸入。 形式化算法的概念部分源自尝试解决希尔伯特提出的判定问题，並在其后尝试定义或者中成形。这些尝试包括库尔特·哥德尔、雅克·埃尔布朗和斯蒂芬·科尔·克莱尼分别于1930年、1934年和1935年提出的遞歸函數，阿隆佐·邱奇於1936年提出的λ演算，1936年的Formulation 1和艾倫·圖靈1937年提出的圖靈機。即使在當前，依然常有直覺想法難以定義爲形式化算法的情況。.
編譯器
编译器（compiler），是一種電腦程式，它會將用某種程式語言寫成的原始碼（原始語言），轉換成另一種程式語言（目標語言）。 它主要的目的是將便于人编写、阅读、维护的高级计算机语言所寫作的原始碼程式，翻译为计算机能解读、运行的低阶机器语言的程序，也就是執行檔。编译器将原始程序（source program）作为输入，翻译产生使用目标语言（target language）的等价程序。源代码一般为高阶语言（High-level language），如Pascal、C、C++、C# 、Java等，而目标语言则是汇编语言或目标机器的目标代码（Object code），有时也称作机器代码（Machine code）。 一个现代编译器的主要工作流程如下： 源代码（source code）→ 预处理器（preprocessor）→ 编译器（compiler）→ 汇编程序（assembler）→ 目标代码（object code）→ 链接器（Linker）→ 執行檔（executables）， 最後打包好的檔案就可以給電腦去判讀執行了。.
编程范型
编--程范型、编--程范式或程式--設計法（Programming paradigm），（範即模範、典範之意，範式即模式、方法），是一类典型的编程风格，是指从事软件工程的一类典型的风格（可以对照方法学）。如：函數式編程、程序編程、面向对象编程、指令式编程等等為不同的编程范型。 编程范型提供了（同时决定了）程序员对程序执行的看法。例如，在面向对象编程中，程序员认为程序是一系列相互作用的对象，而在函数式编程中一个程序会被看作是一个无状态的函数计算的序列。 正如软件工程中不同的群体会提倡不同的「方法学」一样，不同的编程语言也会提倡不同的「编程范型」。一些语言是专门为某个特定的范型设计的（如Smalltalk和Java支持面向对象编程，而Haskell和Scheme则支持函数式编程），同时还有另一些语言支持多种范型（如Ruby、Common Lisp、Python和Oz）。 很多编程范型已经被熟知他们禁止使用哪些技术，同时允许使用哪些。例如，纯粹的函数式编程不允许有副作用；结构化编程不允许使用goto。可能是因为这个原因，新的范型常常被那些习惯于较早的风格的人认为是教条主义或过分严格。然而，这样避免某些技术反而更加证明了关于程序正确性——或仅仅是理解它的行为——的法则，而不用限制程序语言的一般性。 编程范型和编程语言之间的关系可能十分复杂，由于一个编程语言可以支持多种范型。例如，C++设计时，支持过程化编程、面向对象编程以及泛型编程。然而，设计师和程序员们要考虑如何使用这些范型元素来构建一个程序。一个人可以用C++写出一个完全过程化的程序，另一个人也可以用C++写出一个纯粹的面向对象程序，甚至还有人可以写出杂揉了两种范型的程序。.
新！!: 宣告式編程和编程范型 · 查看更多 »
直譯器
譯器（interpreter），是一種電腦程式，能夠把高階程式語言一行一行直接轉譯執行。直譯器像是一位「中間人」，每次執行程式時都要先轉成另一種語言再作執行，因此直譯器的程式運行速度比較緩慢。它不會一次把整個程式轉譯出來，而是每轉譯一行程式敘述就立刻執行，然後再轉譯下一行，再執行，如此不停地進行下去。 直譯器的好處是它消除了編譯整個程式的負擔，程式可以拆分成多個部分來模組化，但這會讓執行時的效率打了折扣。相對地，編譯器已一次將所有原程式碼翻譯成另一種語言，如機械碼，執行時便無需再依賴編譯器或額外的程式，故而其運行速度比較快。.
邏輯編程
邏輯編程（逻辑程--序设计）是種編程典範，它設定答案須符合的規則來解決問題，而非設定步驟來解決問題。過程是 不同的方法，可以看Inductive logic programming。 邏輯編程的要點是將正規的邏輯風格帶入電腦程式設計之中。數學家和哲學家發現邏輯是有效的理論分析工具。很多問題可以自然地表示成一個理論。說需要解答一個問題，通常與解答一個新的假設是否跟現在的理論無衝突等價。邏輯提供了一個證明問題是真還是假的方法。建立證明的方法是人所皆知的，故邏輯是解答問題的可靠方法。邏輯編程系統則自動化了這個程序。人工智能在邏輯編程的發展中發揮了重要的影響。 猴子和香蕉問題是邏輯編程社群的著名問題。電腦須自行找出令猴子接觸香蕉的可行方法，取代程式設計師指定猴子接觸香蕉的路徑和方法。 邏輯編程建立了描述一個問題裏的世界的邏輯模型。邏輯編程的目標是對它的模型建立新的陳述。世界上知識不斷澎漲。傳統來說，我們會將一個問題陳述成單一的假設。邏輯編程的程式透過證明這個假設在模型裏是否為真來解決問題。 一些經常用到邏輯編程工具的範疇：.
新！!: 宣告式編程和邏輯編程 · 查看更多 »
逻辑
邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.
Haskell
Haskell（）是一种标准化的，通用的纯函數程式語言，有非限定性语义和强静态类型。它的命名源自美国逻辑学家哈斯凱爾·加里，他在数理逻辑方面上的工作使得函数式编程语言有了广泛的基础。在Haskell中，“函数是第一類物件”。作为一门函數程式語言，主要控制结构是函数。Haskell语言是1990年在编程语言Miranda的基础上标准化的，并且以λ演算为基础发展而来。这也是为什么Haskell语言以希腊字母「λ」（Lambda）作为自己的标志。Haskell具有“证明即程序、命题为类型”的特征, with 2 sections by William Craig, see paragraph 9E。.
新！!: 宣告式編程和Haskell · 查看更多 »
HTML
超文本标记语言（HyperText Markup Language，简称：HTML）是一种用于创建网页的标准标记语言。HTML是一种基础技术，常与CSS、JavaScript一起被众多网站用于设计令人赏心悦目的网页、网页应用程序以及移动应用程序的用户界面。网页浏览器可以读取HTML文件，并将其渲染成可视化网页。HTML描述了一个网站的结构语义随着线索的呈现，使之成为一种标记语言而非编程语言。 HTML元素是构建网站的基石。HTML允许嵌入图像与对象，并且可以用于创建交互式表单，它被用来结构化信息——例如标题、段落和列表等等，也可用来在一定程度上描述文档的外观和语义。HTML的语言形式为尖括号包围的HTML元素（如），浏览器使用HTML标签和脚本来诠释网页内容，但不会将它们显示在页面上。 HTML可以嵌入如JavaScript的脚本语言，它们会影响HTML网页的行为。网页浏览器也可以引用层叠样式表（CSS）来定义文本和其它元素的外观与布局。维护HTML和CSS标准的组织万维网联盟（W3C）鼓励人们使用CSS替代一些用于表现的HTML元素。.
新！!: 宣告式編程和HTML · 查看更多 »
ML语言
ML是一个通用的函數式編程语言，它是由爱丁堡大学的Robin Milner及他人在二十世纪七十年代晚期开发的。它的语法是从ISWIM得到的灵感。作为元语言的ML是为了帮助在LCF定理证明机中寻找证明策略而构想出来的。（之前的元语言是pplambda，它联合了一阶逻辑演算和有类型的多态的λ演算）。它使用了Hindley-Milner类型推论算法来推测大多数值的类型，而不需要四处使用注解。 ML一般被归为非纯函数式编程语言，因为它允许副作用和指令式编程。这一点和纯函数式编程语言——例如Haskell——很不一样。 ML特性包括：傳值呼叫（Call by value）的求值策略，一级函数，带有垃圾收集的自动内存管理，参数多态，静态数据类型，类型推论，代数数据类型，模式匹配和异常处理。 不像Haskell，ML使用及早求值，也就是说所有的子表达式总是被求值。导致的一个结果是你不能使用无穷表。然而，惰性求值产生的无穷表可以通过使用匿名函数来模拟。 今天在ML家族中有好几种语言：两种主要的方言是Standard ML和Caml，其他的包括F#－针对Microsoft.NET平台的开放研究项目。ML中的思想影响了众多的语言，例如Haskell，Cyclone和Nemerle。 ML的实力大多被用于语言设计和操作（编译器、分析器、定理证明机），但是它作为通用语言也被用于生化，金融系统，和宗谱数据库，一个P2P的客户／服务器程序等等。.
新！!: 宣告式編程和ML语言 · 查看更多 »
MXML
MXML是一种用于在Adobe Flex布局用户界面组件的XML语言。语言标签中使用mx作为前缀。MXML区分大小写，主要用于在Flex中的程序编写。 Adobe系統，這在2005年12月收購了Macromedia公司，給出的縮寫MXML沒有官方意義。一些開發商認為這應該代表“可擴展標記語言”。這是可能的名字來自給發布於2002年和2004年，或者“Macromedia的可擴展標記語言”的Macromedia Studio產品的MX後綴。 MXML主要用於聲明應用程序的接口，也可以用於實現業務邏輯和Web應用的行為。它可以包含的ActionScript.CSS代碼。 MXML經常使用Flex伺服器，動態編譯成標準的二進制文件。然而，的Adobe Flash Builder的 IDE（原的Adobe的Flex Builder）和免費的Flex SDK也可以編譯成MXML文件，而無需使用一個Flex伺服器。 還有一個PHP PEAR包叫做XML_MXML，這是一個框架來構建的Adobe Flex應用程序。 MXML被認為是一個專有標準，由於其與Adobe技術緊密集成 並開源於Apache基金會。.
新！!: 宣告式編程和MXML · 查看更多 »
OCaml
OCaml，最早稱為Objective Caml，是Caml编程语言的主要实现，由Xavier Leroy，Jérôme Vouillon，Damien Doligez，Didier Rémy及其他人于1996年创立。OCaml是开放原始码项目。此项目的管理和大部分维护工作交由INRIA。.
新！!: 宣告式編程和OCaml · 查看更多 »
Prolog
Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它建立在逻辑学的理论基础之上， 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中，它可以用来建造专家系统、自然语言理解、智能知识库等。.
新！!: 宣告式編程和Prolog · 查看更多 »
Scheme
Scheme是一种函数式编程语言，是Lisp的两种主要方言之一（另一种为Common Lisp）。不同于Common Lisp，Scheme遵循極簡主義哲学，以一个小型语言核心作为标准，加上各种强力语言工具（语法糖）来扩展语言本身。 麻省理工學院與其他院校曾采用Scheme教授计算机科学入門課程。著名的入門教材《-zh-hans:计算机程序的构造和解释;zh-hant:電腦程式的構造和解釋-》（SICP）利用Scheme來解釋程序設計 。Scheme的廣泛受眾被視為一個主要優勢，然而不同實現之間的差異成為了它的一個劣勢。 Scheme最早由麻省理工學院的蓋伊·史提爾二世與傑拉德·傑伊·薩斯曼在1970年代發展出來，並由兩人發表的「λ論文集」推廣開來。 Scheme語言與λ演算關係十分密切。小寫字母「λ」是Scheme語言的標誌。 Scheme的哲学是：设计计算机语言不应该进行功能的堆砌，而应该尽可能减少弱点和限制，使剩下的功能显得必要。Scheme是第一個使用靜態作用域的Lisp方言，也是第一个引入“干净宏”和第一类续延的编程语言。.
新！!: 宣告式編程和Scheme · 查看更多 »
SQL
SQL（, or;结构化查询语言）是一种特定目的程式语言，用于管理关系数据库管理系统（RDBMS），或在（RDSMS）中进行流处理。 SQL基于关系代数和元组关系演算，包括一个数据定义语言和数据操纵语言。SQL的范围包括数据插入、查询、更新和删除，创建和修改，以及数据访问控制。尽管SQL经常被描述为，而且很大程度上是一种声明式编程（4GL），但是其也含有过程式编程的元素。 SQL是对埃德加·科德的关系模型的第一个商业化语言实现，这一模型在其1970年的一篇具有影响力的论文《一个对于大型共享型数据库的关系模型》中被描述。尽管SQL并非完全按照科德的关系模型设计，但其依然成为最为广泛运用的数据库语言。 SQL在1986年成为美国国家标准学会（ANSI）的一项标准，在1987年成为国际标准化组织（ISO）标准。在此之后，这一标准经过了一系列的增订，加入了大量新特性。虽然有这一标准的存在，但大部分的SQL代码在不同的数据库系统中并不具有完全的跨平台性。.
Technische Universität Berlin
#重定向 柏林工业大学.
新！!: 宣告式編程和Technische Universität Berlin · 查看更多 »
XAML
XAML（Extensible Application Markup Language）是Windows Presentation Foundation（WPF）的一部分，是微软开发的一種基于XML、基于声明，用于初始化结构化值和对象的使用者介面描述語言，它有著HTML的外觀，又揉合了XML語法的本質，例如：可以使用標籤設定按鈕（Button）。它類似Linux平台下的glade。至於WinFX XAML Browser Application（XBAP）是用XAML作界面描述，在瀏覽器中執行的程式，可取代過去的ActiveX、Java Applet、Flash。 XAML本質上屬於一種.NET编程语言，屬於通用語言運行庫（Common Language Runtime），同C#、VB.NET等同。與HTML類似，特点是用來描述使用者介面。XAML的语法格式为：，Application是必備的基本元素。XAML可以定義2D和3D物件、旋轉（rotations）、動畫（animations），以及各式各樣的效果。.
新！!: 宣告式編程和XAML · 查看更多 »
XSLT
在计算机科学中，可扩展样式--转换语言（Extensible Stylesheet Language Transformations，缩写XSLT）是一种樣式轉換標記语言，可以將XML資料檔轉換為另外的XML或其它格式，如HTML網頁，純文字。XSLT最末的T字母表示英语中的“转换”（transformation）。它是XSL规范中的一部份，目前最新的建議版本為XSL 3.0。 以XSLT進行格式轉換並不會變動原始的資料文件；而會以現有資料產生新的內容格式。作為輸入的通常是XML資料檔，或者由支援XQuery和XPath的資料模型處理器，其它來源的資料也能被轉換，例如關聯式資料庫表格或地理資訊系統。 XSL规范的另外一部分是XSLF（Formatting Objects，代表格式化物件）,又称XSL-FO或XSLFO，目前已逐漸被CSS 3.0所取代。XSLT是一種圖靈完備的語言，它可以指定計算機能執行的任何計算。.
新！!: 宣告式編程和XSLT · 查看更多 »
Yacc
yacc（Yet Another Compiler Compiler），是Unix/Linux上一个用来生成编译器的编译器（编译器代码生成器）。yacc生成的编译器主要是用C語言寫成的语法解析器（Parser），需要与词法解析器Lex一起使用，再把兩部份產生出來的C程序一併編譯。yacc本來只在Unix系統上才有，但現時已普遍移植往Windows及其他平台。 yacc的输入是巴科斯范式（BNF）表达的语法规则以及语法规约的处理代码，Yacc输出的是基于表驱动的编译器，包含输入的语法规约的处理代码部分。 yacc是开发编译器的一个有用的工具，采用LALR（1）语法分析方法。 yacc最初由AT&T的Steven C. Johnson为Unix操作系统开发，后来一些兼容的程序如Berkeley Yacc，GNU bison，MKS yacc和Abraxas yacc陆续出现。它们都在原先基础上做了少许改进或者增加，但是基本概念是相同的。 由于所产生的解析器需要词法分析器配合，因此Yacc经常和词法分析器的产生器——一般就是Lex——联合使用。IEEE POSIX P1003.2标准定义了Lex和Yacc的功能和需求。.
新！!: 宣告式編程和Yacc · 查看更多 »
正则表达式
正则表达式（Regular Expression，在代码中常简写为regex、regexp或RE），又称--、正規表示法、正規運算式、規則運算式、常規表示法，是计算机科学的一个概念。正则表达式使用单个字符串来描述、匹配一系列符合某个句法规则的字符串。在很多文本编辑器裡，正則表达式通常被用来检索、替换那些符合某个模式的文本。 许多程序设计语言都支持利用正則表达式进行字符串操作。例如，在Perl中就内建了一个功能强大的正則表达式引擎。正則表达式这个概念最初是由Unix中的工具软件（例如sed和grep）普及开的。正则表达式通常缩写成regex，单数有regexp、regex，复数有regexps、regexes、regexen。.
新！!: 宣告式編程和正则表达式 · 查看更多 »
指令式編程
指令式編程（Imperative programming），是一種描述電腦所需作出的行為的編程典範。幾乎所有電腦的硬體工作都是指令式的；幾乎所有電腦的硬體都是設計來執行機器碼，使用指令式的風格來寫的。較高階的指令式編程語言使用變數和更複雜的語句，但仍依從相同的典範。菜譜和行動清單，雖非電腦程式，但與指令式編程有相似的風格：每步都是指令，有形的世界控制情況。因為指令式編程的基礎觀念，不但概念上比較熟悉，而且較容易具體表現於硬體，所以大部分的編程語言都是指令式的。 大部分的高级语言都支援四種基本的語句：.
新！!: 宣告式編程和指令式編程 · 查看更多 »
重定向到这里：
声明式编程，声明性编程，宣告式语言，宣言式语言，描述式編程，描述式语言，描述性语言，逻辑程序设计语言。
