|
|
|
|
|
|
|
|
|
Вариационное исчисление
|
, раздел математики, посвященный нахождению наибольших и наименьших значений переменных величин, зависящих от выбора одной или нескольких функций (такие величины называются функционалами). к числу задач вариационного исчисления относятся, напр., изопериметрические задачи.
|
|
Вариационная кривая, русский
Вариационная статистика, русский
, раздел математической статистики, изучает свойства совокупностей объектов, в которых показатель изучаемого признака изменяется (варьирует) от объекта к объекту.
Вариационные принципы механики, русский
, положения, выражающие столь общие свойства механической системы, что из них как следствия получаются уравнения движения или условия равновесия данной системы. вариационные принципы механики определяют, чем истинное движение (состояние) механической системы отличается от др. движений, которые допускаются наложенными на систему связями. примеры вариационных принципов механики - наименьшего действия принцип, д`аламбера - лагранжа принцип, возможных перемещений принцип.
Вариационный ряд, русский
- Расположение значений случайной выборки (х|,дг2, .... хп) с ф-цией распределения f(x) в порядке их неубывания х(1) ^ дг(2) :? ... ? jc(() ? ... ^ хп, где 1-й член вариационного ряда х/ называется 1-й порядковой ст-кой, а номер члена вариационного ряда - рангом, порядком (ст-ки).
- , последовательность значений наблюденной величины, расположенных в порядке возрастания. напр., вариационный ряд значений 1, -3, 0, 5, 3, 4 имеет вид -3, 0, 1, 3, 4, 5.
Исчисление, русский
- – см. логистика.
- , знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы (интерпретация исчислений), преобразует исчисление в формализованный язык. основные примеры исчисления: числовые и алгебраические системы, логические исчисления.
- Формальная система, задаваемая четверкой <т,в,а,р>, где т - множество базовых символов исчисления; в - синтаксические правила, с помощью которых из элементов т порождаются произвольные элементы; а - множество априорно истинных элементов исчисления (аксиомы исчисления); р - множество семантических правил (правил вывода), с помощью которых из одних элементов системы порождаются другие.
- Основанный на четких правилах формальный аппарат оперирования сознаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого клас
Исчисление бесконечно малых величин, русский
(франц. calcul infinitesimal) – вычисления, производимые с бесконечно малыми величинами, при которых производный результат рассматривается как бесконечная сумма бесконечно малых. исчисление бесконечно малых величин является общим понятием для дифференциальных и интегральных исчислений, составляющих основу современной высшей математики.
Исчисление высказываний, русский
, раздел математической логики, аксиоматическое построение логики высказываний.
Исчисление генцена, русский
Исчисление, в котором аксиомы задаются в виде секвенций.
Исчисление классов, русский
, раздел математической логики, логика классов, представленная (построенная) как исчисление; примерно соответствует силлогистике аристотеля.
Исчисление логическое, русский
- Объект изучения в математической логике, в основе которого лежит понятие формальной системы. в искусственном интеллекте используются различные и.л.: исчисления предикатов, пропозициональное исчисление, исчисление классов, исчисление отношений, многосортные и многозначные логики и т.п.
- Исчисление, символы и правила которого могут быть интерпретированы в терминах логики.
Исчисление оплаты отпуска, русский
Расчет оплаты отпуска. осуществляется на основе среднего дневного заработка. средний дневной заработок для оплаты отпусков и выплаты компенсаций за неиспользованные отпуска исчисляются делением фактически выплаченных сумм в расчетном периоде (за последние
Исчисление пошлин и налогов, русский
Определение суммы пошлин и налогов, подлежащих уплате
Исчисление предикатов, русский
- , раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.
- Исчисление, в котором наряду с формулами исчисления высказываний используются формулы в которые могут входить отношения (предикаты), связывающие между собой группы элементов исчисления и кванторы общности и существования.
Исчисление предикатов первого порядка, русский
Исчисление предикатов, в котором под знаком квантора не могут находиться символы предикатов. (см. также квантор общности, квантор существования.)
Исчисление пропозициональное, русский
Формальная система, базовыми элементами которой являются высказывания - нерасчлененные предложения, относительно которых в каждый данный момент можно утверждать, что они являются либо абсолютно истинными, либо абсолютно ложными. и.п. изучает связи между этими высказываниями, которые задаются логическими связками: отрицанием, дизъюнкцией, конъюнкцией, импликацией и др. и.п. является аксиоматической системой, и для классического и.п. все аксиомы являются тождественно истинными высказываниями, а правила вывода не меняют этого свойства. с помощью и.п. порождаются все тождественно истинные высказывания и только они.
Исчисление ситуационное, русский
Исчисление предикатов, в котором все или некоторые предикаты снабжены метками, привязывающими их к тем или иным ситуациям. каждая ситуация задается описанием, в котором участвуют внеситуационные выражения, и те, которые связаны с данной ситуацией. в качестве аксиом и.с. используются обычные аксиомы ситуаций и характеристик этих ситуаций в той проблемной области, для которой и.с. используется . (см. также управление ситуационное.)
Исчисление среднего заработка, русский
Расчет среднего заработка. средний дневной заработок определяется путем деления фактически выплаченных сумм в расчетном периоде (три календарных месяца с 1-го по 1-е число) на количество рабочих дней, исходя из нормальной или сокращенной продолжительности
Исчисление сроков наказаний и зачет наказания, русский
Для точного исчисления сроков наказаний ст. 72 ук предусмотрены специальные правила. наказания, установленные на определенный срок, исчисляются в единицах времени. к таким наказаниям относятся: лишение права занимать определенные должности или заниматься определенной деятельностью, обязательные работы, исправительные работы, ограничение по военной службе, ограничение свободы, арест, содержание в дисциплинарной воинской части и лишение свободы. все они, за исключением обязательных работ, исчисляются в годах и месяцах, а при замене, сложении и зачете этих видов наказания - в днях (сутках). обязательные работы исчисляются в часах. время содержания лица под стражей до судебного разбирательства и вынесения приговора засчитывается в сроки наказаний, назначенных судом. в зависимости от вида наказания зачет осуществляется по-разному. в срок лишения свободы, содержания в дисциплинарной воинской части и ареста это время засчитывается из расчета день за день. в срок наказания в виде ограничения свободы - день за 2 дня; в срок исправительных работ и ограничения по военной службе - день за 3 дня: в срок обязательных работ - день содержания под стражей за 8 ч обязательных работ. такое соотношение отражает сравнительную тяжесть видов наказания. время содержания лица под стражей до вступления приговора в законную силу засчитывается в срок любого из перечисленных выше "срочных" видов наказания из расчета день за день. из такого же расчета (день за день) засчитывается время отбытия лишения свободы, назначенного приговором суда за преступление, совершенное вне пределов рф, в случае выдачи преступника.
Исчисление;, русский
Исчисленные ресурсы, русский
Посвященный, русский
Функционал, русский
, математическое понятие, возникшее в вариационном исчислении для обозначения переменной величины, заданной на множестве функций, т. е. зависящей от выбора одной или нескольких функций. напр., длина дуги кривой, соединяющей две фиксированные точки, будет функционалом, т. к. величина длины дуги зависит от выбора функции, график которой соединяет эти точки.
|
Вариационные принципы механики, русский
, положения, выражающие столь общие свойства механической системы, что из них как следствия получаются уравнения движения или условия равновесия данной системы. вариационные принципы механики определяют, чем истинное движение (состояние) механической системы отличается от др. движений, которые допускаются наложенными на систему связями. примеры вариационных принципов механики - наименьшего действия принцип, д`аламбера - лагранжа принцип, возможных перемещений принцип.
Вариационная статистика, русский
, раздел математической статистики, изучает свойства совокупностей объектов, в которых показатель изучаемого признака изменяется (варьирует) от объекта к объекту.
|
|
|
|
|
|
|
