вывод математической формулы
61СЛЕДСТВИЕ — см. Причина и следствие. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983. СЛЕДСТВИЕ …
62ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… …
63Гелиоцентрическая система мира — Изображение Солнечной системы из книги Андреаса Целлариуса Harmonia Macrocosmica (1708) Гелиоцентрическая система мира  представление о том, что Солнце является центральным небесным телом, вокруг которого обращается Земля и другие …
64ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика …
65МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной логики, пришедшей во втор. пол. 19 нач. 20 в. на смену традиционной логике. В качестве др. названия современного этапа в развитии науки логики используется также термин символическая логика. Определение… …
66ЛОГИКА ВЫСКАЗЫВАНИЙ, или ПРОПОЗИЦИОНАЛЬНАЯ ЛОГИКА — раздел дедуктивной логики, в котором вопрос об истинности (или ложности) высказываний (т. е. суждений, рассматриваемых без их субъектно предикатной структуры) в умозаключениях рассматривается на основе изучения следующего средства их выражения т …
67Япония — (япон. Ниппон, Нихон) I. Общие сведения Я. государство, расположенное на островах Тихого океана, вблизи побережья Восточной Азии. В составе территории Я. около 4 тыс. островов, протянувшихся с С. В. на Ю. З. почти на 3,5 тыс.… …
68относительности теория — Эйнштейна, физическая теория, рассматривающая пространственно временные свойства физических процессов. Так как закономерности, устанавливаемые теорией относительности, общие для всех физических процессов, то обычно о них говорят просто как о… …
69Вектор Лапласа — Рунге — Ленца — В этой статье векторы выделены жирным шрифтом, а их абсолютные величины курсивом, например, . В классической механике вектором Лапласа  Рунге  Ленца называется вектор, в основном используемый для описания формы и ориентации орбиты, по… …
70Вектор эксцентриситета — В этой статье векторы и их абсолютные величины выделены жирным шрифтом и курсивом, например, . В классической механике вектором Лапласа Рунге Ленца называется вектор, в основном используемый для описания формы и ориентации орбиты, по которой… …