ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
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