формалдуу чыгарылыш (чыгаруу) Кыргызско-русский словарь математических терминов (1996) формальное решение