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

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

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

Антитеррор

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

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

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

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

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

Кудинов, А. В.
О топологической модальной логике R с неравенством [Текст] / А. В. Кудинов ; представлено В. М. Бухштабером // Успехи математических наук. - 2008. - Т. 63, Вып. 1. - С. 163-164. - Библиогр.: с. 164 (3 назв. )

УДК

^a515.1

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

Доп.точки доступа:
Бухштабер, В. М. \.\

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

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

Девяткин, Л. Ю.
Отношение логического следования и проблема многозначности [Текст] / Л. Ю. Девяткин // Вестник Московского университета. Сер. 7, Философия. - 2008. - N 2. - С. 106-108. - Библиогр. в примеч. - Примеч.: с. 108

УДК

^a16

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

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

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

Иванов, И. Ю.
Расширенная модель LP-вывода на булевой решетке [Текст] / И. Ю. Иванов // Программная инженерия. - 2016. - Т. 7, № 6. - С. 252-257. - Библиогр.: с. 256 (12 назв.). - Загл., аннот. и библиогр. парал. рус., англ. . - ISSN 2220-3397

УДК

^a519.6

^a517.98

^a004.41/.42

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

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

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

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

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

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