Большая советская энциклопедия

ФОРМАЛЬНАЯ СИСТЕМА

ФОРМАЛЬНАЯ СИСТЕМА,неинтерпретированноеисчисление,класс выражений (формул) к-рого задаётся обычно индуктивно - посредством задания исходных ("элементарных", или "атомарных") формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) - посредством задания системыаксиомиправил вывода(преобразования) теорем из аксиом и уже доказанных теорем. Термин "Ф. с." имеет многочисленные синонимы (иногда, впрочем, этими терминами обозначают родственные, но не совпадающие понятия): формальная теория, формальная математика, формализм, формальное исчисление, абстрактное исчисление, синтаксическая система, аксиоматическая система, логистическая система,формализованный язык, формальная логика,кодификат, дедуктивная система и др.




  1. формальная система—неинтерпретированное Исчислениеem класс выражений формул которого задатся обычно индуктивно посредством задания исходных элементарных или атомарных формул и правил образ...Большая Советская энциклопедия II
  2. формальная система—дедуктивная система в математич. логике неинтерпретированное исчислениеi задаваемое правилами образования выражений этого исчисления и правилами построения выводовi в это...Математическая энциклопедия
  3. формальная система—formalism...Русско-английский машиностроительный словарь
  4. формальная система—formalism...Русско-английский технический словарь
  5. формальная система—фармальная сстэма...Русско-белорусский математический словарь
  6. формальная система—формальна система...Русско-украинский политехнический словарь
  7. формальная система—ФОРМАЛЬНАЯ СИСТЕМА неинтерпретированное исчисление класс выражений формул крого задается обычно индуктивно посредством задания исходных элементарных или атомарных формул...Философская энциклопедия
  8. формальная система—неинтерпретированное исчисление класс выражений формул крого задается обычно индуктивно посредством задания исходных элементарных или атомарных формул и правил образован...Философская Энциклопедия (в 5 томах)