Большая советсткая энциклопедия Формальная система
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я

Формальная система

Формальная система, неинтерпретированное исчисление, класс выражений (формул) которого задаётся обычно индуктивно – посредством задания исходных ("элементарных", или "атомарных") формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) – посредством задания системы аксиом и правил вывода (преобразования) теорем из аксиом и уже доказанных теорем. Термин "Ф. с." имеет многочисленные синонимы (иногда, впрочем, этими терминами обозначают родственные, но не совпадающие понятия): формальная теория, формальная математика, формализм, формальное исчисление, абстрактное исчисление, синтаксическая система, аксиоматическая система, логистическая система, формализованный язык, формальная логика, кодификат, дедуктивная система и др.

Следующие

"Формальный метод" в литературоведении, теоретическая концепция, утверждающая взгляд на художественную форму как катег… читать дальше



Формальный язык, то же, что формализованный язык. Иногда под термином "Ф. я." понимают также формальную систему.… читать дальше



Форма (математическая), многочлен от нескольких переменных, все члены которого имеют одну и ту же степень (под степенью одночлен… читать дальше