ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
1999, ТОМ 5, ВЫПУСК 4, СТР. 1191-1197

К логическому описанию геометрических фигур

А. А. Шакиров

Аннотация

Посмотреть как HTML    Посмотреть как рисунок    Посмотреть в формате LaTeX

В работе исследуется проблема эквивалентности для формул логики предикатов, используемых при описании геометрических объектов, построенных из заданного набора базисных фигур с помощью теоретико-множественных операций $\cap,\cup,\overline{\phantom{a}}$. Устанавливается, что для конечного базиса в классе формул указанного вида с ограниченным числом переменных имеется конечная полная система тождеств.

Полнотекстовая версия статьи в формате PostScript (42 Kb)



Главная страница Содержание журнала Новости Поиск

URL страницы: http://mech.math.msu.su/~fpm/rus/99/994/99414t.htm
Изменения вносились 9 декабря 1999