- логико-математический
- л'огико-математ'ический
Русский орфографический словарь. / Российская академия наук. Ин-т рус. яз. им. В. В. Виноградова. — М.: "Азбуковник". В. В. Лопатин (ответственный редактор), Б. З. Букчина, Н. А. Еськова и др.. 1999.
логико-математический
Смотреть что такое "логико-математический" в других словарях:
логико-математический — логико математический … Орфографический словарь-справочник
логико-математический — … Орфографический словарь русского языка
логико-математический — лог/ик/о/ математ/ич/еск/ий … Морфемно-орфографический словарь
инвариантный семантический анализ — Логико математический прием, в основе которого лежит методика перевода семантики естественного языка на семантический (логико семантический) язык, который рассматривается как формализованная структура и метаязык, в котором семантика единиц… … Словарь лингвистических терминов Т.В. Жеребило
МЕТАЯЗЫК — логико математический язык, используемый для формулировки метатеории. В более широком смысле, М. неформализованный язык, на к ром формулируются утверждения метаматематики. А. Г. Драгалин … Математическая энциклопедия
Нестандартный анализ — У этого термина существуют и другие значения, см. Анализ. Нестандартный анализ возник как раздел математической логики, посвященный приложению теории нестандартных моделей к исследованиям в традиционных областях математики: математическом… … Википедия
КОЛМОГОРОВ — Андрей Николаевич [р. 12 (25) апр. 1903] – сов. математик, акад. (с 1939), проф. Моск. ун та (с 1931). Лауреат Гос. премии СССР (1941). Член ряда иностр. науч. учреждений. Исследования К. оказали значит. влияние на развитие множеств теории,… … Философская энциклопедия
ТЕОРИЯ НАУЧНАЯ — наиболее развитая форма организации научного знания, дающая целостное представление о закономерностях и существенных связях изучаемой области действительности. Примерами Т.н. являются классическая механика И. Ньютона, корпускулярная и волновая… … Философская энциклопедия
Джевонс Уильям Стэнли — (Jevons) (1835 1882), английский логик, экономист, статистик. Последователь Дж. Буля. Создал систему логики, основанную на принципе замещения равных. Построил «логические счёты» и логическую машину. Сторонник предельной полезности теории.… … Энциклопедический словарь
философия математики — ФИЛОСОФИЯ МАТЕМАТИКИ отрасль философии науки, исследующая природу математических объектов и способы математических доказательств. Абстрактный характер объектов и особая убедительность доказательств математики еще в античную эпоху… … Энциклопедия эпистемологии и философии науки
