" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ФОРМУЛА

Значение ФОРМУЛА в математической энциклопедии:

- выражение формализованного языка, предназначенное для записи суждения. Примеры точного определения понятия Ф. в различных формализованных языках см. в ст. Аксиоматическая теория множеств, Арифметика формальная. Предикатов исчисление, Типов теория. В математич. практике Ф. наз. также осмысленные комбинации символов, несущие разнообразную смысловую нагрузку. Они могут быть как именными, так и высказывательными формами, определениями-сокращениями и пр.

В. Н. Гришин.