Формальная система, неинтерпретированное исчисление, класс выражений (формул) которого задаётся обычно индуктивно – посредством задания исходных («элементарных», или «атомарных») формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) – посредством задания системы аксиом и правил вывода (преобразования) теорем из аксиом и уже доказанных теорем. Термин «Ф. с.» имеет многочисленные синонимы (иногда, впрочем, этими терминами обозначают родственные, но не совпадающие понятия): формальная теория, формальная математика, формализм, формальное исчисление, абстрактное исчисление, синтаксическая система, аксиоматическая система, логистическая система, формализованный язык, формальная логика, кодификат, дедуктивная система и др.
Большая Советская Энциклопедия М.: "Советская энциклопедия", 1969-1978
«Формальный метод» «Формальный метод» в литературоведении, теоретическая концепция, утверждающая взгляд на художественную форму как категорию, определяющую специфику литературы и способную к саморазвитию. ...
Форманта Форманта, термин фонетики, обозначающий акустическую характеристику звуков речи (прежде всего гласных), связанную с уровнем частоты голосового тона и образующую тембр звука. Ф. – часть т...
Формарьяж Формарьяж (франц. formariage, от лат. foris – вне и marito – сочетаюсь браком), норма феодального права в средневековых государствах Зап. и Центральной Европы, ограничивавшая свободу бра...