2017
Том 69
№ 5

Всі номери

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

Денисов А. С.

Повний текст (.pdf)


Абстракт

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

Англомовна версія (Springer): Ukrainian Mathematical Journal 59 (2007), no. 10, pp 1606-1610.

Зразок цитування: Денисов А. С. Выполнимость ярких формул // Укр. мат. журн. - 2007. - 59, № 10. - С. 1432–1435.

Повний текст