Кибзун, А. И. Современные проблемы математического программирования [Текст] / А. И. Кибзун, Е. А. Нурминский, М. Ю. Хачай> // Автоматика и телемеханика. - 2012. - № 2. - С. 3-4 . - ISSN 0005-2310
Рубрики: Математика Исследование операций Кл.слова (ненормированные): математическое программирование -- теория оптимизации -- методы оптимизации -- оптимизация -- конференции -- оптимизационные задачи -- распараллеливание -- стохастическое программирование -- задачи большой размерности -- дискретная оптимизация -- целочисленное программирование -- аппроксимируемость -- комбинаторные задачи -- математическая оптимизация Аннотация: Данный тематический выпуск посвящен современным проблемам математического программирования и смежным вопросам. Доп.точки доступа: Нурминский, Е. А.; Хачай, М. Ю.; "Математическое программирование и приложения", всероссийская конференция Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Шехтман, Валентин Борисович. Квадраты модальных логик с дополнительными связками [Текст] / В. Б. Шехтман> // Успехи математических наук. - 2012. - Т. 67, вып. 4 (406). - С. 129-186 : ил. - Библиогр.: с. 185-186 (21 назв.) . - ISSN 0042-1316
Рубрики: Математика Математическая логика Кл.слова (ненормированные): модальные логики -- квадраты Сегерберга -- Сегерберга квадраты -- финитная аппроксимируемость -- аксиоматизация квадратов Сегерберга -- логика предикатов Аннотация: В работе исследуются двумерные модальные логики специального вида - "квадраты Сегерберга". Они определяются как обычные квадраты модальных логик с дополнительными связками, которые соответствуют симметрии относительно диагонали и двум проекциям на нее. Для этих логик во многих случаях строится конечная аксиоматика, доказывается полнота и финитная аппроксимируемость. Строится перевод квадратов Сегерберга в классическую логику предикатов. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Шенмайер, В. В. Вычислительная сложность и аппроксимируемость одного обобщения евклидовой задачи о чебышевском центре [Текст] / В. В. Шенмайер> // Доклады Академии наук. - 2013. - Т. 450, № 5, июнь. - С. 522-524. - Библиогр. : с. 524 (12 назв.) . - ISSN 0869-5652
Рубрики: Математика Математическая статистика, 19 в. Кл.слова (ненормированные): чебышевские центры -- центры чебышевские -- множество булевых векторов -- радиусы минимального шара -- аппроксимационные схемы -- интегралы -- множество точек Аннотация: Рассмотрено одно обобщение задачи о минимальном шаре, охватывающем k точек. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Максимова, Лариса Львовна. Классификация расширений модальной логики S4 [Текст] / Л. Л. Максимова> // Сибирский математический журнал. - 2013. - Т. 54, № 6 (322). - С. 1337-1352. - Библиогр.: с. 1351-1352 (16 назв.) . - ISSN 0037-4474
Рубрики: Математика Математическая логика Кл.слова (ненормированные): Крипке шкала -- алгебраическая семантика -- интерполяционные свойства -- модальная логика -- финитная аппроксимируемость -- шкала Крипке Аннотация: Вводится естественная классификация нормальных расширений модальной логики S4 в соответствии с объектами кластеров в шкалах Крипке, доказана разрешимость классификации. Выделены основные логики в этой классификации и установлены их важные свойства: конечная аксиоматизируемость, финитная аппроксимируемость и узнаваемость. Нет сведений об экземплярах (Источник в БД не найден) |
Азаров, Дмитрий Николаевич. О финитной аппроксимируемости HNN-расширений и обобщенных свободных произведений групп конечного ранга [Текст] / Д. Н. Азаров> // Сибирский математический журнал. - 2013. - Т. 54, № 6 (322). - С. 1203-1215. - Библиогр.: с. 1215 (20 назв.) . - ISSN 0037-4474
Рубрики: Математика Алгебра Кл.слова (ненормированные): HNN-расширения -- вспомогательные утверждения -- группы конечного ранга -- минимаксные группы -- финитная аппроксимируемость Аннотация: Для некоторых HNN-расширений и обобщенных свободных произведений разрешимых минимаксных групп получены необходимые и достаточные условия финитной аппроксимируемости. Нет сведений об экземплярах (Источник в БД не найден) |