БОЛЬШАЯ СОВЕТСКАЯ ЭНЦИКЛОПЕДИЯ, БСЭ БОЛЬШАЯ СОВЕТСКАЯ ЭНЦИКЛОПЕДИЯ, БСЭ
Навигация:

Библиотека DJVU
Photogallery

БСЭ

Статистика:


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

Значение слова "Формальная система" в Большой Советской Энциклопедии


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

 

В Большой Советской Энциклопедии рядом со словом "Формальная система"

Формальная логика | Буква "Ф" | В начало | Буквосочетание "ФО" | Формальный аксиоматический метод


Статья про слово "Формальная система" в Большой Советской Энциклопедии была прочитана 4161 раз


Интересное