Buchumschlag

Конструктивний алгоритм зворотного методу для числення висловлювань

A general scheme of the inverse method by S. Maslov for the sentential calculus is considered. A line of heuristic strategies and rules of conclusion on reduction of search and a constructive algorithm for the inverse method for the sentential calculus are described.

Gespeichert in:

Bibliographische Detailangaben
Datum:	2018
1. Verfasser:	Dotsenko, V. A.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2018
Online Zugang:	http://journal.iasa.kpi.ua/article/view/127655
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	System research and information technologies

Institution

System research and information technologies

Ähnliche Einträge

МЕТОД ТА АЛГОРИТМ МНОЖЕННЯ У ДВОВИМІРНІЙ СИСТЕМІ ЧИСЛЕННЯ МАТРИЧНОГО РАДЕМАХЕРА
von: Круцкевич, О. Д., et al.
Veröffentlicht: (2021)

Операторне числення Вейля в узагальнених алгебрах Пелі–Вінера
von: Lozynska, V. Ya.; Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів
Veröffentlicht: (2024)

Багатофункціональний блок подразнення зворотного гортанного нерва у задачі його ідентифікації
von: Дивак, Микола Петрович, et al.
Veröffentlicht: (2020)

Гібридний алгоритм методу ітерацій на підпросторі для розв’язання задач стійкості конструкцій
von: Чистяков, Олексій Валерійович
Veröffentlicht: (2017)

Концепція застосування електроміографії у програмно-апаратному комплексі виявлення зворотного гортанного нерва
von: Дивак, М.П., et al.
Veröffentlicht: (2025)

МОДЕЛЮВАННЯ РОБОТИ ЗВОРОТНОГО КЛАПАНА В ГІДРАВЛІЧНІЙ СИСТЕМІ ЖИВЛЕННЯ РІДИННОГО РАКЕТНОГО ДВИГУНА ЗМІННОЇ СТРУКТУРИ
von: CHERNIAVSKYI, O. S., et al.
Veröffentlicht: (2025)

МЕТОДИ, ЗАСОБИ ТА ІНТЕРВАЛЬНА МОДЕЛЬ ДЛЯ ЗАДАЧІ ВІЗУАЛІЗАЦІЇ ЗВОРОТНОГО ГОРТАННОГО НЕРВА В ПРОЦЕСІ ХІРУРГІЧНОЇ ОПЕРАЦІЇ НА ЩИТОВИДНІЙ ЗАЛОЗІ
von: Дивак, М. П., et al.
Veröffentlicht: (2013)

Інтервальна нелінійна модель розподілу амплітуди інформаційного сигналу в задачі виявлення та локалізації зворотного гортанного нерва в процесі хірургічних операцій
von: Манжула, В.І., et al.
Veröffentlicht: (2022)

АЛГОРИТМ ШВИДКОГО ОБРОБЛЮВАННЯ ЗНАЧЕНЬ ДЛЯ МЕДІАННИХ ФІЛЬТРІВ
von: Кулик, А. Я., et al.
Veröffentlicht: (2013)

Алгоритм циклу шахового коня для скремблювання даних
von: Romanuke, Vadim, et al.
Veröffentlicht: (2024)

Алгоритм автоматизованого розпаралелювання циклічних операторів для графічних прискорювачів
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2017)

Алгоритм паралельного пошуку для документів, описаних формальною граматикою
von: Prodan, Anastasiia O.
Veröffentlicht: (2018)

Алгоритм декомпозиції для розв’язання оптимізаційних задач розміщення
von: Pankratov, Alexander Victorovich, et al.
Veröffentlicht: (2019)

Алгоритм со встроенной геометрической коррекцией для обработки данных РСА
von: Bezvesilniy, O. O., et al.
Veröffentlicht: (2012)

Алгоритм побудови біфуркаційної картини нелінійної крайової задачи для рівнянь Кармана
von: Gromov, Vasilii A.
Veröffentlicht: (2017)

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

Эволюционный алгоритм для решения задачи автоматизации формирования транспортных маршрутов
von: Шептура, А.А., et al.
Veröffentlicht: (2012)

Алгоритм оцінки ймовірності вторгнень для засобів моніторингу безпеки комп’ютерних систем
von: Mukhin, V. Ye., et al.
Veröffentlicht: (2018)

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

Адаптивний квантовий генетичний алгоритм для 0–1 задачі пакування рюкзака
von: Tkachuk, Valerii M.
Veröffentlicht: (2018)

Метрика та алгоритм для розрахунку подібності двох часових послідовностей подій
von: Nikolaiev, Sergii
Veröffentlicht: (2017)

Особливості використання методу БЕТ для різних адсорбентів
von: Gun'ko, V. M.
Veröffentlicht: (2022)

Алгоритм формування відповіді чат-бота
von: Пукач, П.Я., et al.
Veröffentlicht: (2017)

Вдосконалений алгоритм пошуку символів Якобі
von: Івасьєв, С. В., et al.
Veröffentlicht: (2015)

Алгоритм знаходження найбільшого загального підграфа
von: Ilyashenko, M. B.
Veröffentlicht: (2009)

Алгоритм оценки состояния эргатических систем управления
von: Skubilin, M. D., et al.
Veröffentlicht: (2010)

Квантовий генетичний алгоритм вищих порядків для 0–1 задачі пакування рюкзака
von: Tkachuk, Valerii M., et al.
Veröffentlicht: (2018)

ВИКОРИСТАННЯ ЕНЕРГЕТИЧНОГО МЕТОДУ ДЛЯ ІДЕНТИФІКАЦІЇ ПАРАМЕТРІВ НЕЛІНІЙНОСТЕЙ
von: Загірняк, М.В., et al.
Veröffentlicht: (2017)

Ефективний точний ПДС-алгоритм розв’язання задачі про сумарне запізнювання для одного приладу
von: Pavlov, A. A., et al.
Veröffentlicht: (2019)

Одновузловий гібридний алгоритм факторизації розріджених матриць
von: Сидорук, Володимир Антонович
Veröffentlicht: (2017)

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

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

Алгоритм формальной верификации шаблонов бизнес-процессов
von: Варосян, А.С.
Veröffentlicht: (2011)

Алгоритм ймовірнісного висновку в байєсових мережах
von: Terentyev, O. M., et al.
Veröffentlicht: (2009)

Cублінійний оптимальний наближений алгоритм реоптимізації для задачі про мінімальне вершинне покриття графа
von: Mikhailyuk, V. О.
Veröffentlicht: (2013)

Реалізація інтегрального методу для аналізу стійкості електроенергетичних систем
von: Коновал, Володимир Семенович, et al.
Veröffentlicht: (2014)

УЗАГАЛЬНЕННЯ СИМПЛЕКС-МЕТОДУ ДЛЯ ВИРІШЕННЯ ЗАДАЧ НАПІВВИЗНАЧЕНОЇ ОПТИМІЗАЦІЇ
von: Косолап, Анатолий Иванович
Veröffentlicht: (2010)

Узагальнений алгоритм розрахунку характеристик стратегій Клейнрока-Камоуна для розподілу буфера в мережах комутації пакетів
von: Ponomarenko, L. A., et al.
Veröffentlicht: (2019)

Алгоритм перевірки на коректність моделі сплайнової регресії
von: Савкіна, Марта Юріївна
Veröffentlicht: (2017)

АЛГОРИТМ УПРАВЛЕНИЯ ОБЪЕКТОМ С КОМПЕНСАЦИЕЙ ТРАНСПОРТНОГО ЗАПАЗДЫВАНИЯ
von: Жуков , С.Ф., et al.
Veröffentlicht: (2012)