- математическая формулировка
- мат. mathematical formulation, mathematical statement
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Математическая формулировка общей теории относительности — В этой статье рассматривается математический базис общей теории относительности. Общая теория относительности … Википедия
Математическая формулировка ОТО — В этой статье рассматривается математический базис общей теории относительности. Общая теория относительности Математическая формулировка ОТО Космология Фундаментальные идеи … Википедия
Математическая формулировка квантовой механики — Математический аппарат нерелятивистской квантовой механики строится на следующих положениях:[1] Чистые состояния системы описываются ненулевыми векторами комплексного сепарабельного гильбертова пространства , причем векторы и описывают одно и то… … Википедия
МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ — полная математическая индукция (наз. в математике часто просто полной индукцией; в этом случае это понятие следует отличать от рассматриваемого в нематематич. формальной логике понятия полной индукции), – прием доказательства общих предложений в… … Философская энциклопедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной логики, пришедшей во втор. пол. 19 нач. 20 в. на смену традиционной логике. В качестве др. названия современного этапа в развитии науки логики используется также термин символическая логика. Определение… … Философская энциклопедия
МАТЕМАТИЧЕСКАЯ БЕСКОНЕЧНОСТЬ — общее название разл. реализаций идеи бесконечности в математике. Хотя между значениями понятия М. б. и др. значениями, в к рых употребляется термин бесконечность , нет жесткой границы (поскольку все эти понятия в конечном счете отражают весьма… … Философская энциклопедия
Математическая индукция — Математическая индукция один из методов математического доказательства, используется чтобы доказать истинность некоторого утверждения для всех натуральных чисел. Для этого сначала пров … Википедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… … Математическая энциклопедия
Математическая индукция — весьма общий способ математических доказательств и определений. Индуктивные доказательства основаны на так называемом принципе М. и., являющемся одной из основных математических аксиом. Пусть, например, требуется доказать для любого… … Большая советская энциклопедия
Математическое программирование — математическая дисциплина, посвященная теории и методам решения задач о нахождении экстремумов функций на множествах, определяемых линейными и нелинейными ограничениями (равенствами и неравенствами). М. п. раздел науки об… … Большая советская энциклопедия
Общая теория относительности — Альберт Эйнштейн (автор общей теории относительности), 1921 год … Википедия