Конструктивний алгоритм зворотного методу для числення висловлювань
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.
Saved in:
| Date: | 2018 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute"
2018
|
| Online Access: | http://journal.iasa.kpi.ua/article/view/127655 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | System research and information technologies |
Institution
System research and information technologies| _version_ | 1856543348455636992 |
|---|---|
| author | Dotsenko, V. A. |
| author_facet | Dotsenko, V. A. |
| author_sort | Dotsenko, V. A. |
| baseUrl_str | |
| collection | OJS |
| datestamp_date | 2018-04-11T11:12:54Z |
| 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. |
| first_indexed | 2025-07-17T10:23:43Z |
| format | Article |
| id | journaliasakpiua-article-127655 |
| institution | System research and information technologies |
| language | Ukrainian |
| last_indexed | 2025-07-17T10:23:43Z |
| publishDate | 2018 |
| publisher | The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" |
| 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 |
| spellingShingle | Dotsenko, V. A. Конструктивний алгоритм зворотного методу для числення висловлювань |
| title | Конструктивний алгоритм зворотного методу для числення висловлювань |
| title_alt | Constructive algorithm for inverse method of sentential calculus Конструктивный алгоритм обратного метода для исчисления высказываний |
| title_full | Конструктивний алгоритм зворотного методу для числення висловлювань |
| title_fullStr | Конструктивний алгоритм зворотного методу для числення висловлювань |
| title_full_unstemmed | Конструктивний алгоритм зворотного методу для числення висловлювань |
| title_short | Конструктивний алгоритм зворотного методу для числення висловлювань |
| title_sort | конструктивний алгоритм зворотного методу для числення висловлювань |
| 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ʹ |