вывод (формулы)
101ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) …
102ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …
103Тригонометрические тождества — Тригонометрические тождества  математические выражения для тригонометрических функций, которые выполняются при всех значениях аргумента (из общей области определения). Содержание 1 Основные тригонометрические формулы …
104Лемниската Бернулли — Лемниската и её фокусы Лемниската Бернулли плоская алгебраическая кривая. Определяется как геометрическое место точек, произведени …
105Центростремительное ускорение — Эту страницу предлагается объединить с Центростремительная сила. Пояснение причин и обсуждение на странице Википедия:К объедин …
106Кинетическая теория газов — Сущность ее может быть выражена в немногих словах. Согласно этой теории, газы состоят из огромного числа отдельных весьма малых частиц, двигающихся по всем возможным направлениям и со всеми возможными скоростями; частицы эти связаны между собой… …
107Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …
108Леверидж — (Leverage) Леверидж это управление активами и пассивами предприятия для получения прибыли, делеверидж это процесс снижения кредитного плеча Понятие и функции производственного и финансового левериджа, коэффициент финансового левериджа, леверидж… …
109Корреляция — (Correlation) Корреляция это статистическая взаимосвязь двух или нескольких случайных величин Понятие корреляции, виды корреляции, коэффициент корреляции, корреляционный анализ, корреляция цен, корреляция валютных пар на Форекс Содержание… …
110ГЕНЦЕНА ФОРМАЛЬНАЯ СИСТЕМА — логико математич. исчисление, служащее для формализации и исследования содержательных доказательств, оперирующих с допущениями (гипотезами). Введены Г. Генценом (G. Gentzen, |2]). Г. ф. с. делят на системы естественного вывода (или натуральные,… …
