Формализация

Рыбы сем. Лососей (общее назв. Пресноводных форм кумжи и стальноголового лосося). Обитают в горн. Реках и озёрах Европы, Кавказа, М. И Ср. Азии, Африки, Сев. Америки, акклиматизированы в Австралии и Н. Зеландии. Ценный объект рыбоводства и спорт, рыболовства. Отд. Вид - севанская форель, или ишхан. Радужная форель.. ..

(матем.), многочлен отнеск. (от) переменных, все члены к-рых имеют одну и ту же степень (под степенью одночлена xayбета...zу понимают число и = а + бета +...+у). В зависимости от числа т переменных различают бинарные Ф. (m = 2), тернарные Ф. (m = 3), а в зависимости от степени п их членов - линейные Ф. (n = 1), квадратичные Ф. (n = 2), кубичные Ф. (n = 3) и т.д. См. Также Билинейная форма. ..

Направление в основаниях математики, объединившее идущую от Г. Фреге идею строгой формализации матем. Рассуждений с абстрактным подходом к математике как неинтерпретированному исчислению (формальной системе) с целью доказательства её непротиворечивости. Основатель - Д. Гильберт. ..

Водный р-р, содержащий 37-40% формальдегида и 6-15% метилового спирта (стабилизатор). При хранении мутнеет, т. К. Выпадает белый осадок (параформальдегид). Источник формальдегида, дезинфицирующее и дезодорирующее средство. Р-р для приготовления анат. Препаратов и дубления кож. ..