Библиотека Амурского Государственного Университета

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

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

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

БД "Книги" (1)

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

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

Поисковый запрос: (<.>K=интуиционистская логика<.>)

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

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

УДК

^a16

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

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

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

Ольховиков, Григорий Константинович (канд. филос. наук, ассистент филос. фак-та Уральского гос. ун-та им. А. М. Горького).
О VI Смирновских чтениях [Text] : обзор международной конференции, философский факультет МГУ, 17-19 июня 2009 г. / Г. К. Ольховиков // Эпистемология и философия науки. - 2009. - Т. 22, N 4. - С. 188-191 . - ISSN 1811-833Х

УДК

^a1

ББК 87.25
Рубрики: Философия
Философия науки
Кл.слова (ненормированные):
конференции -- международные конференции -- научные доклады -- доклады -- трехзначные логики -- философия математики -- логика -- континуальность -- универсальная логика -- неклассическая логика -- интуиционистская логика -- классическая логика
Аннотация: Обзор международной конференции "VI Смирновские чтения", прошедшей 17-19 июня 2009 г. на философском факультете Московского государственного университета. Дается краткое содержание докладов, заслушанных на конференции.

Доп.точки доступа:
Карпенко, А. С.; Непейвода, Н. Н.; Безье, И.; Васюков, В. Л.; Московский государственный университет \философский факультет\; Философский факультет Московского государственного университета; Международная конференция "VI Смирновские чтения"; Смирновские чтения, международная конференция

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

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

Хаханян, В. Х.
Независимость принципа униформизации от тезиса Черча в интуиционистской теории множеств [Текст] / В. Х. Хаханян // Известия РАН. Серия математическая. - 2013. - Т. 77, № 6. - С. 207-222. - Библиогр.: с. 222 (11 назв.) . - ISSN 0373-2436

УДК

^a517

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

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

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

Павлов, В. А.
Система автоматического доказательства теорем интуиционистской логики на основе обратного метода [Текст] / В. А. Павлов, В. Г. Пак // Программирование. - 2018. - № 1. - С. 46-59. - Библиогр.: с. 59 (25 назв.) . - ISSN 0132-3474

УДК

^a004.8

ББК 32.813
Рубрики: Радиоэлектроника
Искусственный интеллект. Экспертные системы
Кл.слова (ненормированные):
АДТ -- Маслова метод -- автоматическое доказательство теорем -- интуиционистская логика -- интуиционистские исчисления -- метод Маслова -- обратный метод
Аннотация: В статье рассмотрено применение обратного метода к интуиционистской логике первого порядка.

Доп.точки доступа:
Пак, В. Г.

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

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

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

Статистика за 04.09.2024
Число запросов	68961
Число посетителей	1
Число заказов	0

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