Зображення обкладинки

Закон двойного отрицания и правило преобразования разности в табличных алгебрах

В работе найдены необходимые и достаточные условия, при которых в табличных алгебрах выполняются закон двойного отрицания и правило преобразования разности. Приведены примеры, иллюстрирующие данные критерии. У роботі знайдено необхідні та достатні умови, за яких у табличних алгебрах виконуються за...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Искусственный интеллект
Дата:	2013
Автор:	Сенченко, А.С.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут проблем штучного інтелекту МОН України та НАН України 2013
Теми:	Обучающие и экспертные системы
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/85160
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Закон двойного отрицания и правило преобразования разности в табличных алгебрах / А.С. Санченко // Искусственный интеллект. — 2013. — № 2. — С. 139–144. — Бібліогр.: 3 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Линейные логические преобразования в задачах семантической разметки текста
за авторством: Вечирская, И.Д., та інші
Опубліковано: (2013)

О сохранении ключей в табличных алгебрах
за авторством: Сенченко, А.С.
Опубліковано: (2015)

Свойства операции проекции в табличных алгебрах
за авторством: Сенченко, А.С.
Опубліковано: (2014)

Некоторые равенства в табличных алгебрах
за авторством: Редько, В.Н., та інші
Опубліковано: (2014)

Виртуальная организация агентов для разработки онтологической базы знаний системы компьютерного обучения
за авторством: Вороной, А.С.
Опубліковано: (2010)

Визуализация данных для анализа программного обеспечения с использованием экспертной системы
за авторством: Пригожев, А.С.
Опубліковано: (2009)

Взаимосвязи между пересечением, объединением и другими сигнатурными операциями в табличных алгебрах
за авторством: Сенченко, А.С.
Опубліковано: (2018)

Агентно-ориентированная система извлечения знаний из распределенных источников информации
за авторством: Грунский, И.С., та інші
Опубліковано: (2009)

Электронные учебники и средства их реализации
за авторством: Иванова, С.Б., та інші
Опубліковано: (2009)

Оценка интерфейсов тестовых систем электронных учебников
за авторством: Звенигородский, А.С., та інші
Опубліковано: (2011)

Операции пересечения и объединения нечеткого множества нечетких множеств
за авторством: Мащенко, С.О.
Опубліковано: (2012)

Концепция экспертной системы цветовых решений для проектировании разделов электронного учебника
за авторством: Звенигородский, А.С., та інші
Опубліковано: (2012)

Автоматизация разработки и обновления семантического ядра сайта с динамическим контентом
за авторством: Арсирий, Е.А., та інші
Опубліковано: (2012)

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

Онтологические модели систем и процесса системной инженерии
за авторством: Межуев, В.И.
Опубліковано: (2010)

Особенности компьютерного моделирования предметных областей и систем
за авторством: Межуев, В.И.
Опубліковано: (2010)

Разработка учебных программ с элементами искусственного интеллекта для обучения в области информационной безопасности и защиты персональных данных
за авторством: Блохина, С.В., та інші
Опубліковано: (2009)

О дистрибутивности в табличных алгебрах операции насыщения относительно операций объединения и пересечения
за авторством: Сенченко, А.С.
Опубліковано: (2013)

Нейроинтеллектуальная система диагностики транзиторных ишемических атак
за авторством: Головко, В.А., та інші
Опубліковано: (2014)

Оценивание тестовых заданий разных типов и определение их уровня сложности
за авторством: Бондаренко, М.Ф., та інші
Опубліковано: (2009)

Реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий
за авторством: Чибирова, М.О., та інші
Опубліковано: (2013)

Клиент-серверная технология экспертной обучающей системы для сетей Интернет и Интранет
за авторством: Бурдаев, В.П.
Опубліковано: (2008)

Сравнение затрат памяти для метода деревьев цифрового поиска и его усовершенствования
за авторством: Дорохина, Г.В.
Опубліковано: (2009)

Использование технологий расширенной и виртуальной реальностей при реализации алгоритмов управления коллективом роботов
за авторством: Даринцев, О.В.
Опубліковано: (2013)

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

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

Объективизация нечетких классификационных моделей формирования межпредметных связей
за авторством: Ватлин, С.И., та інші
Опубліковано: (2010)

Синтез экспертной системы оценки тяжести протекания вирусного гепатита
за авторством: Селякова, С.М.
Опубліковано: (2013)

Тригонометрические вычисления в системах компьютерной математики учебного назначения
за авторством: Львов, М.С.
Опубліковано: (2011)

Неитеративный синтез нейро-нечетких диагностических экспертных систем
за авторством: Субботин, С.А.
Опубліковано: (2009)

Модели адаптивной навигации в учебной гиперсреде
за авторством: Шибут, М.С.
Опубліковано: (2008)

О концепции создания интеллектуальных тестирующих систем
за авторством: Ковтун, С.А., та інші
Опубліковано: (2009)

Розрахунки оптимальних параметрів спрямованого хвилевідного відгалужувача і похибок перетворення низькоінтенсивних НЗВЧ-сигналів
за авторством: Куценко, В.П., та інші
Опубліковано: (2013)

Модель представлення знань в адаптивній системі дистанційного навчання та контролю знань «EduPRO»
за авторством: Федорук, П.І., та інші
Опубліковано: (2011)

Метод поиска ключевого узла словообразовательного дерева для экспертной обучающей системы
за авторством: Вороной, С.М., та інші
Опубліковано: (2010)

Проблемно-ситуационный подход к построению автоматизированного тренажёра оператора
за авторством: Петренко, Т.Г., та інші
Опубліковано: (2008)

Словообразовательная база знаний экспертной обучающей системы
за авторством: Вороной, С.М., та інші
Опубліковано: (2009)

До питання про цифрові моделі ґрунтів
за авторством: Крячок, О.С., та інші
Опубліковано: (2014)

Інтелектуальний механізм побудови індивідуальної навчальної траєкторії в адаптивних системах дистанційного навчання
за авторством: Федорук, П.І., та інші
Опубліковано: (2010)

Оптимізація параметрів вхідних вузлів НЗВЧ-радарних систем в умовах низькоінтенсивних сигналів
за авторством: Куценко, В.П., та інші
Опубліковано: (2012)