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

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

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.

Збережено в:

Бібліографічні деталі
Дата:	2018
Автор:	Dotsenko, V. A.
Формат:	Стаття
Мова:	Українська
Опубліковано:	The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2018
Онлайн доступ:	http://journal.iasa.kpi.ua/article/view/127655
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	System research and information technologies

Репозитарії

System research and information technologies

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

МЕТОД ТА АЛГОРИТМ МНОЖЕННЯ У ДВОВИМІРНІЙ СИСТЕМІ ЧИСЛЕННЯ МАТРИЧНОГО РАДЕМАХЕРА
за авторством: Круцкевич, О. Д., та інші
Опубліковано: (2021)

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

Багатофункціональний блок подразнення зворотного гортанного нерва у задачі його ідентифікації
за авторством: Дивак, Микола Петрович, та інші
Опубліковано: (2020)

Концепція застосування електроміографії у програмно-апаратному комплексі виявлення зворотного гортанного нерва
за авторством: Дивак, М.П., та інші
Опубліковано: (2025)

МОДЕЛЮВАННЯ РОБОТИ ЗВОРОТНОГО КЛАПАНА В ГІДРАВЛІЧНІЙ СИСТЕМІ ЖИВЛЕННЯ РІДИННОГО РАКЕТНОГО ДВИГУНА ЗМІННОЇ СТРУКТУРИ
за авторством: CHERNIAVSKYI, O. S., та інші
Опубліковано: (2025)

МЕТОДИ, ЗАСОБИ ТА ІНТЕРВАЛЬНА МОДЕЛЬ ДЛЯ ЗАДАЧІ ВІЗУАЛІЗАЦІЇ ЗВОРОТНОГО ГОРТАННОГО НЕРВА В ПРОЦЕСІ ХІРУРГІЧНОЇ ОПЕРАЦІЇ НА ЩИТОВИДНІЙ ЗАЛОЗІ
за авторством: Дивак, М. П., та інші
Опубліковано: (2013)

АЛГОРИТМ ШВИДКОГО ОБРОБЛЮВАННЯ ЗНАЧЕНЬ ДЛЯ МЕДІАННИХ ФІЛЬТРІВ
за авторством: Кулик, А. Я., та інші
Опубліковано: (2013)

Алгоритм циклу шахового коня для скремблювання даних
за авторством: Romanuke, Vadim, та інші
Опубліковано: (2024)

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

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

Алгоритм декомпозиції для розв’язання оптимізаційних задач розміщення
за авторством: Pankratov, Alexander Victorovich, та інші
Опубліковано: (2019)

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

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

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

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

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

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

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

Алгоритм знаходження найбільшого загального підграфа
за авторством: Ilyashenko, M. B.
Опубліковано: (2009)

Квантовий генетичний алгоритм вищих порядків для 0–1 задачі пакування рюкзака
за авторством: Tkachuk, Valerii M., та інші
Опубліковано: (2018)

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

Алгоритм оценки состояния эргатических систем управления
за авторством: Skubilin, M. D., та інші
Опубліковано: (2010)

ВИКОРИСТАННЯ ЕНЕРГЕТИЧНОГО МЕТОДУ ДЛЯ ІДЕНТИФІКАЦІЇ ПАРАМЕТРІВ НЕЛІНІЙНОСТЕЙ
за авторством: Загірняк, М.В., та інші
Опубліковано: (2017)

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

Алгоритм рівномірного наближення функцій багатьох змінних
за авторством: Малачівський, Петро Стефанович, та інші
Опубліковано: (2017)

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

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

Алгоритм ймовірнісного висновку в байєсових мережах
за авторством: Terentyev, O. M., та інші
Опубліковано: (2009)

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

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

УЗАГАЛЬНЕННЯ СИМПЛЕКС-МЕТОДУ ДЛЯ ВИРІШЕННЯ ЗАДАЧ НАПІВВИЗНАЧЕНОЇ ОПТИМІЗАЦІЇ
за авторством: Косолап, Анатолий Иванович
Опубліковано: (2010)

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

Алгоритм перевірки на коректність моделі сплайнової регресії
за авторством: Савкіна, Марта Юріївна
Опубліковано: (2017)

АЛГОРИТМ УПРАВЛЕНИЯ ОБЪЕКТОМ С КОМПЕНСАЦИЕЙ ТРАНСПОРТНОГО ЗАПАЗДЫВАНИЯ
за авторством: Жуков , С.Ф., та інші
Опубліковано: (2012)

Алгоритм чисельної реалізації нелінійної моделі забруднення атмосфери
за авторством: Митько, Лідія Олексіївна, та інші
Опубліковано: (2015)

Генетичний алгоритм захисту SDN від мережевих атак
за авторством: Zabielin, Stanislav Igorovych
Опубліковано: (2016)

АЛГОРИТМ МОДЕЛЮВАННЯ ПОШИРЕННЯ ЗАБРУДНЮЮЧИХ ПРОЦЕСІВ В АТМОСФЕРІ
за авторством: Mytko, Lidiya Alekseevna
Опубліковано: (2012)

АЛГОРИТМ РОБАСТНОГО ПРЯМОГО ВЕКТОРНОГО КЕРУВАННЯ АСИНХРОННИМ ГЕНЕРАТОРОМ
за авторством: Пересада, С.М., та інші
Опубліковано: (2021)

РОЗВИТОК ПРИНЦИПІВ ПОБУДОВИ АПАРАТУРИ ДЛЯ РЕАЛІЗАЦІЇ МЕТОДУ АМПЕРОСТАТИЧНОЇ КУЛОНОМЕТРІЇ
за авторством: Ламеко, О.Л., та інші
Опубліковано: (2024)

Розробка методу комбінованих операцій для підвищення ефективності блокового шифрування
за авторством: Палагін, Володимир, та інші
Опубліковано: (2024)