Просматривается номер   2008-38
К читателю
О журнале
Публикационная этика
Авторам
Тематика
Правила рецензирования
English (United Kingdom)Russian (CIS)
Математика и управление
А. С. Костин "О концепции внедрения ERP-систем"
А. И. Федотов "Анализ моделей построения пенсионных систем"
Г. П. Акимова, Е. В. Пашкина, А. В. Соловьев "Методологический подход к оценке качества случайных чисел и последовательностей"
Л. А. Рейнгольд "Репозитарии пространственных данных в задачах управления регионом"
Л. А. Рейнгольд, О. А. Славин "Преобразование информационных ресурсов конкурсных торгов из учетных в маркетинговые"
И. А. Тарханов "Теоретическая модель неподдерживаемой реляционной базы данных"
Д. Я. Слободецкий, Д. В. Полевой "Практические аспекты формализации сложных информационных объектов на примере задачи анализа плоского представления табличной информации"
А. А. Антонова, А. В.Мисюрев "Об использовании синтаксического анализатора Cognitive Dwarf 2.0"
Д. А. Богданов, Ю. А. Лагаева, Д.А.Максимов, Е. Л. Плискин "Распределенная документная система бюджетирования: офисное решение"
Г. П. Акимова, Е. В. Пашкина, А. В. Соловьев "Методологический подход к моделированию поведения информационных систем при воздействиях катастрофического характера"
Б. Л. Романов, Д. Я. Слободецкий "Архитектура модуля программного интерфейса ЕВФРАТ-Документооборот"
А. Ю. Даниленко "Обеспечение безопасного функционирования больших информационных систем"
А. Я. Подрабинович "О полноте стратегий поиска вывода для множеств обобщенных хорновских дизъюнктов"
А. Г. Хованский "Многогранники и алгебра"
В. Е. Чуров, В. Л. Арлазаров, А. В. Соловьев "Итоги выборов. Анализ электоральных предпочтений"
Проблемы распознавания
В. Ю. Гудков "Оценка точности автоматического кодирования особенностей отпечатков пальцев"
В. Ю. Гудков "Способы математического описания и идентификации отпечатков пальцев"
П. П. Николаев, С.М. Карпенко, Д. П. Николаев "Спектральные модели цветовой константности: правила отбора"
А. А. Ахрем "Типичные свойства некоторых классов моделей проектирования сложных технических систем"
В. З. Рахманкулов, А. А. Ахрем, А. А. Барсегов, В. В. Герасимов, В. В. Лебедев "Компрессия изображения с использованием теории вейвлетов на примере изображения штампованной детали"
В. З. Рахманкулов, А. А. Ахрем, В. В. Герасимов, А. А. Барсегов "Многомерный вейвлет-анализ изображений"
О. А. Славин "Многопроходное распознавание смешанных печатных текстов на примере русско-английского распознавания"
Н. В. Котович, О. А. Славин "Алгоритмы распознавания шрифтов в печатных документах"
Н. В. Котович "Алгоритмы кластеризации образов символов"
М. Б. Гавриков, Н. В. Пестрякова, А. В. Усков, В. В. Фарсобина "Зависимость точности и оценки распознания от степени различия между базами обучения и распознавания"
М. Б. Гавриков, Н. В. Пестрякова, А. В. Усков, В. В. Фарсобина "О «среднестатистических» растрах и векторах метода распознавания символов, основанного на полиномиальной регрессии"
М. Б. Гавриков, Н. В. Пестрякова, А. В. Усков, В. В. Фарсобина "Оценка распознавания символов для метода, основанного на полиномиальной регрессии"
П. В. Безматерных, Д. П. Николаев, В. В. Постников "Быстрый алгоритм детектирования рукописных пометок"
Abstracts
Abstracts
А. Я. Подрабинович "О полноте стратегий поиска вывода для множеств обобщенных хорновских дизъюнктов"

Аннотация

В статье рассматривается обобщение понятия множества хорновских дизъюнктов (Hn-множество). Предлагается обобщение стратегии входной резолюции (Gn-резолюция). Доказывается полнота Gn-резолюции на Hn -множестве дизъюнктов. Показана неусиляемость полученного результата.

Ключевые слова:

множество хорновских дизъюнктов (Hn-множество), входная резолюция (Gn-резолюция), полнота Gn-резолюции.

 

Скачать статью в формате pdf

     
2024-74-1
2023-73-4
2023-73-3
2023-73-2

© ФИЦ ИУ РАН 2008-2018. Создание сайта "РосИнтернет технологии".