Поисковый запрос: (<.>K=теория множеств<.>) |
Общее количество найденных документов : 24
Показаны документы с 1 по 20 |
|
1.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Тейт У.
Заглавие : Еще одно изгнание из рая: счет становится безумным
Серия: Научная жизнь
Место публикации : Философия науки. - 2007. - N 4. - С.183-191. - ISSN 1560-7488. - ISSN 1560-7488 Примечания : Зональная научная библиотека Южного федерального университетаcode, phnayear, 2007no, 4ss, 183add, 2007, ####, 0RUMARS-phna07_no4_ss183_ad1
УДК : 167/168 + 510.6 ББК : 87.252 + 22.12 Предметные рубрики: Философия Философские вопросы и методология отдельных наук Математика Математическая логика Ключевые слова (''Своб.индексиров.''): множества (математика)--числа--трансфинитные числа--теория множеств Аннотация: О теории трансфинитных чисел.
Найти похожие
|
2.
|
Вид документа : Статья из журнала Шифр издания : 512/К 90
Автор(ы) : Кулагин О. В.
Заглавие : Алгебраическое описание схем алгоритмов программ на основе теории множеств
Серия: Математические науки
Место публикации : Вестник Мордовского госуниверситета. - 2007. - N 3. - С.115-118. - ISSN 0236-2007. - ISSN 0236-2007 Примечания : Библиогр.: c. 118 (10 назв. )
УДК : 512 + 519.6 ББК : 22.14 + 22.19 Предметные рубрики: Математика Алгебра Вычислительная математика Ключевые слова (''Своб.индексиров.''): алгебраическое описание--алгоритмы программ--соответствие (математика)--схемы алгоритмов--теория множеств Аннотация: Настоящая статья посвящена представлению алгебраического способа описания алгоритмов, разработанного под руководством доктора технических наук профессора Г. Н. Чижухина и основанного на понятии соответствия из теории множеств.
Найти похожие
|
3.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Хаханян В. Х.
Заглавие : Базисный вариант аксиоматической теории множеств с подлежащей интуиционистской логикой
Серия: Логика
Разночтения заглавия :: Краткая история развития теори множеств с интуиционистской логикой: философские аспекты: Базисный вариант теории множеств с подлежащей интуиционистской логикой
Место публикации : Вестник Московского университета. Сер. 7, Философия. - 2008. - N 4. - С.92-105. - ISSN 0130-0091ISSN 0201-7385. - ISSN 0130-0091ISSN 0201-7385. - ISSN 0130-0091ISSN 0201-7385 Примечания : Библиогр. в примеч. - Примеч.: с. 104-105
УДК : 16 ББК : 87.4 Предметные рубрики: Логика Общие вопросы логики Ключевые слова (''Своб.индексиров.''): теория множеств--математическая логика--интуиционистская логика--интуиционизм--интуиционистская математика Аннотация: В статье предлагается формализованный вариант теории множеств с подлежащей интуиционистской логикой, который мог бы играть роль аксиоматической базисной системы теории множеств и был бы признаваем исследователями других направлений в основаниях математики (классиками, интуиционистами, конструктивистами и т. д. ) как нейтральный по отношению к развиваемым ими вариантами теории множеств.
Найти похожие
|
4.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Щербань А. Б., Новиков А. В.
Заглавие : Теоретико-множественный подход к формированию структурных моделей сложных информационных систем обучения
Серия: Учебные ресурсы
Место публикации : Открытое образование. - 2009. - N 5. - С.70-75. - ISSN 1818-4243 (Шифр otob/2009/5). - ISSN 1818-4243 Примечания : Библиогр.: с. 75 (6 назв. )
УДК : 371.69:004.3 + 378 ББК : 74с + 74.58 Предметные рубрики: Образование. Педагогика Применение вычислительной техники в педагогике Высшее профессиональное образование Ключевые слова (''Своб.индексиров.''): информационные системы--виртуальные технологии--инновации--процесс обучения--множественный подход--вузы--структурные модели--теория множеств--ситуационное управление--структурная идентификация--синтаксическая модель Аннотация: Рассмотрен подход к организации обучения в рамках виртуальных образовательных систем, обладающих структурными свойствами сложных реальных систем. Предложена организация процесса обучения, с применением принципа ситуационного управления, на основе структурного анализа текущих состояний систем обучения. Представлен вариант теоретико-множественного подхода к формированию обобщенных структурных моделей сложных информационных образовательных систем.
Найти похожие
|
5.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Баракина Т. В.
Заглавие : Изучение элементов теории множеств в начальном курсе информатики
Место публикации : Информатика и образование. - 2010. - N 1. - С.95-114. - ISSN 0234-0453 (Шифр inio/2010/1). - ISSN 0234-0453 Примечания : Продолж. следует
УДК : 372.8 ББК : 74.263.2 + 74.26 Предметные рубрики: Образование. Педагогика Методика преподавания учебных предметов Ключевые слова (''Своб.индексиров.''): информатика в начальной школе--информационные процессы--информация--кодирование информации--логика--межпредметные связи--методика преподавания (информатика)--начальная школа--обработка информации--передача информации--понятия (информатика)--практические упражнения (информатика)--преподавание информатики--теория множеств--учителя информатики--хранение информации Аннотация: В данной работе обобщены и систематизированы различные подходы к изучению элементов логики и теории множеств, предложенных в действующих программах по информатике в начальных школах. Представленные материалы могут быть использованы студентами педагогических вузов, учителями начальных классов и учителями информматики, преподавателями средних специальных и высших педагогических заведений при подготовке, планировании и проведении занятий по информатике или методике преподавания информатики.
Найти похожие
|
6.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Баракина Т. В., Поморцева С. В.
Заглавие : Изучение элементов теории множеств в начальном курсе информатики
Серия: Информатика в начальной школе
Место публикации : Информатика и образование. - 2010. - N 3. - С.82-96 (Шифр inio/2010/3)
УДК : 371.3 ББК : 74.202 Предметные рубрики: Образование. Педагогика Теория и методика обучения Ключевые слова (''Своб.индексиров.''): информатика (дисциплина)--информационные технологии--компьютеры--логика--младшие школьники--начальная школа--теория множеств Аннотация: В данной работе авторы ставили своей целью обобщение и систематизацию различных подходов к изучению элементов логики и теории множеств, предложенных в действующих программах по информатике в начальной школе.
Найти похожие
|
7.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Баракина Т. В., Поморцева С. В.
Заглавие : Изучение элементов логики и теории множеств в начальном курсе информатики
Серия: Информатика в начальной школе
Место публикации : Информатика и образование. - 2010. - N 4. - С.77-87. - ISSN 0234-0453 (Шифр inio/2010/4). - ISSN 0234-0453
УДК : 372.8 ББК : 74.26 Предметные рубрики: Образование. Педагогика Методика преподавания учебных предметов Ключевые слова (''Своб.индексиров.''): теория множеств--уроки--логика--начальная школа--программы--информатика--методика преподавания Аннотация: В данной работе авторы ставили своей целью обобщение и систематизацию различных подходов к изучению элементов логики и теории множеств, предложенных в действующих программах по информатике в начальной школе.
Найти похожие
|
8.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Чечулин В. Л.
Заглавие : О мощности множества всех множеств в теории множеств с самопринадлежностью
Серия: Математика
Место публикации : Вестник Пермского университета. - 2010. - Вып. 4 (4). - С.18-19. - ISSN 1993-0550 (Шифр vpun/2010/4). - ISSN 1993-0550 Примечания : Библиогр.: с. 19 (4 назв. ). - Назв. вып.: Математика. Механика. Информатика
УДК : 519.21 ББК : 22.171 Предметные рубрики: Математика Теория вероятностей Ключевые слова (''Своб.индексиров.''): множества с самопринадлежностью--теория множеств Аннотация: Описано свойство множества всех множеств - его несамоподобие, с использованием утверждения о количестве точек на прямой между двумя точками. Показано, что мощность множества всех множеств больше, чем мощность самоподобного множества.
Найти похожие
|
9.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Жумаев, Эркин Эргашевич (кандидат педагогических наук; доцент)
Заглавие : Интеграция и коммуникация в образовании, понятие интеграции в теоретической педагогике Узбекистана
Серия: Образование в мире
Место публикации : Мир образования - образование в мире. - 2011. - № 4 (44). - С.72-75 (Шифр miob/2011/4) Примечания : Библиогр.: с. 75 (5 назв. )
УДК : 37.013 ББК : 74.00 Предметные рубрики: Образование. Педагогика Общая педагогика --Республика Узбекистан Ключевые слова (''Своб.индексиров.''): взаимодействие наук--интеграция--интеграция наук--информационные системы--информация--коммуникация--виды коммуникации--категории--коммуникативные системы--обмен сообщениями--образовательные системы--работа с информацией--сложноорганизованные тексты--структурные отношения--теоретическая педагогика--теория множеств Аннотация: В работе рассматриваются некоторые вопросы интеграции и коммуникации в образовании и понятие интеграции в теоретической педагогике Узбекистана.
Найти похожие
|
10.
|
Вид документа : Статья из журнала Шифр издания : 16/Б 86
Автор(ы) : Бочаров, Вячеслав Александрович (доктор философских наук; профессор)
Заглавие : Логика и математика
Серия: Логика
Место публикации : Вестник Московского университета. Сер. 7, Философия. - 2012. - № 1. - С.72-80. - ISSN 0201-7385 (Шифр mfls/2012/1). - ISSN 0201-7385 Примечания : Библиогр.: с. 80
УДК : 16 ББК : 87.4 Предметные рубрики: Логика Общие вопросы логики Ключевые слова (''Своб.индексиров.''): логика и математика--математика--функции (логика)--теория множеств--алгебра--алгоритмы--математика и логика--математические методы познания--методы познания--познание Аннотация: В статье обсуждается мнение о том, что логика в своих исследованиях использует математические методы познания.
Найти похожие
|
11.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Хаханян, Валерий Христофорович (доктор философских наук; профессор)
Заглавие : Интуиционизм и формализм: различие и единство
: (сравнительный анализ)
Серия: Философия математики
Место публикации : Вестник Московского университета. Сер. 7, Философия. - 2012. - № 5. - С.57-69. - ISSN 0201-7385 (Шифр mfls/2012/5). - ISSN 0201-7385 Примечания : Библиогр.: с. 69
УДК : 1 + 511 ББК : 87.25 + 22.13 Предметные рубрики: Философия Философия науки, 20 в. Математика Теория чисел Ключевые слова (''Своб.индексиров.''): математики--математики-интуиционисты--философы--философия математики--теория множеств--математический анализ--финитность--интуиционизм--формализм Аннотация: Проводится сравнительный анализ взглядов на существование и определение множества представителей главных философско-математических направлений ХХ века - Л. Я. Э. Брауэра и Д. Гильберта.
Найти похожие
|
12.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Левин В. И. (доктор технических наук)
Заглавие : Логико-автоматная теория множеств
Серия: Интеллектуальные системы
Место публикации : Информационные технологии. - 2012. - № 10. - С.48-58. - ISSN 1684-6400 (Шифр inft/2012/10). - ISSN 1684-6400 Примечания : Библиогр.: с. 58 (10 назв.)
УДК : 519.713 ББК : 32.815 Предметные рубрики: Радиоэлектроника Теория автоматов Ключевые слова (''Своб.индексиров.''): теория множеств--непрерывная логика--логико-автоматные модели--конечные динамические автоматы Аннотация: Предложен автоматно-логический подход к построению прикладной количественной теории множеств.
Найти похожие
|
13.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Белков, Павел Людвигович
Заглавие : Концепция малых этнографических групп: топография и топология
Серия: Археология и этнография
Место публикации : Вестник Санкт-Петербургского университета. Сер. 2, История. - 2013. - Вып. 1. - С.98-106. - ISSN 1812-9323 (Шифр vsp2/2013/1). - ISSN 1812-9323 Примечания : Библиогр.: с. 106 (14 назв.)
УДК : 39 ББК : 63.500 Предметные рубрики: Этнология Теория этнологии Ключевые слова (''Своб.индексиров.''): концепции--малые этнографические группы--теоретико-множественная топология--теория множеств--теория этноса--топография малых групп--топология малых групп--этнографические группы--этнос Аннотация: Основной целью статьи является интерпретация понятия малых этнографических групп в терминах теоретико-множественной топологии, при определении ее как открытого множества культурных ценностей, а не набора отдельных "особей". В категории открытых множеств малая этнографическая группа есть набор элементов, в котором любой элемент может быть "перемещен" ("модифицирован") в любом направлении, оставаясь при этом в рамках того же набора.
Найти похожие
|
14.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Егорычев, Илья Эдуардович (кандидат философских наук)
Заглавие : Вынуждение как истинностная процедура
Серия: Философия
Место публикации : Вестник Санкт-Петербургского университета. Сер. 6, Философия, культурология, политология, право, международные отношения. - 2013. - Вып. 4. - С.12-20. - ISSN 1995-0055 (Шифр vv26/2013/4). - ISSN 1995-0055
УДК : 167 ББК : 87.46 Предметные рубрики: Логика Логическое учение о методе Ключевые слова (''Своб.индексиров.''): аксиоматическое решение--истина--континуум-гипотеза--онтология--субъект--теория доказательств--теория множеств--форсинг Аннотация: В статье обосновывается идея того, что метод форсинга, открытый американским математиком Полом Коэном, не только стал чрезвычайно эффективной логической техникой и широко применяется в теории доказательств, но имеет еще и сугубо онтологические следствия. Несмотря на то, что все истины производятся Субъектом, они остаются при этом истинами мира.
Найти похожие
|
15.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Букин, Дмитрий Николаевич (кандидат философских наук; докторант)
Заглавие : Качественная определенность математического объекта: онтологический анализ
Серия: Философия
Место публикации : Вестник Волгоградского государственного университета. Сер. 7, Философия. Социология и социальные технологии. - 2013. - № 2 (20). - С.56-61. - ISSN 1998-9946 (Шифр vgu7/2013/2). - ISSN 1998-9946 Примечания : Библиогр.: с. 61 (8 назв. )
УДК : 11/12 + 510 ББК : 87.21 + 22.1 Предметные рубрики: Философия Метафизика. Онтология Математика Общие вопросы математики Ключевые слова (''Своб.индексиров.''): категория качества--категория отношения--качественная определенность--качественный подход--качество--количество--математики--математические объекты--математическое познание--множества--объекты математики--онтологические категории--онтологический анализ--онтология математики--отношения--система--структура--теория множеств--философия математики--философы--целое Аннотация: Показано, что качественный подход в математике применяется на всех уровнях анализа, так как математический объект должен быть осмыслен и определен прежде всего со своей качественной стороны.
Найти похожие
|
16.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Горбусенко К. А.
Заглавие : О предпосылках теории бесконечных множеств в работах Б. Больцано
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2015. - № 1. - С.15-25. - ISSN 1560-7488 (Шифр phna/2015/1). - ISSN 1560-7488 Примечания : Библиогр.: с. 14 (30 назв. )
УДК : 1 + 510 ББК : 87.25 + 22.1 Предметные рубрики: Философия Философия науки Математика Общие вопросы математики Ключевые слова (''Своб.индексиров.''): бесконечное--множество--теория множеств Аннотация: В статье исследуются представления Б. Больцано о бесконечных множествах. Посредством реконструкции понятийной структуры теории бесконечного у Больцано проясняются ограничения, накладываемые конкретными понятиями на представление о бесконечном, и выявляется эвристическая значимость отдельных идей для дальнейшего развития теории бесконечных множеств.
Найти похожие
|
17.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Богатырев П. Ю. (аспирант), Коськин А. В.
Заглавие : Структура информационного пространства организации с применением теоретико-множественного подхода к систематизации информации
Серия: Общие вопросы
Место публикации : Информационные технологии. - 2016. - Т. 22, № 10. - С.723-727. - ISSN 1684-6400 (Шифр inft/2016/22/10). - ISSN 1684-6400 Примечания : Библиогр.: с. 727 (7 назв.)
УДК : 004.9 ББК : 32.973-018.2 Предметные рубрики: Вычислительная техника Прикладные информационные (компьютерные) технологии в целом Ключевые слова (''Своб.индексиров.''): информационное пространство--информационные системы--теория множеств--управление знаниями--управление содержимым Аннотация: Рассматривается способ построения системы управления информационными ресурсами организации с точки зрения структурирования информации. Вводится обобщенная модель систематизации, интегрирующая подходы, используемые в современных системах управления содержимым, на основе теоретико-множественного подхода.
Найти похожие
|
18.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Ламберов Л. Д.
Заглавие : Основания математики: теория множеств vs. Теория типов
Серия: Проблемы логики и методологии науки
Разночтения заглавия :: Теория типов
Место публикации : Философия науки. - 2017. - № 1. - С.41-60. - ISSN 1560-7488 (Шифр phna/2017/1). - ISSN 1560-7488 Примечания : Библиогр.: с. 60 (13 назв. )
УДК : 510 ББК : 22.1 Предметные рубрики: Математика Общие вопросы математики Ключевые слова (''Своб.индексиров.''): гомотопическая теория типов--гомотопия--основания математики--теория множеств--теория типов Аннотация: Рассматривается краткая история развития теории множеств как оснований математики и краткая история становления теории типов. Приводится подробное сравнение теории множеств и теории типов, демонстрируются проблемы теории множества, а также преимущества теории типов как оснований математики. Кроме того, в статье обсуждаются прагматический аспект теории типов как оснований математики и кратко рассматривается современный вариант теории типов, а именно гомотопическая теория типов.
Найти похожие
|
19.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Иванов А. Ю. (кандидат физико-математических наук)
Заглавие : Введение в технологию концептуализации предметных областей социологии: развертывание теории (на примере родственных отношений)
Серия: Теория, методология и история социологии
Место публикации : Вестник Московского университета. Сер. 18, Социология и политология. - 2017. - № 2. - С.205-228. - ISSN 0201-7385 (Шифр msoc/2017/2). - ISSN 0201-7385 Примечания : Библиогр.: с. 222-224Ref.: pp. 224-228. - Окончание. Начало: № 1
УДК : 316 ББК : 60.500 Предметные рубрики: Социология Социология как наука Ключевые слова (''Своб.индексиров.''): аксиоматическая теория--аксиоматические исследования--аппарат родов структур--базисные множества--гипотетико-дедуктивный метод--декларация о базисном множестве--концептуализация--концептуализация предметных областей--концептуальные схемы--концептуальный анализ--математизация социологии--родственные отношения--теория множеств--термы (логика)--технология концептуализации--формализм Аннотация: Вторая из двух статей, цель которых познакомить читателя с возможностями применения математических методов, разработанных в научном направлении "Концептуальный анализ и проектирование систем организационного управления (КП СОУ) ", предназначенных для решения разнообразных задач как в технических, так и в гуманитарных областях. Завершается обсуждение вопросов, связанных с полаганием базисных множеств, а именно - вопросов формирования так называемой "декларации о базисном множестве", терминологических проблем и вопросов обозначения базисных множеств. Описано итоговое ядро концептуальной схемы, проведено аксиоматическое исследование выделенной предметной области.
Найти похожие
|
20.
|
Вид документа : Статья из журнала Шифр издания : 1/К21
Автор(ы) : Карамышев, Илья Сергеевич
Заглавие : Теория множеств как философское событие
Серия: Теория познания
Место публикации : Философия и общество. - 2017. - № 4. - С.117-133. - ISSN 1681-4339 (Шифр fiio/2017/4). - ISSN 1681-4339 Примечания : Библиогр.: с. 132-133
УДК : 1 ББК : 87.25 Предметные рубрики: Философия Философия науки Ключевые слова (''Своб.индексиров.''): кантора теория--актуальная бесконечность--история математики--парадоксы--теория кантора--теория множеств--феноменология--философская мысль--философы Аннотация: В статье исследуется влияние теории множеств, разработанной немецким математиком Георгом Кантором, на развитие философской мысли в процессе изучения трудов ряда зарубежных философов, показывается связь проблемы бесконечности и теории множеств, характеризуются парадоксы теории множеств, демонстрируется связь теории множеств с феноменологией Гуссерля и делается вывод о том, что канторовская теория множеств повлияла на развитие философии последних лет.
Найти похожие
|
|
|