#Математические объекты
Математические объекты
Тег

Математические объекты

Математические объекты
Найденo 77 статей
Термины
Ступенчатая семантическая система
Ступе́нчатая семанти́ческая систе́ма, вариант конструктивной семантики, предложенный А. А. Марковым (Мarkov. 1971, Марков. О языке Я₀. 1974). Основное внимание при построении этой системы уделяется одной из проблем семантики – конструктивному истолкованию импликации. Традиционное интуиционистское разъяснение смысла утверждения состоит в том, что выражает осуществимость конструкции такой, что если – произвольная конструкция, подтверждающая , то и в совокупности позволяют отыскать конструкцию, подтверждающую . Приведённое неформальное разъяснение по ряду причин плохо поддаётся уточнению. Идея А. А. Маркова состоит в том, что импликация рассматривается как формулировка утверждения о выводимости из посылки средствами некоторой теории с правилом бесконечной индукции (полуформальной теории). При этом рассматриваемая полуформальная теория, так же как и семантика формул и , должна быть объяснена ранее на некотором предыдущем этапе построения. В результате возникает ступенчатая семантическая система, в которой смысл формул следующей ступени определяется в терминах объектов предыдущей ступени.
Математика
Научные теории, концепции, гипотезы, модели
Метрическая теория диофантовых приближений
Метри́ческая тео́рия диофа́нтовых приближе́ний, раздел теории чисел, изучающий метрические свойства чисел, обладающих определёнными свойствами аппроксимации (см. Диофантовы приближения, Метрическая теория чисел). Одной из первых теорем метрической теории диофантовых приближений является теорема Хинчина (см. Хинчин. 1926, Хинчин. 1978), в современной форме.
Математика
Научные проблемы, задачи
Проблема Милна
Пробле́ма Ми́лна, проблема теории переноса излучения о решении односкоростного кинетического уравнения переноса квантов или частиц для полупространства. Впервые интегральное уравнение проблемы Милна с источником на бесконечности при нулевом потоке падающего извне излучения было выведено Э. Милном (E. A. Milne. 1921) для случая изотропного рассеяния квантов, распространяющихся без поглощения в звёздной атмосфере.
Математика
Научные законы, утверждения, уравнения
Интегральное уравнение типа свёртки
Интегра́льное уравне́ние ти́па свёртки, интегральное уравнение, содержащее искомую функцию под знаком интегрального преобразования свёртки (см. Интегральный оператор). Особенностью интегрального уравнения типа свёртки является то, что ядра таких уравнений зависят от разности аргументов. Простейший пример – уравнениегде и – заданные функции, а – искомая функция. Пусть и и решение ищется в том же классе. Для разрешимости уравнения необходимо и достаточно выполнение условиягде – преобразование Фурье функции . При выполнении условия уравнение в классе имеет единственное решение, представимое формулойгде однозначно определяется с помощью своего преобразования Фурье.
Математика
1
2
3
4
5