global identifier Глобальне ім'я глобальний ідентифікатор Англо-український словник технічних термінів