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

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

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


Вестн. Моск. ун-та. Сер. 1. Матем., мех.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Вестник Московского университета. Серия 1: Математика. Механика, 2009, номер 5, страницы 25–32 (Mi vmumm898)  
Математика

Эквивалентные преобразования формул в $P_2$

А. Б. Угольников

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет
PDF полного текста (285 kB)
Аннотация: В работе дается новое доказательство теоремы Р. К. Линдона о конечной базируемости классов тождеств над конечными системами булевых функций. Оригинальное доказательство этой теоремы опирается на описание Э. Л. Поста множества всех замкнутых классов функций алгебры логики. Дж. Берман привел доказательство теоремы Линдона, не опирающееся на описание структуры Поста, но использующее при этом ряд результатов из универсальной алгебры.
Ключевые слова: формулы, тождества, эквивалентные преобразования.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 08-01-00863
Министерство образования и науки Российской Федерации НШ-4470.2008.1
Работа выполнена при финансовой поддержке РФФИ (проект № 08-01-00863) и программы “Ведущие научные школы РФ” (проект НШ-4470.2008.1).
Поступила в редакцию: 14.04.2009
Реферативные базы данных:
Тип публикации: Статья
УДК: 519.7
Образец цитирования: А. Б. Угольников, “Эквивалентные преобразования формул в $P_2$”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2009, № 5, 25–32
Цитирование в формате AMSBIB
\RBibitem{Ugo09}
\by А.~Б.~Угольников
\paper Эквивалентные преобразования формул в $P_2$
\jour Вестн. Моск. ун-та. Сер.~1. Матем., мех.
\yr 2009
\issue 5
\pages 25--32
\mathnet{http://mi.mathnet.ru/vmumm898}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2664548}
\zmath{https://zbmath.org/?q=an:1304.03073}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vmumm898
  • https://www.mathnet.ru/rus/vmumm/y2009/i5/p25
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:73
    PDF полного текста:35
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024