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

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

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



УМН:
Год:
Том:
Выпуск:
Страница:
Найти






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


Успехи математических наук, 2001, том 56, выпуск 4(340), страницы 35–72
DOI: https://doi.org/10.4213/rm415
(Mi rm415)
 

Эта публикация цитируется в 25 научных статьях (всего в 25 статьях)

Условные термы и их приложения в алгебре и в теории вычислений

А. Г. Пинус

Новосибирский государственный технический университет
Список литературы:
Аннотация: На основе понятия условного терма формализуется понятие программно вычислимой функции на универсальной алгебре. Это даёт некоторый новый подход к зучению традиционных алгебраических вопросов относительно как универсальных классов, так и отдельных конечных алгебр, а также возможность постановки и исследования вопроса о вычислительных возможностях универсальных алгебр.
Библиография: 66 названий.
Поступила в редакцию: 30.10.2000
Англоязычная версия:
Russian Mathematical Surveys, 2001, Volume 56, Issue 4, Pages 649–686
DOI: https://doi.org/10.1070/RM2001v056n04ABEH000415
Реферативные базы данных:
Тип публикации: Статья
УДК: 512.53
MSC: Primary 03C05, 08-02; Secondary 08B05, 08C05, 08A40, 08A70
Образец цитирования: А. Г. Пинус, “Условные термы и их приложения в алгебре и в теории вычислений”, УМН, 56:4(340) (2001), 35–72; Russian Math. Surveys, 56:4 (2001), 649–686
Цитирование в формате AMSBIB
\RBibitem{Pin01}
\by А.~Г.~Пинус
\paper Условные термы и их приложения в~алгебре и в~теории вычислений
\jour УМН
\yr 2001
\vol 56
\issue 4(340)
\pages 35--72
\mathnet{http://mi.mathnet.ru/rm415}
\crossref{https://doi.org/10.4213/rm415}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1861440}
\zmath{https://zbmath.org/?q=an:1023.08006}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?2001RuMaS..56..649P}
\transl
\jour Russian Math. Surveys
\yr 2001
\vol 56
\issue 4
\pages 649--686
\crossref{https://doi.org/10.1070/RM2001v056n04ABEH000415}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000172882900002}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-0035632937}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/rm415
  • https://doi.org/10.4213/rm415
  • https://www.mathnet.ru/rus/rm/v56/i4/p35
  • Эта публикация цитируется в следующих 25 статьяx:
    1. А. Г. Пинус, “Об окрестностях и изолированных точках в пространствах функциональных клонов на множествах”, Алгебра и логика, 59:3 (2020), 334–343  mathnet  crossref; A. G. Pinus, “Neighborhoods and isolated points in spaces of functional clones on sets”, Algebra and Logic, 59:3 (2020), 230–236  crossref  isi
    2. А. Г. Пинус, “О логической эквивалентности функциональных клонов”, Сиб. матем. журн., 58:4 (2017), 864–869  mathnet  crossref  elib; A. G. Pinus, “On the logical equivalence of functional clones”, Siberian Math. J., 58:4 (2017), 672–675  crossref  isi  elib
    3. А. Г. Пинус, “Об одном из логических замыканий на универсальных алгебрах”, Сиб. электрон. матем. изв., 12 (2015), 698–703  mathnet  crossref
    4. А. Г. Пинус, “Некоторые применения языка логики второго порядка в универсальной алгебре”, Известия Иркутского государственного университета. Серия Математика, 7 (2014), 79–84  mathnet
    5. А. Г. Пинус, “Определимые функции универсальных алгебр и определимая эквивалентность алгебр”, Алгебра и логика, 53:2 (2014), 256–270  mathnet  mathscinet; A. G. Pinus, “Definable functions of universal algebras and definable equivalence between algebras”, Algebra and Logic, 53:2 (2014), 166–175  crossref  isi
    6. А. Г. Пинус, “Рациональная эквивалентность алгебр, ее “клоновые” обобщения и “клоновая” категоричность”, Сиб. матем. журн., 54:3 (2013), 673–688  mathnet  mathscinet; A. G. Pinus, “Rational equivalence of algebras, its clone generalizations, and clone categoricity”, Siberian Math. J., 54:3 (2013), 533–544  crossref  isi
    7. А. Г. Пинус, “Алгебраическая и логическая геометрии универсальных алгебр (унифицированный подход)”, Фундамент. и прикл. матем., 17:1 (2012), 189–204  mathnet; A. G. Pinus, “The algebraic and logical geometries of universal algebras (a unified approach)”, J. Math. Sci., 185:3 (2012), 473–483  crossref
    8. А. Г. Пинус, “Неявная алгебраическая геометрия на категориях универсальных алгебр”, Изв. вузов. Матем., 2012, № 5, 40–45  mathnet  mathscinet; A. G. Pinus, “Implicit algebraic geometry of universal algebras”, Russian Math. (Iz. VUZ), 56:5 (2012), 34–38  crossref
    9. А. Г. Пинус, “Точечно термально полные клоны функций и решетки решеток всех подалгебр алгебр с фиксированным основным множеством”, Известия Иркутского государственного университета. Серия Математика, 5:3 (2012), 94–103  mathnet
    10. А. Г. Пинус, “Новые алгебраические инварианты для формульных подмножеств универсальных алгебр”, Алгебра и логика, 50:2 (2011), 209–230  mathnet  mathscinet  zmath  elib; A. G. Pinus, “New algebraic invariants for definable subsets in universal algebra”, Algebra and Logic, 50:2 (2011), 146–160  crossref  isi
    11. А. Г. Пинус, “Неявные ¯K-многообразия”, Известия Иркутского государственного университета. Серия Математика, 4:3 (2011), 110–115  mathnet
    12. А. Г. Пинус, “О Галуа-соответствии между неявными операциями и категориями универсальных алгебр”, Вестн. НГУ. Сер. матем., мех., информ., 11:3 (2011), 146–152  mathnet; A. G. Pinus, “On the Galois-Correspondence between Implicit Operations and Categories of Universal Algebras”, J. Math. Sci., 195:6 (2013), 851–856  crossref
    13. А. Г. Пинус, “О шкале потенциалов локальной вычислимости алгебр”, Фундамент. и прикл. матем., 15:1 (2009), 135–145  mathnet  mathscinet; A. G. Pinus, “On the scale of local computability potentials of algebras”, J. Math. Sci., 166:6 (2010), 779–786  crossref  elib
    14. А. Г. Пинус, “Об элементарной теории шкалы потенциалов вычислимости всех конечных алгебр”, Вестн. НГУ. Сер. матем., мех., информ., 9:2 (2009), 88–93  mathnet
    15. А. Г. Пинус, “Неявные операции над категориями универсальных алгебр”, Сиб. матем. журн., 50:1 (2009), 146–153  mathnet  mathscinet  elib; A. G. Pinus, “Implicit operations on the categories of universal algebras”, Siberian Math. J., 50:1 (2009), 117–122  crossref  isi  elib
    16. А. Г. Пинус, “Автоморфизмы, формульные отношения и покрытия элементов шкалы потенциалов вычислимости всех конечных алгебр”, Алгебра и логика, 47:4 (2008), 464–474  mathnet  mathscinet  zmath  elib; A. G. Pinus, “Automorphisms, definable relations, and covers of elements of the computability potential scale for all finite algebras”, Algebra and Logic, 47:4 (2008), 263–268  crossref  isi  elib
    17. А. Г. Пинус, “Шкалы потенциалов вычислимости всех конечных алгебр”, Сиб. матем. журн., 48:3 (2007), 668–673  mathnet  mathscinet  zmath  elib; A. G. Pinus, “The computability potential scale of all finite algebras”, Siberian Math. J., 48:3 (2007), 539–543  crossref  isi  elib
    18. А. Г. Пинус, “Универсальные алгебры и идеалы шкалы потенциалов вычислимости всех конечных алгебр”, Вестн. НГУ. Сер. матем., мех., информ., 7:2 (2007), 88–94  mathnet
    19. А. Г. Пинус, “О формульности производных объектов на универсальных алгебрах”, Изв. вузов. Матем., 2006, № 3, 36–40  mathnet  mathscinet  zmath  elib; A. G. Pinus, “Definability by formulas of derived objects on universal algebras”, Russian Math. (Iz. VUZ), 50:3 (2006), 34–38
    20. А. Г. Пинус, “Шкалы потенциалов вычислимости n-элементных алгебр с ограничениями на арность”, Сиб. матем. журн., 46:1 (2005), 177–184  mathnet  mathscinet  zmath; A. G. Pinus, “Computability potential scales of n-element algebras with restrictions on arity”, Siberian Math. J., 46:1 (2005), 142–147  crossref  isi
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Успехи математических наук Russian Mathematical Surveys
    Статистика просмотров:
    Страница аннотации:575
    PDF русской версии:250
    PDF английской версии:30
    Список литературы:58
    Первая страница:1
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025