Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Доповіді НАН України
Datum:	2011
1. Verfasser:	Пынько, А.П.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Видавничий дім "Академперіодика" НАН України 2011
Schlagworte:	Інформатика та кібернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/38682
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2011. — № 9. — С. 36-41. — Бібліогр.: 7 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства
von: Пынько, А.П.
Veröffentlicht: (2008)

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

Некоторые равенства в табличных алгебрах
von: Редько, В.Н., et al.
Veröffentlicht: (2014)

Решение некоторых обратных задач теплопроводности для составной пластины с использованием псевдообратных матриц
von: Сергиенко, И.В., et al.
Veröffentlicht: (2011)

Минимаксное оценивание решения краевой задачи для уравнений линейной теории упругости с граничными условиями типа Неймана
von: Наконечный, А.Г., et al.
Veröffentlicht: (2010)

Грід-технологія для завдань метрології
von: Ляшко, С.І., et al.
Veröffentlicht: (2013)

Нелокальне рівняння теплопровідності для багатофазних стохастично неоднорідних тіл
von: Чапля, Є.Я., et al.
Veröffentlicht: (2007)

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

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

Лингвистическое представление графов с помеченными вершинами
von: Сапунов, С.В., et al.
Veröffentlicht: (2019)

Гарантированное время преследования для стратегии параллельного сближения
von: Пашко, С.В.
Veröffentlicht: (2014)

Искусственная нейронная сеть для нелинейной декомпозиции функций
von: Бодянский, Е.В., et al.
Veröffentlicht: (2009)

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

Альтернуючий проксимальний алгоритм для задачі дворівневої опуклої мінімізації
von: Войтова, Т.А., et al.
Veröffentlicht: (2012)

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

Моделирование одного класса сложных систем с нечетким управлением
von: Шевченко, А.И., et al.
Veröffentlicht: (2013)

О дифференциальных играх с геометрическими и интегральными ограничениями
von: Белоусов, А.А.
Veröffentlicht: (2014)

Моделирование сложных теплофизических систем с применением нечеткой логики
von: Шевченко, А.И., et al.
Veröffentlicht: (2014)

Дифференциальные игры с интегральными ограничениями и импульсными управлениями
von: Белоусов, А.А.
Veröffentlicht: (2013)

Моделювання квазіідеальних полів для тонких просторово викривлених анізотропних пластів
von: Бомба, А.Я., et al.
Veröffentlicht: (2011)

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

Адаптивні алгоритми для задач про рівновагу в просторах Адамара
von: Ведель, Я.І., et al.
Veröffentlicht: (2020)

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

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

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

Двухэтапный проксимальный алгоритм для задачи о равновесии в пространстве Адамара
von: Ведель, Я.И., et al.
Veröffentlicht: (2020)

Математическое моделирование одного класса сложных систем с применением нечеткой логики
von: Шевченко, А.И., et al.
Veröffentlicht: (2013)

Исследование устойчивости векторных задач дискретной оптимизации с различными принципами оптимальности
von: Лебедева, Т.Т., et al.
Veröffentlicht: (2012)

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

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

Об импульсном оптимальном управлении динамическими системами типа Соболева с запаздыванием
von: Власенко, Л.А., et al.
Veröffentlicht: (2013)

Возмущенные упорядочивающие конусы для анализа задач векторной оптимизации в условиях неопределенности
von: Лебедева, Т.Т., et al.
Veröffentlicht: (2014)

Размещение кругов и невыпуклых многоугольников с поворотами в прямоугольнике минимальной длины
von: Злотник, М.В., et al.
Veröffentlicht: (2007)

Моделирование распространения сигнала в реальных системах с конечным интервалом и поглощением
von: Кривонос, Ю.Г., et al.
Veröffentlicht: (2016)

Моделирование потенциально-вихревого течения со свободной границей с применением нечеткой логики
von: Шевченко, А.И., et al.
Veröffentlicht: (2013)

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

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

Схема внешних аппроксимаций для вариационных неравенств на множестве неподвижных точек фейеровских операторов
von: Малицкий, Ю.В., et al.
Veröffentlicht: (2013)

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

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