Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів
Досліджені області застосування конструктивного алгоритму зворотного методу, здійснена оцінка
 доцільності застосування конструктивного алгоритму зворотного методу, виходячи з поставлених
 задач. Проведена оцінка складності побудови початкової множини сприятливих наборів. Розглянуто&...
Збережено в:
| Дата: | 2008 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2008
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/7136 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів / В.А. Доценко // Штучний інтелект. — 2008. — № 3. — С. 655-662. — Бібліогр.: 11 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862708946510282752 |
|---|---|
| author | Доценко, В.А. |
| author_facet | Доценко, В.А. |
| citation_txt | Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів / В.А. Доценко // Штучний інтелект. — 2008. — № 3. — С. 655-662. — Бібліогр.: 11 назв. — укр. |
| collection | DSpace DC |
| description | Досліджені області застосування конструктивного алгоритму зворотного методу, здійснена оцінка
доцільності застосування конструктивного алгоритму зворотного методу, виходячи з поставлених
задач. Проведена оцінка складності побудови початкової множини сприятливих наборів. Розглянуто
приклади застосування конструктивного алгоритму зворотного методу для секвенцій різного вигляду,
а також випадку, коли застосування конструктивного алгоритму зворотного методу не є ефективним.
Исследована область применения конструктивного алгоритма обратного метода исходя из поставленных
задач. Проведена оценка сложности построения начального множества благоприятных наборов.
Рассмотрены примеры применения конструктивного алгоритма обратного метода для секвенций
различного вида, а также случая, когда применение конструктивного алгоритма обратного метода не
является эффективным.
|
| first_indexed | 2025-12-07T17:13:59Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-7136 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1561-5359 |
| language | Ukrainian |
| last_indexed | 2025-12-07T17:13:59Z |
| publishDate | 2008 |
| publisher | Інститут проблем штучного інтелекту МОН України та НАН України |
| record_format | dspace |
| spelling | Доценко, В.А. 2010-03-24T17:41:08Z 2010-03-24T17:41:08Z 2008 Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів / В.А. Доценко // Штучний інтелект. — 2008. — № 3. — С. 655-662. — Бібліогр.: 11 назв. — укр. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/7136 681:519.68 Досліджені області застосування конструктивного алгоритму зворотного методу, здійснена оцінка
 доцільності застосування конструктивного алгоритму зворотного методу, виходячи з поставлених
 задач. Проведена оцінка складності побудови початкової множини сприятливих наборів. Розглянуто
 приклади застосування конструктивного алгоритму зворотного методу для секвенцій різного вигляду,
 а також випадку, коли застосування конструктивного алгоритму зворотного методу не є ефективним. Исследована область применения конструктивного алгоритма обратного метода исходя из поставленных
 задач. Проведена оценка сложности построения начального множества благоприятных наборов.
 Рассмотрены примеры применения конструктивного алгоритма обратного метода для секвенций
 различного вида, а также случая, когда применение конструктивного алгоритма обратного метода не
 является эффективным. uk Інститут проблем штучного інтелекту МОН України та НАН України Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів Особенности применения конструктивного алгоритма обратного метода для секвенциального исчисления предикатов Article published earlier |
| spellingShingle | Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів Доценко, В.А. Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем |
| title | Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів |
| title_alt | Особенности применения конструктивного алгоритма обратного метода для секвенциального исчисления предикатов |
| title_full | Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів |
| title_fullStr | Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів |
| title_full_unstemmed | Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів |
| title_short | Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів |
| title_sort | особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів |
| topic | Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем |
| topic_facet | Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/7136 |
| work_keys_str_mv | AT docenkova osoblivostízastosuvannâkonstruktivnogoalgoritmuzvorotnogometodudlâsekvencíinogočislennâpredikatív AT docenkova osobennostiprimeneniâkonstruktivnogoalgoritmaobratnogometodadlâsekvencialʹnogoisčisleniâpredikatov |