Русско-украинский политехнический словарь

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

форма́льна систе́ма

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