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

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

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



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






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


УМН, 2001, том 56, выпуск 4(340), страницы 35–72 (Mi umn415)  

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

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

А. Г. Пинус

Новосибирский государственный технический университет

Аннотация: На основе понятия условного терма формализуется понятие программно вычислимой функции на универсальной алгебре. Это даёт некоторый новый подход к зучению традиционных алгебраических вопросов относительно как универсальных классов, так и отдельных конечных алгебр, а также возможность постановки и исследования вопроса о вычислительных возможностях универсальных алгебр.
Библиография: 66 названий.

DOI: https://doi.org/10.4213/rm415

Полный текст: PDF файл (479 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Russian Mathematical Surveys, 2001, 56:4, 649–686

Реферативные базы данных:

УДК: 512.53
MSC: Primary 03C05, 08-02; Secondary 08B05, 08C05, 08A40, 08A70
Поступила в редакцию: 30.10.2000

Образец цитирования: А. Г. Пинус, “Условные термы и их приложения в алгебре и в теории вычислений”, УМН, 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/umn415}
\crossref{https://doi.org/10.4213/rm415}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=1861440}
\zmath{https://zbmath.org/?q=an:1023.08006}
\adsnasa{http://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{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000172882900002}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-0035632937}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/umn415
  • https://doi.org/10.4213/rm415
  • http://mi.mathnet.ru/rus/umn/v56/i4/p35

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. Пинус А.Г., Журков С.В., “О длине шкал потенциалов вычислимости $n$-элементных алгебр”, Сиб. матем. журн., 43:4 (2002), 858–863  mathnet  mathscinet  zmath; Pinus A.G., Zhurkov S.V., “On the length of scales of computability potentials for $n$-element algebras”, Sib. Math. J., 43:4 (2002), 689–693  crossref  mathscinet  zmath  isi  scopus  scopus
    2. А. Г. Пинус, С. В. Журков, “Шкалы потенциалов вычислимости конечных алгебр: результаты и проблемы”, Фундамент. и прикл. матем., 9:3 (2003), 145–164  mathnet  mathscinet  zmath  elib; A. G. Pinus, S. V. Zhurkov, “The scales of computability potentials: results and problems”, J. Math. Sci., 135:5 (2006), 3363–3376  crossref
    3. С. В. Журков, А. Г. Пинус, “Об автоморфизмах шкал потенциалов вычислимости $n$-элементных алгебр”, Сиб. матем. журн., 44:3 (2003), 606–621  mathnet  mathscinet  zmath; S. V. Zhurkov, A. G. Pinus, “On automorphisms of computability potential scales for $n$-element algebras”, Siberian Math. J., 44:3 (2003), 477–489  crossref  isi
    4. А. Г. Пинус, “О собственных автоморфизмах универсальных алгебр”, Сиб. матем. журн., 45:6 (2004), 1329–1337  mathnet  mathscinet  zmath; A. G. Pinus, “Proper automorphisms of universal algebras”, Siberian Math. J., 45:6 (2004), 1084–1090  crossref  isi
    5. А. Г. Пинус, “О неявных условных операциях на псевдоуниверсальных классах”, Фундамент. и прикл. матем., 10:4 (2004), 171–182  mathnet  mathscinet  zmath  elib; A. G. Pinus, “On the implicit conditional operations defined on pseudouniversal classes”, J. Math. Sci., 140:2 (2007), 295–302  crossref  elib
    6. А. Г. Пинус, “Шкалы потенциалов вычислимости $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
    7. А. Г. Пинус, “О формульности производных объектов на универсальных алгебрах”, Изв. вузов. Матем., 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
    8. А. Г. Пинус, “Шкалы потенциалов вычислимости всех конечных алгебр”, Сиб. матем. журн., 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
    9. А. Г. Пинус, “Универсальные алгебры и идеалы шкалы потенциалов вычислимости всех конечных алгебр”, Вестн. НГУ. Сер. матем., мех., информ., 7:2 (2007), 88–94  mathnet
    10. А. Г. Пинус, “Автоморфизмы, формульные отношения и покрытия элементов шкалы потенциалов вычислимости всех конечных алгебр”, Алгебра и логика, 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
    11. А. Г. Пинус, “О шкале потенциалов локальной вычислимости алгебр”, Фундамент. и прикл. матем., 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
    12. А. Г. Пинус, “Об элементарной теории шкалы потенциалов вычислимости всех конечных алгебр”, Вестн. НГУ. Сер. матем., мех., информ., 9:2 (2009), 88–93  mathnet
    13. А. Г. Пинус, “Неявные операции над категориями универсальных алгебр”, Сиб. матем. журн., 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
    14. А. Г. Пинус, “Новые алгебраические инварианты для формульных подмножеств универсальных алгебр”, Алгебра и логика, 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
    15. А. Г. Пинус, “Неявные $\overline{\mathcal{K}}$-многообразия”, Известия Иркутского государственного университета. Серия Математика, 4:3 (2011), 110–115  mathnet
    16. А. Г. Пинус, “О Галуа-соответствии между неявными операциями и категориями универсальных алгебр”, Вестн. НГУ. Сер. матем., мех., информ., 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
    17. А. Г. Пинус, “Алгебраическая и логическая геометрии универсальных алгебр (унифицированный подход)”, Фундамент. и прикл. матем., 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
    18. А. Г. Пинус, “Неявная алгебраическая геометрия на категориях универсальных алгебр”, Изв. вузов. Матем., 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
    19. А. Г. Пинус, “Точечно термально полные клоны функций и решетки решеток всех подалгебр алгебр с фиксированным основным множеством”, Известия Иркутского государственного университета. Серия Математика, 5:3 (2012), 94–103  mathnet
    20. А. Г. Пинус, “Рациональная эквивалентность алгебр, ее “клоновые” обобщения и “клоновая” категоричность”, Сиб. матем. журн., 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
    21. А. Г. Пинус, “Некоторые применения языка логики второго порядка в универсальной алгебре”, Известия Иркутского государственного университета. Серия Математика, 7 (2014), 79–84  mathnet
    22. А. Г. Пинус, “Определимые функции универсальных алгебр и определимая эквивалентность алгебр”, Алгебра и логика, 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
    23. А. Г. Пинус, “Об одном из логических замыканий на универсальных алгебрах”, Сиб. электрон. матем. изв., 12 (2015), 698–703  mathnet  crossref
    24. А. Г. Пинус, “О логической эквивалентности функциональных клонов”, Сиб. матем. журн., 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
  • Успехи математических наук Russian Mathematical Surveys
    Просмотров:
    Эта страница:334
    Полный текст:123
    Литература:16
    Первая стр.:1
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020