Конструктивний алгоритм зворотного методу для числення висловлювань
Розглядається загальна схема зворотного методу С.Ю. Маслова для числення висловлювань. Описано низку евристичних стратегій і правил виведення скорочення перебору. Сформульовано конструктивний алгоритм зворотного методу для числення висловлювань. A general scheme of the inverse method by S. Maslov fo...
Gespeichert in:
| Datum: | 2007 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainian |
| Veröffentlicht: |
Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України
2007
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/14635 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Конструктивний алгоритм зворотного методу для числення висловлювань/ В.А. Доценко // Систем. дослідж. та інформ. технології. — 2007. — № 2. — С. 59-73. — Бібліогр.: 7 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-14635 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Конструктивний алгоритм зворотного методу для числення висловлювань |
| spellingShingle |
Конструктивний алгоритм зворотного методу для числення висловлювань Доценко, В.А. Проблемно і функціонально орієнтовані комп’ютерні системи та мережі |
| title_short |
Конструктивний алгоритм зворотного методу для числення висловлювань |
| title_full |
Конструктивний алгоритм зворотного методу для числення висловлювань |
| title_fullStr |
Конструктивний алгоритм зворотного методу для числення висловлювань |
| title_full_unstemmed |
Конструктивний алгоритм зворотного методу для числення висловлювань |
| title_sort |
конструктивний алгоритм зворотного методу для числення висловлювань |
| author |
Доценко, В.А. |
| author_facet |
Доценко, В.А. |
| topic |
Проблемно і функціонально орієнтовані комп’ютерні системи та мережі |
| topic_facet |
Проблемно і функціонально орієнтовані комп’ютерні системи та мережі |
| publishDate |
2007 |
| language |
Ukrainian |
| publisher |
Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України |
| format |
Article |
| 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.
Рассматривается общая схема обратного метода С.Ю. Маслова для исчисления высказываний. Описан ряд эвристических стратегий и правил вывода по сокращению перебора. Сформулирован конструктивный алгоритм обратного метода для исчисления высказываний.
|
| issn |
1681–6048 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/14635 |
| citation_txt |
Конструктивний алгоритм зворотного методу для числення висловлювань/ В.А. Доценко // Систем. дослідж. та інформ. технології. — 2007. — № 2. — С. 59-73. — Бібліогр.: 7 назв. — укр. |
| work_keys_str_mv |
AT docenkova konstruktivniialgoritmzvorotnogometodudlâčislennâvislovlûvanʹ AT docenkova constructivealgorithmforinversemethodofsententialcalculus AT docenkova konstruktivnyialgoritmobratnogometodadlâisčisleniâvyskazyvanii |
| first_indexed |
2025-12-07T15:53:49Z |
| last_indexed |
2025-12-07T15:53:49Z |
| _version_ |
1850865436601614336 |