język programowania
w informatyce uporządkowany i sformalizowany system zapisywania informacji (czyli danych), algorytmów i struktur danych; kod operacyjny pozwalający wykonywać działania wynikające z relacji, które wyraża, i przekształcać je w nowe; w praktyce przybiera najczęściej postać programu, czyli uporządkowanego i sformalizowanego zbioru operacji koniecznych i wystarczających do otrzymania oczekiwanych wyników, co umożliwia mechanizmowi (kalkulator, komputer) wykonanie tych operacji.