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

Базы данных


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

Вид поиска

Область поиска
в найденном
 Найдено в других БД:Книги фонда НБ СГЮА (4)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=теория множеств<.>)
Общее количество найденных документов : 24
Показаны документы с 1 по 20
 1-20    21-24 
1.


    Тейт, У.
    Еще одно изгнание из рая: счет становится безумным [Текст] / У. Тейт ; пер. с англ. В. В. Целищева // Философия науки. - 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
УДК
ББК 87.252 + 22.12
Рубрики: Философия
   Философские вопросы и методология отдельных наук

   Математика

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

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


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

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

2.


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

   Вычислительная математика

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


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

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

3.


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

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


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

4.


    Щербань, А. Б.
    Теоретико-множественный подход к формированию структурных моделей сложных информационных систем обучения [Текст] / А. Б. Щербань, А. В. Новиков // Открытое образование. - 2009. - N 5. - С. 70-75. - Библиогр.: с. 75 (6 назв. ) . - ISSN 1818-4243
УДК
ББК 74с + 74.58
Рубрики: Образование. Педагогика
   Применение вычислительной техники в педагогике

   Высшее профессиональное образование

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


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

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

5.


    Баракина, Т. В.
    Изучение элементов теории множеств в начальном курсе информатики [Текст] / Т. В. Баракина, С. В. Поморцева // Информатика и образование. - 2010. - N 1. - С. 95-114. - Продолж. следует . - ISSN 0234-0453
УДК
ББК 74.263.2 + 74.26
Рубрики: Образование. Педагогика
   Методика преподавания учебных предметов

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

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

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

6.


    Баракина, Т. В.
    Изучение элементов теории множеств в начальном курсе информатики [Текст] / Т. В. Баракина, С. В. Поморцева // Информатика и образование. - 2010. - N 3. - С. 82-96
УДК
ББК 74.202
Рубрики: Образование. Педагогика
   Теория и методика обучения

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


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

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

7.


    Баракина, Т. В.
    Изучение элементов логики и теории множеств в начальном курсе информатики [Текст] / Т. В. Баракина, С. В. Поморцева // Информатика и образование. - 2010. - N 4. - С. 77-87 . - ISSN 0234-0453
УДК
ББК 74.26
Рубрики: Образование. Педагогика
   Методика преподавания учебных предметов

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


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

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

8.


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

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

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

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

9.


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

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

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

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

10.


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

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

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

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

11.


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

   Математика

   Теория чисел

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


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

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

12.


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

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

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

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

13.


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

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

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

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

14.


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

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


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

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

15.


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

   Математика

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

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


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

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

16.


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

   Математика

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

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


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

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

17.


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

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


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

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

18.


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

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

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

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

19.


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

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

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

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

20.


    Карамышев, Илья Сергеевич.
    Теория множеств как философское событие [Текст] / И. С. Карамышев // Философия и общество. - 2017. - № 4. - С. 117-133. - Библиогр.: с. 132-133 . - ISSN 1681-4339
УДК
ББК 87.25
Рубрики: Философия
   Философия науки

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


Доп.точки доступа:
Кантор, Г. (немецкий математик ; 1845-1918); Гуссерль, Э. (немецкий философ ; 1859-1938); Гёдель, К. (австрийский математик ; 1906-1978); Флоренский, П. А. (религиозный философ ; 1882-1937); Лосев, А. Ф. (русский философ ; 1893-1988); Бадью, А. (современный французский философ ; 1937-)
Нет сведений об экземплярах (Источник в БД не найден)

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

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