forritunarmáls
Forritunarmál eru formleg tungumál sem notuð eru til að lýsa útreikningum og stjórnun tölva. Með forritunarmáli er hægt að umbreyta hugmyndum í skipanir sem tölvan framkvæmir. Forritunarmál hafa sín eigin táknmál (syntax) og merkingu (semantics) og bjóða upp á aðferðir til að útfæra lausnir á vandamálum. Flest forritunarmál eru annaðhvort túlkuð (interpreted) eða þýdd (compiled), og sum vinna með millikóð (bytecode).
Paradigmar forritunarmála eru margir. Helstu flokkar eru imperative (stýrð aðgerðum í röð), declarative (lýsing lausnar) og
Val á forritunarmáli fer oft eftir verkefni, öryggi, hraða, stuðningi tólakerfis og bókasöfnum, sem og samfélagslegum