Вишик, М. И. Траекторный аттрактор 2d уравнений Эйлера с диссипацией и его связь с системой Навье-Стокса при исчезании вязкости [Текст] / М. И. Вишик, В. В. Чепыжов> // Доклады Академии наук. - 2007. - Т. 417, N 3, ноябрь. - С. 303-307. - Библиогр.: с. 307 (15 назв. )
Рубрики: Математика Дифференциальные и интегральные уравнения Кл.слова (ненормированные): уравнения Эйлера -- Эйлера уравнения -- приближения Галеркина -- Галеркина приближения -- теория множеств -- система Навье-Стокса -- аттракторы -- траекторные аттракторы Аннотация: Рассматривается система уравнений для двумерного пространственно-периодического поля. Доп.точки доступа: Чепыжов, В. В. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Тейт, У. Еще одно изгнание из рая: счет становится безумным [Текст] / У. Тейт ; пер. с англ. В. В. Целищева> // Философия науки. - 2007. - N 4. - С. 183-191
Рубрики: Философия Философские вопросы и методология отдельных наук Математика Математическая логика Кл.слова (ненормированные): множества (математика) -- числа -- трансфинитные числа -- теория множеств Аннотация: О теории трансфинитных чисел. Доп.точки доступа: Целищев, В. В. \.\; Кантор, Георг (немецкий математик ; 1845-1918) \г.\ Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Брусов, В. С. Применение теоретико-множественного подхода к учету неопределенностей при решении задач векторной оптимизации. [Текст] / В. С. Брусов, А. Л. Суздальцев> // Автоматика и телемеханика. - 2008. - N 4. - С. 94-100 : ил. - Библиогр.: с. 100 (3 назв. )
Рубрики: Радиоэлектроника Автоматика и телемеханика Кл.слова (ненормированные): теоретико-множественные подходы -- системы предпочтений -- векторные оптимизации -- типовые процедуры оптимизации -- летательные аппараты -- теория множеств Аннотация: Проблема оптимизации сложной системы по векторному критерию рассматривается в терминах теории множеств. Доп.точки доступа: Суздальцев, А. Л. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Хаханян, В. Х. Базисный вариант аксиоматической теории множеств с подлежащей интуиционистской логикой [Текст] / В. Х. Хаханян> // Вестник Московского университета. Сер. 7, Философия. - 2008. - N 4. - С. 92-105. . - Библиогр. в примеч. - Примеч.: с. 104-105
Рубрики: Логика Общие вопросы логики Кл.слова (ненормированные): теория множеств -- математическая логика -- интуиционистская логика -- интуиционизм -- интуиционистская математика Аннотация: В статье предлагается формализованный вариант теории множеств с подлежащей интуиционистской логикой, который мог бы играть роль аксиоматической базисной системы теории множеств и был бы признаваем исследователями других направлений в основаниях математики (классиками, интуиционистами, конструктивистами и т. д. ) как нейтральный по отношению к развиваемым ими вариантами теории множеств. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Бочаров, Вячеслав Александрович (доктор философских наук; профессор). Логика и математика [Текст] / В. А. Бочаров> // Вестник Московского университета. Сер. 7, Философия. - 2012. - № 1. - С. 72-80. - Библиогр.: с. 80 . - ISSN 0201-7385
Рубрики: Логика Общие вопросы логики Кл.слова (ненормированные): логика и математика -- математика -- функции (логика) -- теория множеств -- алгебра -- алгоритмы -- математика и логика -- математические методы познания -- методы познания -- познание Аннотация: В статье обсуждается мнение о том, что логика в своих исследованиях использует математические методы познания. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Михайлов, А. М. Распознавание образов с помощью их индексирования [Текст] / А. М. Михайлов> // Автоматика и телемеханика. - 2012. - № 4. - С. 151-161. - Библиогр.: с. 161 (4 назв.) . - ISSN 0005-2310
Рубрики: Радиоэлектроника Автоматика и телемеханика Кибернетика Математика Общие вопросы математики Кл.слова (ненормированные): распознавание образов -- индексирование образов -- кортикальная индексная технология -- ANC -- искусственный нейронный кортекс -- ИНК -- теория множеств -- теоретико-множественный подход -- идентификация логотипов -- индексы образов -- индексное распознавание -- образы Аннотация: Обсуждается теоретико-множественный подход к распознаванию образов и вводится определение индекса образов и обратных образов. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Динамическое программирование в обобщенной задаче курьера, осложненной внутренними работами [Текст] / А. М. Григорьев [и др.]> // Мехатроника, автоматизация, управление. - 2012. - № 7 (136). - С. 14-21 : ил. - Библиогр.: с. 21 (14 назв.) . - ISSN 1684-6427
Рубрики: Математика Математическая логика Кл.слова (ненормированные): динамическое программирование -- внутренние работы -- маршруты -- условия предшествования -- мегаполисы -- вычислительные системы -- математические модели -- теория множеств Аннотация: Рассматривается экстремальная задача маршрутизации, связанная на идейном уровне с посещением областей, в пределах которых возможно возникновение тех или иных явлений, представляющих потенциальную опасность; это обстоятельство диктует требования к скорейшему обнаружению упомянутых явлений в целях принятия последующих мер по устранению их последствий (здесь речь может идти о лесных пожарах, радиоактивном или химическом заражении). Изучаются взаимодействия, связанные с маршрутизацией перемещений и последовательно развивается подход, связанный с идеями динамического программирования. Теоретические идеи статьи воплощены в оптимальном с точностью до дискретизации алгоритме для многопроцессорной вычислительной системы (МВС) ; проведен соответствующий вычислительный эксперимент (ВЭ). Доп.точки доступа: Григорьев, А. М. (руководитель группы); Иванко, Е. Е. (кандидат физико-математических наук; старший научный сотрудник); Князев, С. Т. (доктор технических наук; проректор); Ченцов, А. Г. (член-корреспондент РАН; заведующий отделом) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Хаханян, Валерий Христофорович (доктор философских наук; профессор). Интуиционизм и формализм: различие и единство [Текст] : (сравнительный анализ) / В. Х. Хаханян> // Вестник Московского университета. Сер. 7, Философия. - 2012. - № 5. - С. 57-69. - Библиогр.: с. 69 . - ISSN 0201-7385
Рубрики: Философия Философия науки, 20 в. Математика Теория чисел Кл.слова (ненормированные): математики -- математики-интуиционисты -- философы -- философия математики -- теория множеств -- математический анализ -- финитность -- интуиционизм -- формализм Аннотация: Проводится сравнительный анализ взглядов на существование и определение множества представителей главных философско-математических направлений ХХ века - Л. Я. Э. Брауэра и Д. Гильберта. Доп.точки доступа: Кантор, Г.; Брауэр, Л. Я. Э.; Гильберт, Д.; Кант, И. (немецкий философ ; 1724-1804) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Левин, В. И. (доктор технических наук). Логико-автоматная теория множеств [Текст] / В. И. Левин> // Информационные технологии. - 2012. - № 10. - С. 48-58. - Библиогр.: с. 58 (10 назв.) . - ISSN 1684-6400
Рубрики: Радиоэлектроника Теория автоматов Кл.слова (ненормированные): теория множеств -- непрерывная логика -- логико-автоматные модели -- конечные динамические автоматы Аннотация: Предложен автоматно-логический подход к построению прикладной количественной теории множеств. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Ламберов, Л. Д. Основания математики: теория множеств vs. Теория типов [Текст] / Л. Д. Ламберов> // Философия науки. - 2017. - № 1. - С. 41-60. - Библиогр.: с. 60 (13 назв. ) . - ISSN 1560-7488
Рубрики: Математика Общие вопросы математики Кл.слова (ненормированные): гомотопическая теория типов -- гомотопия -- основания математики -- теория множеств -- теория типов Аннотация: Рассматривается краткая история развития теории множеств как оснований математики и краткая история становления теории типов. Приводится подробное сравнение теории множеств и теории типов, демонстрируются проблемы теории множества, а также преимущества теории типов как оснований математики. Кроме того, в статье обсуждаются прагматический аспект теории типов как оснований математики и кратко рассматривается современный вариант теории типов, а именно гомотопическая теория типов. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Аксенова, Г. П. Локализация кратных неисправностей при групповом контроле в дискретном устройстве [Текст] / Г. П. Аксенова> // Автоматика и телемеханика. - 2017. - № 12. - С. 118-130. - Библиогр.: с. 130 (7 назв.) . - ISSN 0005-2310
Рубрики: Радиоэлектроника Кибернетика Математика Общие вопросы математики Математическая кибернетика Кл.слова (ненормированные): диагностика -- дискретные устройства -- кратные неисправности -- локализация кратных неисправностей -- множества -- неисправности -- теория множеств -- тестирование Аннотация: В данной статье вопрос о локализации кратных неисправностей рассматривается на языке теории множеств. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Колесников, А. В. Хаос и трансформация категории времени в постклассической науке [Текст] / А. В. Колесников, С. Н. Сиренко, Г. Г. Малинецкий> // Философия науки. - 2019. - № 2. - С. 35-56. - Библиогр.: с. 55-56 (18 назв. ) . - ISSN 1560-7488
Рубрики: Общенаучные и междисциплинарные знания Общие вопросы общенаучного и междисциплинарного знания Кл.слова (ненормированные): время -- детерминированный хаосе -- динамическое множество -- истинное число -- историческое время -- нелинейность -- постклассическая наука -- темпоральное число -- теория множеств -- хаос Аннотация: Представления о времени существенно различаются в философии и гуманитарных науках с одной стороны и в математике и физико-математических науках - с другой стороны. Математика и физика традиционно концентрируют внимание на воспроизводимых периодических процессах, ориентируясь на прогнозирование их результата. Философия и гуманитарные науки в целом рассматривают время в большей степени как исторический невоспроизводимый поток неповторимых событий, формирующих историю, как уникальный сценарий развития. Актуальной научной проблемой является сближение обеих концепций, которое возможно на основе современных представлений о детерминированном хаосе. Для адекватного описания исторического времени целесообразно использовать предлагаемые понятия "динамическое множество", "истинное число", или "темпоральное число". Доп.точки доступа: Сиренко, С. Н.; Малинецкий, Г. Г. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |