Научная библиотека СГЮА

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

- результаты поиска

Вид поиска

Книги фонда НБ СГЮА

Дипломные работы выпускников СГЮА за последние 5 лет

Авторефераты

Диссертации

Период.издания науч.абонемента

Редкие книги Научной библиотеки СГЮА

Каталог электронных носителей

Труды ученых СГЮА

Саратовский край

Область поиска

в найденном

Найдено в других БД:

Книги фонда НБ СГЮА (4)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=теория множеств<.>)

Общее количество найденных документов : 24
Показаны документы с 1 по 20

1-20 21-24

Кулагин, О. В.
Алгебраическое описание схем алгоритмов программ на основе теории множеств [Текст] / О. В. Кулагин // Вестник Мордовского госуниверситета. - 2007. - N 3. - С. 115-118. - Библиогр.: c. 118 (10 назв. ) . - ISSN 0236-2007

УДК

^a512

^a519.6

ББК 22.14 + 22.19
Рубрики: Математика
Алгебра
Вычислительная математика
Кл.слова (ненормированные):
алгебраическое описание -- алгоритмы программ -- соответствие (математика) -- схемы алгоритмов -- теория множеств
Аннотация: Настоящая статья посвящена представлению алгебраического способа описания алгоритмов, разработанного под руководством доктора технических наук профессора Г. Н. Чижухина и основанного на понятии соответствия из теории множеств.

Доп.точки доступа:
Чижухин, Г. Н.

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

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

УДК

^a16

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

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

Иванов, А. Ю. (кандидат физико-математических наук).
Введение в технологию концептуализации предметных областей социологии: развертывание теории (на примере родственных отношений) [Текст] / А. Ю. Иванов // Вестник Московского университета. Сер. 18, Социология и политология. - 2017. - № 2. - С. 205-228. - Библиогр.: с. 222-224. - Ref.: pp. 224-228. - Окончание. Начало: № 1 . - ISSN 0201-7385

УДК

^a316

ББК 60.500
Рубрики: Социология
Социология как наука
Кл.слова (ненормированные):
аксиоматическая теория -- аксиоматические исследования -- аппарат родов структур -- базисные множества -- гипотетико-дедуктивный метод -- декларация о базисном множестве -- концептуализация -- концептуализация предметных областей -- концептуальные схемы -- концептуальный анализ -- математизация социологии -- родственные отношения -- теория множеств -- термы (логика) -- технология концептуализации -- формализм
Аннотация: Вторая из двух статей, цель которых познакомить читателя с возможностями применения математических методов, разработанных в научном направлении "Концептуальный анализ и проектирование систем организационного управления (КП СОУ) ", предназначенных для решения разнообразных задач как в технических, так и в гуманитарных областях. Завершается обсуждение вопросов, связанных с полаганием базисных множеств, а именно - вопросов формирования так называемой "декларации о базисном множестве", терминологических проблем и вопросов обозначения базисных множеств. Описано итоговое ядро концептуальной схемы, проведено аксиоматическое исследование выделенной предметной области.

Нет сведений об экземплярах (Источник в БД не найден)

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

Егорычев, Илья Эдуардович (кандидат философских наук).
Вынуждение как истинностная процедура [Текст] / И. Э. Егорычев // Вестник Санкт-Петербургского университета. Сер. 6, Философия, культурология, политология, право, международные отношения. - 2013. - Вып. 4. - С. 12-20 . - ISSN 1995-0055

УДК

^a167

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

Доп.точки доступа:
Коэн, П. Дж. (математик ; 1934-2007)
Нет сведений об экземплярах (Источник в БД не найден)

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

Тейт, У.
Еще одно изгнание из рая: счет становится безумным [Текст] / У. Тейт ; пер. с англ. В. В. Целищева // Философия науки. - 2007. - N 4. - С. 183-191. - Зональная научная библиотека Южного федерального университета. - code, phna. - year, 2007. - no, 4. - ss, 183. - ad. - d, 2007, ####, 0. - RUMARS-phna07_no4_ss183_ad1 . - ISSN 1560-7488

УДК

^a167/168

^a510.6

ББК 87.252 + 22.12
Рубрики: Философия
   Философские вопросы и методология отдельных наук
   Математика
   Математическая логика
Кл.слова (ненормированные):
множества (математика) -- числа -- трансфинитные числа -- теория множеств
Аннотация: О теории трансфинитных чисел.

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

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

Баракина, Т. В.
Изучение элементов логики и теории множеств в начальном курсе информатики [Текст] / Т. В. Баракина, С. В. Поморцева // Информатика и образование. - 2010. - N 4. - С. 77-87 . - ISSN 0234-0453

УДК

^a372.8

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

Доп.точки доступа:
Поморцева, С. В.
Нет сведений об экземплярах (Источник в БД не найден)

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

Баракина, Т. В.
Изучение элементов теории множеств в начальном курсе информатики [Текст] / Т. В. Баракина, С. В. Поморцева // Информатика и образование. - 2010. - N 1. - С. 95-114. - Продолж. следует . - ISSN 0234-0453

УДК

^a372.8

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

Нет сведений об экземплярах (Источник в БД не найден)

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

Баракина, Т. В.
Изучение элементов теории множеств в начальном курсе информатики [Текст] / Т. В. Баракина, С. В. Поморцева // Информатика и образование. - 2010. - N 3. - С. 82-96

УДК

^a371.3

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

Доп.точки доступа:
Поморцева, С. В.
Нет сведений об экземплярах (Источник в БД не найден)

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

Жумаев, Эркин Эргашевич (кандидат педагогических наук; доцент).
Интеграция и коммуникация в образовании, понятие интеграции в теоретической педагогике Узбекистана [Текст] / Э. Э. Жумаев // Мир образования - образование в мире. - 2011. - № 4 (44). - С. 72-75. - Библиогр.: с. 75 (5 назв. )

УДК

^a37.013

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

Нет сведений об экземплярах (Источник в БД не найден)

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

10.

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

УДК

^a1

^a511

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

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

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

11.

Букин, Дмитрий Николаевич (кандидат философских наук; докторант).
Качественная определенность математического объекта: онтологический анализ [Текст] / Букин Дмитрий Николаевич // Вестник Волгоградского государственного университета. Сер. 7, Философия. Социология и социальные технологии. - 2013. - № 2 (20). - С. 56-61. - Библиогр.: с. 61 (8 назв. ) . - ISSN 1998-9946

УДК

^a11/12

^a510

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

Доп.точки доступа:
Кантор, Г. (немецкий математик; философ ; 1845-1918)
Нет сведений об экземплярах (Источник в БД не найден)

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

12.

Белков, Павел Людвигович.
Концепция малых этнографических групп: топография и топология [Текст] / П. Л. Белков // Вестник Санкт-Петербургского университета. Сер. 2, История. - 2013. - Вып. 1. - С. 98-106. - Библиогр.: с. 106 (14 назв.) . - ISSN 1812-9323

УДК

^a39

ББК 63.500
Рубрики: Этнология
Теория этнологии
Кл.слова (ненормированные):
концепции -- малые этнографические группы -- теоретико-множественная топология -- теория множеств -- теория этноса -- топография малых групп -- топология малых групп -- этнографические группы -- этнос
Аннотация: Основной целью статьи является интерпретация понятия малых этнографических групп в терминах теоретико-множественной топологии, при определении ее как открытого множества культурных ценностей, а не набора отдельных "особей". В категории открытых множеств малая этнографическая группа есть набор элементов, в котором любой элемент может быть "перемещен" ("модифицирован") в любом направлении, оставаясь при этом в рамках того же набора.

Нет сведений об экземплярах (Источник в БД не найден)

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

13.

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

УДК

^a16

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

Нет сведений об экземплярах (Источник в БД не найден)

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

14.

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

УДК

^a519.713

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

Нет сведений об экземплярах (Источник в БД не найден)

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

15.

Обухов, А. Д. (кандидат технических наук).
Математическое моделирование и визуализация процессов горения в тренажерных комплексах [Текст] = Mathematical modeling and visualization of combustion processes in training complexes / А. Д. Обухов, А. Е. Архипов, А. О. Сидорчук // Информационные технологии. - 2021. - Т. 27, № 5. - С. 227-234. - Исследование выполнено при финансовой поддержке РФФИ в рамках научного проекта № 19-013-00567 . - ISSN 1684-6400

УДК

^a004

ББК 32.97
Рубрики: Вычислительная техника
Вычислительная техника в целом
Кл.слова (ненормированные):
3D modeling -- 3D-моделирование -- adaptive training complexes -- computer graphics -- personnel training -- set theory -- visualization of physical processes -- адаптивные тренажерные комплексы -- визуализация физических процессов -- компьютерная графика -- подготовка персонала -- теория множеств
Аннотация: Рассматривается задача моделирования и визуализации физических процессов горения в тренажерных комплексах. Предлагается математическая модель, позволяющая формализовать структуру виртуальных объектов горения, их свойства и процесс смены состояний от возгорания объекта до полного уничтожения или тушения. Разработаны диаграммы жизненных циклов и правила смены состояний объектов виртуальной реальности для организации процесса визуализации горения и тушения в виртуальной реальности.

Доп.точки доступа:
Архипов, А. Е. (аспирант); Сидорчук, А. О. (бакалавр)
Нет сведений об экземплярах (Источник в БД не найден)

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

16.

Полтавцева, М. А.
Моделирование данных в задачах информационной безопасности поли-хранилищ [Текст] = Data modeling in information security of poly-storages / М. А. Полтавцева, М. О. Калинин, Д. П. Зегжда // Проблемы информационной безопасности. Компьютерные системы. - 2023. - № 4. - С. 122-132 : табл., схемы. - Библиогр.: с. 129-130 (21 назв.). - Список литературы представлен на русском и английском языках. . - ISSN 2071-8217

УДК

^a004.65

ББК 32.973-018.2
Рубрики: Вычислительная техника
Системы управления базами данных (СУБД)
Кл.слова (ненормированные):
big data systems -- category theory -- data modeling -- graph theory -- heterogeneous data processing systems -- information security -- poly-storage -- set theory -- гетерогенные системы обработки данных -- информационная безопасность -- моделирование данных -- поли-хранилища -- системы больших данных -- теория графов -- теория категорий -- теория множеств
Аннотация: Работа посвящена задаче моделирования данных и процессов в системах больших данных, включающих поли-хранилища и иные гетерогенные компоненты обработки информации. В настоящий момент в данной области исследований предлагаются подходы к согласованию моделей данных поли-хранилищ. В работе рассмотрены различные предлагаемые методы, однако для использования в задачах информационной безопасности напрямую эти решения не являются подходящими. Авторами сформулированы требования к моделированию рассматриваемых объектов для решения задач безопасности и формулируется уровневый подход к моделированию основанный на общей концепции безопасности поли-хранилищ в рамках консистентного подхода. В работе представлена оригинальная систематизация моделей данных современных поли-хранилищ и СУБД в их составе, с учетом используемого математического аппарата. Предложена новая методология трехуровневого моделирования данных и процессов в объекте защиты, сформулированы основы моделей для всех уровней представления данных. Результаты работы закладывают основу комплексного представления данных и процессов при решении задач безопасности и анализа защищенности систем больших данных.
The work is devoted to the problem of modeling data and processes in big data systems, including poly-storages and other heterogeneous components of information processing. At the moment, approaches to the harmonization of poly-storage data models are being proposed in this field of research. The paper considers various proposed methods, but these solutions are not directly suitable for use in information security tasks. The authors formulate the requirements for modeling the objects under consideration to solve security problems and formulate a layered approach to modeling based on the general concept of poly-storage security within the framework of a consistent approach. The paper presents an original systematization of data models of modern poly-storages and DBMS in their composition, taking into account the mathematical apparatus used. A new methodology for three-level modeling of data and processes in the object of protection is proposed, and the basics of models for all levels of data representation are formulated. The results of the work lay the foundation for a comprehensive presentation of data and processes in solving security problems and analyzing the security of big data systems.

Доп.точки доступа:
Калинин, М. О.; Зегжда, Д. П.
Нет сведений об экземплярах (Источник в БД не найден)

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

17.

Чечулин, В. Л.
О мощности множества всех множеств в теории множеств с самопринадлежностью [Текст] / В. Л. Чечулин // Вестник Пермского университета. - 2010. - Вып. 4 (4). - С. 18-19. - Библиогр.: с. 19 (4 назв. ). - Назв. вып.: Математика. Механика. Информатика . - ISSN 1993-0550

УДК

^a519.21

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

Нет сведений об экземплярах (Источник в БД не найден)

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

18.

Горбусенко, К. А.
О предпосылках теории бесконечных множеств в работах Б. Больцано [Текст] / К. А. Горбусенко // Философия науки. - 2015. - № 1. - С. 15-25. - Библиогр.: с. 14 (30 назв. ) . - ISSN 1560-7488

УДК

^a1

^a510

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

Доп.точки доступа:
Больцано, Б. (чешский математик; философ ; 1781-1848)
Нет сведений об экземплярах (Источник в БД не найден)

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

19.

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

УДК

^a510

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

Нет сведений об экземплярах (Источник в БД не найден)

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

20.

Богатырев, П. Ю. (аспирант).
Структура информационного пространства организации с применением теоретико-множественного подхода к систематизации информации [Текст] / П. Ю. Богатырев, А. В. Коськин // Информационные технологии. - 2016. - Т. 22, № 10. - С. 723-727. - Библиогр.: с. 727 (7 назв.) . - ISSN 1684-6400

УДК

^a004.9

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

Доп.точки доступа:
Коськин, А. В. (доктор технических наук; профессор)
Нет сведений об экземплярах (Источник в БД не найден)

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

1-20 21-24

Тематический навигатор

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