Конструктивний алгоритм зворотного методу для числення висловлювань
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 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
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| id |
journaliasakpiua-article-127655 |
|---|---|
| record_format |
ojs |
| spelling |
journaliasakpiua-article-1276552018-04-11T11:12:54Z Constructive algorithm for inverse method of sentential calculus Конструктивный алгоритм обратного метода для исчисления высказываний Конструктивний алгоритм зворотного методу для числення висловлювань Dotsenko, V. A. 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. Рассматривается общая схема обратного метода С.Ю. Маслова для исчисления высказываний. Описан ряд эвристических стратегий и правил вывода по сокращению перебора. Сформулирован конструктивный алгоритм обратного метода для исчисления высказываний. Розглядається загальна схема зворотного методу С.Ю. Маслова для числення висловлювань. Описано низку евристичних стратегій і правил виведення скорочення перебору. Сформульовано конструктивний алгоритм зворотного методу для числення висловлювань. The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2018-04-02 Article Article application/pdf http://journal.iasa.kpi.ua/article/view/127655 System research and information technologies; No. 2 (2007); 59-73 Системные исследования и информационные технологии; № 2 (2007); 59-73 Системні дослідження та інформаційні технології; № 2 (2007); 59-73 2308-8893 1681-6048 uk http://journal.iasa.kpi.ua/article/view/127655/122422 Copyright (c) 2021 System research and information technologies |
| institution |
System research and information technologies |
| baseUrl_str |
|
| datestamp_date |
2018-04-11T11:12:54Z |
| collection |
OJS |
| language |
Ukrainian |
| format |
Article |
| author |
Dotsenko, V. A. |
| spellingShingle |
Dotsenko, V. A. Конструктивний алгоритм зворотного методу для числення висловлювань |
| author_facet |
Dotsenko, V. A. |
| author_sort |
Dotsenko, V. A. |
| title |
Конструктивний алгоритм зворотного методу для числення висловлювань |
| title_short |
Конструктивний алгоритм зворотного методу для числення висловлювань |
| title_full |
Конструктивний алгоритм зворотного методу для числення висловлювань |
| title_fullStr |
Конструктивний алгоритм зворотного методу для числення висловлювань |
| title_full_unstemmed |
Конструктивний алгоритм зворотного методу для числення висловлювань |
| title_sort |
конструктивний алгоритм зворотного методу для числення висловлювань |
| title_alt |
Constructive algorithm for inverse method of sentential calculus Конструктивный алгоритм обратного метода для исчисления высказываний |
| description |
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. |
| publisher |
The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" |
| publishDate |
2018 |
| url |
http://journal.iasa.kpi.ua/article/view/127655 |
| work_keys_str_mv |
AT dotsenkova constructivealgorithmforinversemethodofsententialcalculus AT dotsenkova konstruktivnyjalgoritmobratnogometodadlâisčisleniâvyskazyvanij AT dotsenkova konstruktivnijalgoritmzvorotnogometodudlâčislennâvislovlûvanʹ |
| first_indexed |
2025-07-17T10:23:43Z |
| last_indexed |
2025-07-17T10:23:43Z |
| _version_ |
1837889302712811520 |