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

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

Запропоновано ефективну процедуру мінімізації числа засновків правил введення секвенційних числень для пропозиційних скінченнозначних логік з визначником рівності. An effective procedure of minimization of the number of premises for the introduction rules of sequent calculi for propositional finitel...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Доповіді НАН України
Дата:	2011
Автор:	Пынько, А.П.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Видавничий дім "Академперіодика" НАН України 2011
Теми:	Інформатика та кібернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/38682
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2011. — № 9. — С. 36-41. — Бібліогр.: 7 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

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

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

Грід-технологія для завдань метрології
за авторством: Ляшко, С.І., та інші
Опубліковано: (2013)

Нелокальне рівняння теплопровідності для багатофазних стохастично неоднорідних тіл
за авторством: Чапля, Є.Я., та інші
Опубліковано: (2007)

Моделювання процесу фільтрування рідини від багатокомпонентного забруднення просторовим фільтром за умов ідентифікації масообмінного коефіцієнта
за авторством: Бомба, А.Я., та інші
Опубліковано: (2014)

Минимизация КНФ частично-монотонных булевых функций
за авторством: Пынько, А.П.
Опубліковано: (2017)

Лингвистическое представление графов с помеченными вершинами
за авторством: Сапунов, С.В., та інші
Опубліковано: (2019)

Гарантированное время преследования для стратегии параллельного сближения
за авторством: Пашко, С.В.
Опубліковано: (2014)

Искусственная нейронная сеть для нелинейной декомпозиции функций
за авторством: Бодянский, Е.В., та інші
Опубліковано: (2009)

Оценки сложности экспериментов с блоками управляемых перестановок
за авторством: Скобелев, В.Г.
Опубліковано: (2011)

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

О сравнительном анализе дифференцирующих звеньев с эмиттерными повторителями
за авторством: Божко, А.Е.
Опубліковано: (2008)

Моделирование одного класса сложных систем с нечетким управлением
за авторством: Шевченко, А.И., та інші
Опубліковано: (2013)

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

Моделирование сложных теплофизических систем с применением нечеткой логики
за авторством: Шевченко, А.И., та інші
Опубліковано: (2014)

Дифференциальные игры с интегральными ограничениями и импульсными управлениями
за авторством: Белоусов, А.А.
Опубліковано: (2013)

Моделювання квазіідеальних полів для тонких просторово викривлених анізотропних пластів
за авторством: Бомба, А.Я., та інші
Опубліковано: (2011)

Квази-phi-функции для математического моделирования отношений геометрических объектов
за авторством: Стоян, Ю.Г., та інші
Опубліковано: (2014)

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

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

Информационные технологии глубинного машинного обучения для анализа изменений земного покрова
за авторством: Куссуль, Н.Н., та інші
Опубліковано: (2016)

Об аналоге формулы Коши для линейных систем произвольного дробного порядка
за авторством: Чикрий, А.А., та інші
Опубліковано: (2007)

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

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

Исследование устойчивости векторных задач дискретной оптимизации с различными принципами оптимальности
за авторством: Лебедева, Т.Т., та інші
Опубліковано: (2012)

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

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

Об импульсном оптимальном управлении динамическими системами типа Соболева с запаздыванием
за авторством: Власенко, Л.А., та інші
Опубліковано: (2013)

Возмущенные упорядочивающие конусы для анализа задач векторной оптимизации в условиях неопределенности
за авторством: Лебедева, Т.Т., та інші
Опубліковано: (2014)

Размещение кругов и невыпуклых многоугольников с поворотами в прямоугольнике минимальной длины
за авторством: Злотник, М.В., та інші
Опубліковано: (2007)

Моделирование распространения сигнала в реальных системах с конечным интервалом и поглощением
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2016)

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

О системе обслуживания множественных заявок с учетом времени подготовки обслуживающего канала
за авторством: Дышлюк, О.Н.
Опубліковано: (2012)

Асимптотичні властивості Σ-класифікатора для багатокласових задач розпізнавання з нееліптичним розподілом даних
за авторством: Галкін, О.А.
Опубліковано: (2016)

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

Прямая и обратная задачи в теории полосно-пропускающих фильтров с диссипативными потерями
за авторством: Захаров, А.В., та інші
Опубліковано: (2011)

Монотонний ітераційний метод для розв’язування задач комбінаторної оптимізації ігрового типу на переставленнях
за авторством: Ємець, О.О., та інші
Опубліковано: (2014)