Выполнимость ярких формул

Домашня сторінка
→
Фізико-технічні та математичні науки
→
Відділення математики
→
Український математичний журнал
→
Український математичний журнал, 2007, том 59
→
Український математичний журнал, 2007, № 10
→
Переглянути статтю

Выполнимость ярких формул

Денисов, А.С.

Інші назви: Satisfiability of bright formulas

Тема: Короткі повідомлення

УДК: 510.51

URI: http://dspace.nbuv.gov.ua/handle/123456789/172501

Посилання: Выполнимость ярких формул / А.С. Денисов // Український математичний журнал. — 2007. — Т. 59, № 10. — С. 1432–1435. — Бібліогр.: 4 назв. — рос.

Дата: 2007

Завантажень: 151

Выполнимость ярких формул

Анотація:

Досліджується один із розв'язних підкласів кванторних формул у чистому численні предикатів. Отримано необхідну та достатню умову здійсненності для формул, що входять до нього.

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.

Показати повний запис статті