Выполнимость ярких формул
Досліджується один із розв'язних підкласів кванторних формул у чистому численні предикатів. Отримано необхідну та достатню умову здійсненності для формул, що входять до нього. We investigate one solvable subclass of quantified formulas in pure predicate calculus and obtain a necessary and suffi...
Gespeichert in:
| Veröffentlicht in: | Український математичний журнал |
|---|---|
| Datum: | 2007 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут математики НАН України
2007
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/172501 |
| 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. — Т. 59, № 10. — С. 1432–1435. — Бібліогр.: 4 назв. — рос. |
Institution
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 |