Выполнимость ярких формул
Досліджується один із розв'язних підкласів кванторних формул у чистому численні предикатів. Отримано необхідну та достатню умову здійсненності для формул, що входять до нього. We investigate one solvable subclass of quantified formulas in pure predicate calculus and obtain a necessary and suffi...
Збережено в:
| Опубліковано в: : | Український математичний журнал |
|---|---|
| Дата: | 2007 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут математики НАН України
2007
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/172501 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Выполнимость ярких формул / А.С. Денисов // Український математичний журнал. — 2007. — Т. 59, № 10. — С. 1432–1435. — Бібліогр.: 4 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862536676205658112 |
|---|---|
| author | Денисов, А.С. |
| author_facet | Денисов, А.С. |
| citation_txt | Выполнимость ярких формул / А.С. Денисов // Український математичний журнал. — 2007. — Т. 59, № 10. — С. 1432–1435. — Бібліогр.: 4 назв. — рос. |
| collection | DSpace DC |
| container_title | Український математичний журнал |
| description | Досліджується один із розв'язних підкласів кванторних формул у чистому численні предикатів. Отримано необхідну та достатню умову здійсненності для формул, що входять до нього.
We investigate one solvable subclass of quantified formulas in pure predicate calculus and obtain a necessary and sufficient condition for the satisfiability of formulas from this subclass.
|
| first_indexed | 2025-11-24T11:39:54Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-172501 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1027-3190 |
| language | Russian |
| last_indexed | 2025-11-24T11:39:54Z |
| publishDate | 2007 |
| publisher | Інститут математики НАН України |
| record_format | dspace |
| spelling | Денисов, А.С. 2020-11-02T16:53:29Z 2020-11-02T16:53:29Z 2007 Выполнимость ярких формул / А.С. Денисов // Український математичний журнал. — 2007. — Т. 59, № 10. — С. 1432–1435. — Бібліогр.: 4 назв. — рос. 1027-3190 https://nasplib.isofts.kiev.ua/handle/123456789/172501 510.51 Досліджується один із розв'язних підкласів кванторних формул у чистому численні предикатів. Отримано необхідну та достатню умову здійсненності для формул, що входять до нього. We investigate one solvable subclass of quantified formulas in pure predicate calculus and obtain a necessary and sufficient condition for the satisfiability of formulas from this subclass. ru Інститут математики НАН України Український математичний журнал Короткі повідомлення Выполнимость ярких формул Satisfiability of bright formulas Article published earlier |
| spellingShingle | Выполнимость ярких формул Денисов, А.С. Короткі повідомлення |
| title | Выполнимость ярких формул |
| title_alt | Satisfiability of bright formulas |
| title_full | Выполнимость ярких формул |
| title_fullStr | Выполнимость ярких формул |
| title_full_unstemmed | Выполнимость ярких формул |
| title_short | Выполнимость ярких формул |
| title_sort | выполнимость ярких формул |
| topic | Короткі повідомлення |
| topic_facet | Короткі повідомлення |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/172501 |
| work_keys_str_mv | AT denisovas vypolnimostʹârkihformul AT denisovas satisfiabilityofbrightformulas |