Buchumschlag

Секвенціальні системи виведення для багатозначних логік

В цій роботі представлено, як можна побудувати секвенціальні числення без структурних правил (але з допустимими структурними правилами) для довільних пропозиційних скінченнозначних логік з визначником рівності (тобто скінченною множиною унарних похідних пропозиційних зв’язок...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2003
1. Verfasser:	Пинько, О.П.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Інститут проблем математичних машин і систем НАН України 2003
Schlagworte:	Програмно-технічні комплекси
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/731
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:	Секвенціальні системи виведення для багатозначних логік / Пинько О.П. // Математичні машини і системи. – 2003. – № 2. – С. 166 – 174.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Побудова системи автоматизації для впровадження моделі поліцейської діяльності, керованої аналітикою, в органах Національної поліції України
von: Мовчан, А.В., et al.
Veröffentlicht: (2018)

Алгоритми методу дискретних особливостей для обчислювальних технологій
von: Довгий, С.О., et al.
Veröffentlicht: (2017)

Предметно-ориентированный язык Strumok для описания акторных систем с общей памятью
von: Ларин, В.О., et al.
Veröffentlicht: (2018)

Математичне моделювання процесів ферментативного гідролізу
von: Алєксєєва, І.В., et al.
Veröffentlicht: (2003)

Онтологические и алгеброалгоритмические средства автоматизации проектирования параллельных программ для «облачных» платформ
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2017)

Календарное планирование для унифицированной модели объекта управления дискретного производства
von: Каплунов, М.И.
Veröffentlicht: (2004)

Цілочислові модифіковані синусні перетворення. Метод побудови і роздільні направлені адаптивні перетворення для intra-прогнозування в кодуванні зображень/відео
von: Гнатів, Л.О.
Veröffentlicht: (2020)

Високопродуктивні суперкомп’ютерні технології моделювання нанопористих кіберсистем зі зворотними зв’язками для адсорбційного очищення газів
von: Петрик, М.Р., et al.
Veröffentlicht: (2020)

Метод параллельного нечеткого вывода для систем Такаги–Сугено высшего порядка
von: Ершов, С.В., et al.
Veröffentlicht: (2018)

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

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

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

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

Високопродуктивні суперкомп'ютерні технології моделювання та ідентифікації складних нанопористих кіберсистем зі зворотними зв'язками для n-компонентної компетитивної адсорбції
von: Петрик, М.Р., et al.
Veröffentlicht: (2021)

Автоматичне визначення рівня гаусового шуму на цифрових зображеннях методом високочастотної фільтрації для виокремлених областей
von: Баловсяк, С.В., et al.
Veröffentlicht: (2018)

Алгоритми швидкого виконання 4-точкових цілочислових синусних перетворень типу VII без множення і роздільні направлені адаптивні перетворення для intra-прогнозування в кодуванні зображень/відео
von: Гнатів, Л.О., et al.
Veröffentlicht: (2020)

Цілочислові модифіковані синус-косинусні перетворення типу VII. Метод побудови і роздільні направлені адаптивні перетворення для intra-прогнозування з блоками яскравості 8x8 у кодуванні зображень/відео
von: Гнатів, Л.О., et al.
Veröffentlicht: (2021)

Подход к классификации состояния сети на основе статистических параметров для обнаружения аномалий в информационной структуре вычислительной системы
von: Рубан, И.В., et al.
Veröffentlicht: (2018)

Целочисленное косинусное преобразование высокого порядка: метод построения и быстрые алгоритмы для кодирования изображений и видео с высоким разрешением
von: Гнатив, Л.А.
Veröffentlicht: (2017)

Оцінка характеру і наслідків надзвичайної події на хімічно небезпечних об’єктах стаціонарного типу
von: Беспалов, В.П., et al.
Veröffentlicht: (2003)

Моніторинг принципів моделювання економічної рівноваги і товарно-грошового механізму функціонування економіки України з позицій її регіонального розвитку
von: Морозов, А.О., et al.
Veröffentlicht: (2004)

Моделі оцінки ефективності систем управління регіонального рівня
von: Казимир, В.В., et al.
Veröffentlicht: (2003)

Ефективні способи організації паралельної роботи оптимізаційних алгоритмів
von: Шило, В.П., et al.
Veröffentlicht: (2019)

Прикладная математическая задача как объект компьютерной алгебры
von: Клименко, В.П., et al.
Veröffentlicht: (2003)

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

Представлення, аналіз та видобування знань з неструктурованих природномовних текстів
von: Гогерчак, Г.І., et al.
Veröffentlicht: (2021)

Архітектура автоматизованих інформаційно-аналітичних систем органів державної влади
von: Додонов, О.Г., et al.
Veröffentlicht: (2003)

Математический метод корректировки плана полетов в нештатных режимах работы аэропорта
von: Нелин, О.В.
Veröffentlicht: (2003)

Розвиток суперкомп’ютерів серії СКІТ, розроблених в Інституті кібернетики ім. В.М. Глушкова НАН України у період з 2002 по 2017 роки
von: Головинський, А.Л., et al.
Veröffentlicht: (2017)

Автоматизированная калибровка стереопары в лабораторных условиях
von: Киреев, О.С.
Veröffentlicht: (2004)

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

Управление ресурсами распределенной компьютерной системы с учетом уровня доверия к вычислительным компонентам
von: Чженбин, Ху, et al.
Veröffentlicht: (2017)

Имитационное моделирование распределенной обработки информации в локальных вычислительных сетях
von: Быченко, О.В., et al.
Veröffentlicht: (2004)

Особливості організації сучасних систем автоматизації міркувань
von: Мороховець, М.К.
Veröffentlicht: (2003)

Аналіз та врахування неоднорідності в системах розподільної обробки даних
von: Князькова, З.В.
Veröffentlicht: (2003)

Багатофакторне математичне моделювання та компромісна оптимізація технологічного процесу електроерозійного прошиття отворів
von: Радченко, С.Г.
Veröffentlicht: (2003)

Симетричні криптоалгоритми у системі залишкових класів
von: Касянчук, М.М., et al.
Veröffentlicht: (2021)

Інтелектуалізація інформаційних систем – механізми та інструментарій інтерактивного ситуативного аналізу
von: В’юн, В.І.
Veröffentlicht: (2004)

Паралельний алгоритм імітації Петрі-об’єктної моделі
von: Стеценко, І.В.
Veröffentlicht: (2017)

Пошук оптимальних шляхів у дереві рішень
von: Панченко, М.В.
Veröffentlicht: (2004)