Закон двойного отрицания и правило преобразования разности в табличных алгебрах
В работе найдены необходимые и достаточные условия, при которых в табличных алгебрах выполняются
 закон двойного отрицания и правило преобразования разности. Приведены примеры, иллюстрирующие
 данные критерии. У роботі знайдено необхідні та достатні умови, за яких у табличних алгебра...
Saved in:
| Published in: | Искусственный интеллект |
|---|---|
| Date: | 2013 |
| ISSN: | 1561-5359 |
| Main Author: | Сенченко, А.С. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем штучного інтелекту МОН України та НАН України
2013
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/85160 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Закон двойного отрицания и правило преобразования разности в табличных алгебрах / А.С. Санченко // Искусственный интеллект. — 2013. — № 2. — С. 139–144. — Бібліогр.: 3 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Правило Лопиталя в интегральной форме
by: Мироненко, Л.П.
Published: (2012)
by: Мироненко, Л.П.
Published: (2012)
Линейные логические преобразования в задачах семантической разметки текста
by: Вечирская, И.Д., et al.
Published: (2013)
by: Вечирская, И.Д., et al.
Published: (2013)
О сохранении ключей в табличных алгебрах
by: Сенченко, А.С.
Published: (2015)
by: Сенченко, А.С.
Published: (2015)
Свойства операции проекции в табличных алгебрах
by: Сенченко, А.С.
Published: (2014)
by: Сенченко, А.С.
Published: (2014)
Некоторые равенства в табличных алгебрах
by: Редько, В.Н., et al.
Published: (2014)
by: Редько, В.Н., et al.
Published: (2014)
Виртуальная организация агентов для разработки онтологической базы знаний системы компьютерного обучения
by: Вороной, А.С.
Published: (2010)
by: Вороной, А.С.
Published: (2010)
Визуализация данных для анализа программного обеспечения с использованием экспертной системы
by: Пригожев, А.С.
Published: (2009)
by: Пригожев, А.С.
Published: (2009)
Агентно-ориентированная система извлечения знаний из распределенных источников информации
by: Грунский, И.С., et al.
Published: (2009)
by: Грунский, И.С., et al.
Published: (2009)
Концептуализация и проблематика онтологий
by: Палагин, А.В., et al.
Published: (2008)
by: Палагин, А.В., et al.
Published: (2008)
Электронные учебники и средства их реализации
by: Иванова, С.Б., et al.
Published: (2009)
by: Иванова, С.Б., et al.
Published: (2009)
Оценка интерфейсов тестовых систем электронных учебников
by: Звенигородский, А.С., et al.
Published: (2011)
by: Звенигородский, А.С., et al.
Published: (2011)
Концепция экспертной системы цветовых решений для проектировании разделов электронного учебника
by: Звенигородский, А.С., et al.
Published: (2012)
by: Звенигородский, А.С., et al.
Published: (2012)
Онтологические модели систем и процесса системной инженерии
by: Межуев, В.И.
Published: (2010)
by: Межуев, В.И.
Published: (2010)
Особенности компьютерного моделирования предметных областей и систем
by: Межуев, В.И.
Published: (2010)
by: Межуев, В.И.
Published: (2010)
Операции пересечения и объединения нечеткого множества нечетких множеств
by: Мащенко, С.О.
Published: (2012)
by: Мащенко, С.О.
Published: (2012)
Неавтономное обнаружение выбросов и очистка сигналов мониторинга внутричерепного давления
by: Дроботько, Д.В., et al.
Published: (2013)
by: Дроботько, Д.В., et al.
Published: (2013)
Вывод первого и второго стандартных пределов из единой системы неравенств
by: Мироненко, Л.П., et al.
Published: (2013)
by: Мироненко, Л.П., et al.
Published: (2013)
Оценивание тестовых заданий разных типов и определение их уровня сложности
by: Бондаренко, М.Ф., et al.
Published: (2009)
by: Бондаренко, М.Ф., et al.
Published: (2009)
Автоматизация разработки и обновления семантического ядра сайта с динамическим контентом
by: Арсирий, Е.А., et al.
Published: (2012)
by: Арсирий, Е.А., et al.
Published: (2012)
Концептуальная модель интегрированного комплекса интеллектуальных сервисов и средств управления ими
by: Шалфеева, Е.А.
Published: (2014)
by: Шалфеева, Е.А.
Published: (2014)
Сравнение затрат памяти для метода деревьев цифрового поиска и его усовершенствования
by: Дорохина, Г.В.
Published: (2009)
by: Дорохина, Г.В.
Published: (2009)
Клиент-серверная технология экспертной обучающей системы для сетей Интернет и Интранет
by: Бурдаев, В.П.
Published: (2008)
by: Бурдаев, В.П.
Published: (2008)
Реализация эффективной обработки, кодирования и передачи данных в промышленных мониторинговых сетях
by: Резаи, В., et al.
Published: (2014)
by: Резаи, В., et al.
Published: (2014)
Использование технологий расширенной и виртуальной реальностей при реализации алгоритмов управления коллективом роботов
by: Даринцев, О.В.
Published: (2013)
by: Даринцев, О.В.
Published: (2013)
Нейроинтеллектуальная система диагностики транзиторных ишемических атак
by: Головко, В.А., et al.
Published: (2014)
by: Головко, В.А., et al.
Published: (2014)
Миварный метод логико-вычислительной обработки информации для АСУ, тренажеров и экспертных систем реального времени
by: Варламов, О.О., et al.
Published: (2010)
by: Варламов, О.О., et al.
Published: (2010)
Адаптивное фильтрование дрейфа базовой линии нестационарных и нелинейных сигналов на основе метода эмпирического разложения
by: Дроботько, Д.В., et al.
Published: (2012)
by: Дроботько, Д.В., et al.
Published: (2012)
Классификация систем управления содержимым web-ресурсов и их использование для разработки сайта дистанционного обучения
by: Курилов, М.А., et al.
Published: (2010)
by: Курилов, М.А., et al.
Published: (2010)
Разработка учебных программ с элементами искусственного интеллекта для обучения в области информационной безопасности и защиты персональных данных
by: Блохина, С.В., et al.
Published: (2009)
by: Блохина, С.В., et al.
Published: (2009)
Реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий
by: Чибирова, М.О., et al.
Published: (2013)
by: Чибирова, М.О., et al.
Published: (2013)
Активная Миварная интернет-энциклопедия и развитие миварных сетей на основе многомерных бинарных матриц для одновременной эволюционной обработки более 10 000 правил в реальном времени
by: Бадалов, А.Ю., et al.
Published: (2010)
by: Бадалов, А.Ю., et al.
Published: (2010)
Менеджмент складних онтологій з використанням онтологічних моделей
by: Буров, Є.В.
Published: (2013)
by: Буров, Є.В.
Published: (2013)
Сценарно-прецедентная модель тренажерно-обучающей интеллектуальной системы
by: Шерстюк, В.Г.
Published: (2013)
by: Шерстюк, В.Г.
Published: (2013)
The proof of an equivalence of D’alembert’s and Cauchy’s tests in the theory of numerical series
by: Mironenko, L.P.
Published: (2013)
by: Mironenko, L.P.
Published: (2013)
Метод точной квадратичной регуляризации в задачах кластеризации данных
by: Косолап, А.И.
Published: (2013)
by: Косолап, А.И.
Published: (2013)
An advanced necessary test for convergent number series and some consequences
by: Mironenko, L.P., et al.
Published: (2013)
by: Mironenko, L.P., et al.
Published: (2013)
Розрахунки оптимальних параметрів спрямованого хвилевідного відгалужувача і похибок перетворення низькоінтенсивних НЗВЧ-сигналів
by: Куценко, В.П., et al.
Published: (2013)
by: Куценко, В.П., et al.
Published: (2013)
Определение классов состояний динамической социальной сети по трафикам ее мониторинга
by: Савельев, О.О., et al.
Published: (2013)
by: Савельев, О.О., et al.
Published: (2013)
Синтез экспертной системы оценки тяжести протекания вирусного гепатита
by: Селякова, С.М.
Published: (2013)
by: Селякова, С.М.
Published: (2013)
Параллельный контроль размера шага на основе коллокационных методов с использованием интерполяционных полиномов Эрмита
by: Дмитриева, О.А.
Published: (2013)
by: Дмитриева, О.А.
Published: (2013)
Similar Items
-
Правило Лопиталя в интегральной форме
by: Мироненко, Л.П.
Published: (2012) -
Линейные логические преобразования в задачах семантической разметки текста
by: Вечирская, И.Д., et al.
Published: (2013) -
О сохранении ключей в табличных алгебрах
by: Сенченко, А.С.
Published: (2015) -
Свойства операции проекции в табличных алгебрах
by: Сенченко, А.С.
Published: (2014) -
Некоторые равенства в табличных алгебрах
by: Редько, В.Н., et al.
Published: (2014)