переменных звёзд
71Переменные звёзды — Переменная звезда звезда, блеск которой изменяется со временем в результате происходящих в её районе физических процессов. Строго говоря, блеск любой звезды меняется со временем в той или иной степени. Переменной называется звезда, изменения… …
72Номография — (от греч. nómos закон и ...графия) раздел математики, объединяющий теорию и практические методы построения номограмм специальных чертежей, являющихся изображениями функциональных зависимостей. Особенность номограмм заключается в том, что… …
73АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …
74ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …
75ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …
76Карта Карно — Рис. 1 Пример Куба Карно Куб Карно графический способ минимизации переключательных (булевых) функций, обеспечивающий относительную простоту работы с большими выражениями и устранение потенциальных гонок. Представляет собой операции попарного… …
77Леверидж — (Leverage) Леверидж это управление активами и пассивами предприятия для получения прибыли, делеверидж это процесс снижения кредитного плеча Понятие и функции производственного и финансового левериджа, коэффициент финансового левериджа, леверидж… …
78Физика звёзд — Физика звезд  одна из отраслей астрофизики, изучающая физическую сторону звезд (масса, плотность, …). Содержание 1 Размеры, массы, плотность, светимость звезд 1.1 Масса звёзд …
79ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… …
80СЛОЖНАЯ ФУНКЦИЯ — функция, представленная как композиция нескольких функций. Если множество значений Yi функции fi содержится во множестве определения Х i+1 функции fi+1, т. е. то функция определяемая равенством наз. сложной функцией или (п 1) кратной композицией… …
