symbolic computing Символьна обробка даних символьні обчислювання Англо-український словник технічних термінів