Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


БД "Статьи" - результаты поиска

Вид поиска

Область поиска
 Найдено в других БД:БД "Книги" (41)Труды АМГУ (6)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=теория множеств<.>)
Общее количество найденных документов : 12
Показаны документы с 1 по 12
1.


    Вишик, М. И.
    Траекторный аттрактор 2d уравнений Эйлера с диссипацией и его связь с системой Навье-Стокса при исчезании вязкости [Текст] / М. И. Вишик, В. В. Чепыжов // Доклады Академии наук. - 2007. - Т. 417, N 3, ноябрь. - С. 303-307. - Библиогр.: с. 307 (15 назв. )
УДК
ББК 22.161.6
Рубрики: Математика
   Дифференциальные и интегральные уравнения

Кл.слова (ненормированные):
уравнения Эйлера -- Эйлера уравнения -- приближения Галеркина -- Галеркина приближения -- теория множеств -- система Навье-Стокса -- аттракторы -- траекторные аттракторы
Аннотация: Рассматривается система уравнений для двумерного пространственно-периодического поля.


Доп.точки доступа:
Чепыжов, В. В.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

2.


    Тейт, У.
    Еще одно изгнание из рая: счет становится безумным [Текст] / У. Тейт ; пер. с англ. В. В. Целищева // Философия науки. - 2007. - N 4. - С. 183-191
УДК
ББК 87.252 + 22.12
Рубрики: Философия
   Философские вопросы и методология отдельных наук

   Математика

   Математическая логика

Кл.слова (ненормированные):
множества (математика) -- числа -- трансфинитные числа -- теория множеств
Аннотация: О теории трансфинитных чисел.


Доп.точки доступа:
Целищев, В. В. \.\; Кантор, Георг (немецкий математик ; 1845-1918) \г.\

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

3.


    Брусов, В. С.
    Применение теоретико-множественного подхода к учету неопределенностей при решении задач векторной оптимизации. [Текст] / В. С. Брусов, А. Л. Суздальцев // Автоматика и телемеханика. - 2008. - N 4. - С. 94-100 : ил. - Библиогр.: с. 100 (3 назв. )
УДК
ББК 32.96
Рубрики: Радиоэлектроника
   Автоматика и телемеханика

Кл.слова (ненормированные):
теоретико-множественные подходы -- системы предпочтений -- векторные оптимизации -- типовые процедуры оптимизации -- летательные аппараты -- теория множеств
Аннотация: Проблема оптимизации сложной системы по векторному критерию рассматривается в терминах теории множеств.


Доп.точки доступа:
Суздальцев, А. Л.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

4.


    Хаханян, В. Х.
    Базисный вариант аксиоматической теории множеств с подлежащей интуиционистской логикой [Текст] / В. Х. Хаханян // Вестник Московского университета. Сер. 7, Философия. - 2008. - N 4. - С. 92-105. . - Библиогр. в примеч. - Примеч.: с. 104-105
УДК
ББК 87.4
Рубрики: Логика
   Общие вопросы логики

Кл.слова (ненормированные):
теория множеств -- математическая логика -- интуиционистская логика -- интуиционизм -- интуиционистская математика
Аннотация: В статье предлагается формализованный вариант теории множеств с подлежащей интуиционистской логикой, который мог бы играть роль аксиоматической базисной системы теории множеств и был бы признаваем исследователями других направлений в основаниях математики (классиками, интуиционистами, конструктивистами и т. д. ) как нейтральный по отношению к развиваемым ими вариантами теории множеств.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

5.


    Бочаров, Вячеслав Александрович (доктор философских наук; профессор).
    Логика и математика [Текст] / В. А. Бочаров // Вестник Московского университета. Сер. 7, Философия. - 2012. - № 1. - С. 72-80. - Библиогр.: с. 80 . - ISSN 0201-7385
УДК
ББК 87.4
Рубрики: Логика
   Общие вопросы логики

Кл.слова (ненормированные):
логика и математика -- математика -- функции (логика) -- теория множеств -- алгебра -- алгоритмы -- математика и логика -- математические методы познания -- методы познания -- познание
Аннотация: В статье обсуждается мнение о том, что логика в своих исследованиях использует математические методы познания.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

6.


    Михайлов, А. М.
    Распознавание образов с помощью их индексирования [Текст] / А. М. Михайлов // Автоматика и телемеханика. - 2012. - № 4. - С. 151-161. - Библиогр.: с. 161 (4 назв.) . - ISSN 0005-2310
УДК
ББК 32.96 + 32.81 + 22.1
Рубрики: Радиоэлектроника
   Автоматика и телемеханика

   Кибернетика

   Математика

   Общие вопросы математики

Кл.слова (ненормированные):
распознавание образов -- индексирование образов -- кортикальная индексная технология -- ANC -- искусственный нейронный кортекс -- ИНК -- теория множеств -- теоретико-множественный подход -- идентификация логотипов -- индексы образов -- индексное распознавание -- образы
Аннотация: Обсуждается теоретико-множественный подход к распознаванию образов и вводится определение индекса образов и обратных образов.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

7.


   
    Динамическое программирование в обобщенной задаче курьера, осложненной внутренними работами [Текст] / А. М. Григорьев [и др.] // Мехатроника, автоматизация, управление. - 2012. - № 7 (136). - С. 14-21 : ил. - Библиогр.: с. 21 (14 назв.) . - ISSN 1684-6427
УДК
ББК 22.12
Рубрики: Математика
   Математическая логика

