Programování
Počítačové programy mohou být roztříděny podle paradigmatu programovací jazyk používané k jejich výrobě. Dva z hlavních vzorů jsou nezbytné a deklarativní.
Programy napsané pomocí imperativního jazyka zadat algoritmus, který používá prohlášení, vyjádření a prohlášení [3]. Prohlášení páry název proměnné do datového typu. Například: var x: integer;. Výraz výnosy hodnotu. Například: 2 + 2 výnosy 4. A konečně by prohlášení přiřadíte výraz do proměnné, nebo použít hodnotu proměnné změnit program na kontrolu toku. Například: x: = 2 + 2, pokud x = 4 pak udělej_něco (); Jednou z výtek z imperativních jazycích je strana-účinek přiřazení prohlášení o třídu proměnných tzv. Non-lokální proměnné.
Programy napsané pomocí deklarativního jazyka specifikují vlastnosti, které musí být splněny do výstupu. Oni neuvádějí podrobnosti vyjádřená kontroly toku výkonu stroje, ale matematické vztahy mezi deklarované objekty a jejich vlastnosti. Dvě široké kategorie deklarativní jazyky jsou funkcionální jazyky a logické jazyky. Princip funkcionální jazyky (jako je Haskell) je neumožňuje strana-efekty, což usnadňuje důvod o programech, jako matematické funkce [4]. Princip logické jazyky (jako Prolog), je vymezovat problém vyřešit - cíl - a ponechat detailní řešení systému Prolog sám. Cílem je definován tím, že poskytuje seznam subgoals. Pak každý subgoal je definována dále, že poskytuje seznam svých subgoals, atd. Pokud cestu subgoals nepodaří najít řešení, pak je subgoal ustoupili a další cesta je systematicky pokus.
Formě, v níž je program vytvořen, může být text nebo obrázek. Ve vizuální jazyk programu, jsou prvky, graficky manipulovat, nikoli textově uvedeno.