Фундаментальная и прикладная математика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов
Историческая справка

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Фундамент. и прикл. матем.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Фундаментальная и прикладная математика, 1999, том 5, выпуск 4, страницы 1191–1197 (Mi fpm439)  
К логическому описанию геометрических фигур

А. А. Шакиров

Московский государственный университет им. М. В. Ломоносова
PDF полного текста (328 kB)
Аннотация: В работе исследуется проблема эквивалентности для формул логики предикатов, используемых при описании геометрических объектов, построенных из заданного набора базисных фигур с помощью теоретико-множественных операций $\cap,\cup,\overline{\phantom{a}}$. Устанавливается, что для конечного базиса в классе формул указанного вида с ограниченным числом переменных имеется конечная полная система тождеств.
Ключевые слова: логическое описание геометрических фигур, конечная система тождеств, проблема эквивалентности для формул логики предикатов.
Поступила в редакцию: 01.02.1996
Реферативные базы данных:
УДК: 519.717
Образец цитирования: А. А. Шакиров, “К логическому описанию геометрических фигур”, Фундамент. и прикл. матем., 5:4 (1999), 1191–1197
Цитирование в формате AMSBIB
\RBibitem{Sha99}
\by А.~А.~Шакиров
\paper К логическому описанию геометрических фигур
\jour Фундамент. и прикл. матем.
\yr 1999
\vol 5
\issue 4
\pages 1191--1197
\mathnet{http://mi.mathnet.ru/fpm439}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1782961}
\zmath{https://zbmath.org/?q=an:0960.03005}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/fpm439
  • https://www.mathnet.ru/rus/fpm/v5/i4/p1191
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Фундаментальная и прикладная математика
    Статистика просмотров:
    Страница аннотации:507
    PDF полного текста:147
    Первая страница:2
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024