Кл.слова (ненормированные):
динамическое программирование -- внутренние работы -- маршруты -- условия предшествования -- мегаполисы -- вычислительные системы -- математические модели -- теория множеств
Аннотация: Рассматривается экстремальная задача маршрутизации, связанная на идейном уровне с посещением областей, в пределах которых возможно возникновение тех или иных явлений, представляющих потенциальную опасность; это обстоятельство диктует требования к скорейшему обнаружению упомянутых явлений в целях принятия последующих мер по устранению их последствий (здесь речь может идти о лесных пожарах, радиоактивном или химическом заражении). Изучаются взаимодействия, связанные с маршрутизацией перемещений и последовательно развивается подход, связанный с идеями динамического программирования. Теоретические идеи статьи воплощены в оптимальном с точностью до дискретизации алгоритме для многопроцессорной вычислительной системы (МВС) ; проведен соответствующий вычислительный эксперимент (ВЭ).


Доп.точки доступа:
Григорьев, А. М. (руководитель группы); Иванко, Е. Е. (кандидат физико-математических наук; старший научный сотрудник); Князев, С. Т. (доктор технических наук; проректор); Ченцов, А. Г. (член-корреспондент РАН; заведующий отделом)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

8.


    Хаханян, Валерий Христофорович (доктор философских наук; профессор).
    Интуиционизм и формализм: различие и единство [Текст] : (сравнительный анализ) / В. Х. Хаханян // Вестник Московского университета. Сер. 7, Философия. - 2012. - № 5. - С. 57-69. - Библиогр.: с. 69 . - ISSN 0201-7385
УДК
ББК 87.25 + 22.13
Рубрики: Философия
   Философия науки, 20 в.

   Математика

   Теория чисел

Кл.слова (ненормированные):
математики -- математики-интуиционисты -- философы -- философия математики -- теория множеств -- математический анализ -- финитность -- интуиционизм -- формализм
Аннотация: Проводится сравнительный анализ взглядов на существование и определение множества представителей главных философско-математических направлений ХХ века - Л. Я. Э. Брауэра и Д. Гильберта.


Доп.точки доступа:
Кантор, Г.; Брауэр, Л. Я. Э.; Гильберт, Д.; Кант, И. (немецкий философ ; 1724-1804)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

9.


    Левин, В. И. (доктор технических наук).
    Логико-автоматная теория множеств [Текст] / В. И. Левин // Информационные технологии. - 2012. - № 10. - С. 48-58. - Библиогр.: с. 58 (10 назв.) . - ISSN 1684-6400
УДК
ББК 32.815
Рубрики: Радиоэлектроника
   Теория автоматов

Кл.слова (ненормированные):
теория множеств -- непрерывная логика -- логико-автоматные модели -- конечные динамические автоматы
Аннотация: Предложен автоматно-логический подход к построению прикладной количественной теории множеств.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

10.


    Ламберов, Л. Д.
    Основания математики: теория множеств vs. Теория типов [Текст] / Л. Д. Ламберов // Философия науки. - 2017. - № 1. - С. 41-60. - Библиогр.: с. 60 (13 назв. ) . - ISSN 1560-7488
УДК
ББК 22.1
Рубрики: Математика
   Общие вопросы математики

Кл.слова (ненормированные):
гомотопическая теория типов -- гомотопия -- основания математики -- теория множеств -- теория типов
Аннотация: Рассматривается краткая история развития теории множеств как оснований математики и краткая история становления теории типов. Приводится подробное сравнение теории множеств и теории типов, демонстрируются проблемы теории множества, а также преимущества теории типов как оснований математики. Кроме того, в статье обсуждаются прагматический аспект теории типов как оснований математики и кратко рассматривается современный вариант теории типов, а именно гомотопическая теория типов.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

11.


    Аксенова, Г. П.
    Локализация кратных неисправностей при групповом контроле в дискретном устройстве [Текст] / Г. П. Аксенова // Автоматика и телемеханика. - 2017. - № 12. - С. 118-130. - Библиогр.: с. 130 (7 назв.) . - ISSN 0005-2310
УДК
ББК 32.81 + 22.1 + 22.18
Рубрики: Радиоэлектроника
   Кибернетика

   Математика

   Общие вопросы математики

   Математическая кибернетика

Кл.слова (ненормированные):
диагностика -- дискретные устройства -- кратные неисправности -- локализация кратных неисправностей -- множества -- неисправности -- теория множеств -- тестирование
Аннотация: В данной статье вопрос о локализации кратных неисправностей рассматривается на языке теории множеств.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

12.


    Колесников, А. В.
    Хаос и трансформация категории времени в постклассической науке [Текст] / А. В. Колесников, С. Н. Сиренко, Г. Г. Малинецкий // Философия науки. - 2019. - № 2. - С. 35-56. - Библиогр.: с. 55-56 (18 назв. ) . - ISSN 1560-7488
УДК
ББК 1
Рубрики: Общенаучные и междисциплинарные знания
   Общие вопросы общенаучного и междисциплинарного знания

Кл.слова (ненормированные):
время -- детерминированный хаосе -- динамическое множество -- истинное число -- историческое время -- нелинейность -- постклассическая наука -- темпоральное число -- теория множеств -- хаос
Аннотация: Представления о времени существенно различаются в философии и гуманитарных науках с одной стороны и в математике и физико-математических науках - с другой стороны. Математика и физика традиционно концентрируют внимание на воспроизводимых периодических процессах, ориентируясь на прогнозирование их результата. Философия и гуманитарные науки в целом рассматривают время в большей степени как исторический невоспроизводимый поток неповторимых событий, формирующих историю, как уникальный сценарий развития. Актуальной научной проблемой является сближение обеих концепций, которое возможно на основе современных представлений о детерминированном хаосе. Для адекватного описания исторического времени целесообразно использовать предлагаемые понятия "динамическое множество", "истинное число", или "темпоральное число".


Доп.точки доступа:
Сиренко, С. Н.; Малинецкий, Г. Г.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

 
Статистика
за 29.06.2024
Число запросов 45936
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)