Конструктивний алгоритм зворотного методу для числення висловлювань
Розглядається загальна схема зворотного методу С.Ю. Маслова для числення висловлювань. Описано низку евристичних стратегій і правил виведення скорочення перебору. Сформульовано конструктивний алгоритм зворотного методу для числення висловлювань. A general scheme of the inverse method by S. Maslov fo...
Збережено в:
| Дата: | 2007 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України
2007
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/14635 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Конструктивний алгоритм зворотного методу для числення висловлювань/ В.А. Доценко // Систем. дослідж. та інформ. технології. — 2007. — № 2. — С. 59-73. — Бібліогр.: 7 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862682810880360448 |
|---|---|
| author | Доценко, В.А. |
| author_facet | Доценко, В.А. |
| citation_txt | Конструктивний алгоритм зворотного методу для числення висловлювань/ В.А. Доценко // Систем. дослідж. та інформ. технології. — 2007. — № 2. — С. 59-73. — Бібліогр.: 7 назв. — укр. |
| collection | DSpace DC |
| 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-12-07T15:53:49Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-14635 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1681–6048 |
| language | Ukrainian |
| last_indexed | 2025-12-07T15:53:49Z |
| publishDate | 2007 |
| publisher | Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України |
| record_format | dspace |
| spelling | Доценко, В.А. 2010-12-27T13:50:09Z 2010-12-27T13:50:09Z 2007 Конструктивний алгоритм зворотного методу для числення висловлювань/ В.А. Доценко // Систем. дослідж. та інформ. технології. — 2007. — № 2. — С. 59-73. — Бібліогр.: 7 назв. — укр. 1681–6048 https://nasplib.isofts.kiev.ua/handle/123456789/14635 681:519.68 Розглядається загальна схема зворотного методу С.Ю. Маслова для числення висловлювань. Описано низку евристичних стратегій і правил виведення скорочення перебору. Сформульовано конструктивний алгоритм зворотного методу для числення висловлювань. 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. Рассматривается общая схема обратного метода С.Ю. Маслова для исчисления высказываний. Описан ряд эвристических стратегий и правил вывода по сокращению перебора. Сформулирован конструктивный алгоритм обратного метода для исчисления высказываний. uk Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України Проблемно і функціонально орієнтовані комп’ютерні системи та мережі Конструктивний алгоритм зворотного методу для числення висловлювань Constructive algorithm for inverse method of sentential calculus Конструктивный алгоритм обратного метода для исчисления высказываний Article published earlier |
| spellingShingle | Конструктивний алгоритм зворотного методу для числення висловлювань Доценко, В.А. Проблемно і функціонально орієнтовані комп’ютерні системи та мережі |
| title | Конструктивний алгоритм зворотного методу для числення висловлювань |
| title_alt | Constructive algorithm for inverse method of sentential calculus Конструктивный алгоритм обратного метода для исчисления высказываний |
| title_full | Конструктивний алгоритм зворотного методу для числення висловлювань |
| title_fullStr | Конструктивний алгоритм зворотного методу для числення висловлювань |
| title_full_unstemmed | Конструктивний алгоритм зворотного методу для числення висловлювань |
| title_short | Конструктивний алгоритм зворотного методу для числення висловлювань |
| title_sort | конструктивний алгоритм зворотного методу для числення висловлювань |
| topic | Проблемно і функціонально орієнтовані комп’ютерні системи та мережі |
| topic_facet | Проблемно і функціонально орієнтовані комп’ютерні системи та мережі |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/14635 |
| work_keys_str_mv | AT docenkova konstruktivniialgoritmzvorotnogometodudlâčislennâvislovlûvanʹ AT docenkova constructivealgorithmforinversemethodofsententialcalculus AT docenkova konstruktivnyialgoritmobratnogometodadlâisčisleniâvyskazyvanii |