|
Итоги науки и техники. Современная математика и ее приложения. Тематические обзоры, 2018, том 158, страницы 23–39
(Mi into411)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Спектры степеней структур
И. Ш. Калимуллинa, В. Л. Селивановba, А. Н. Фроловa a Казанский (Приволжский) федеральный университет
b Институт систем информатики им. А. П. Ершова СО РАН, г. Новосибирск
Аннотация:
В обзоре обсуждаются спектры вычислимости счетных структур, дающие естественную меру сложности невычислимых структур. Понятие спектра структуры является основным инструментом исследования алгоритмических свойств счетных структур. Наряду с обзором имеющихся результатов приведем доказательства нескольких новых результатов, иллюстрирующих вариант метода интерпретаций, являющийся основным методом данного направления. Обсуждаются некоторые открытые вопросы.
Ключевые слова:
структура, вычислимая структура, спектр структуры, интерпретация.
Образец цитирования:
И. Ш. Калимуллин, В. Л. Селиванов, А. Н. Фролов, “Спектры степеней структур”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 158, ВИНИТИ РАН, М., 2018, 23–39; J. Math. Sci. (N. Y.), 256:2 (2021), 143–159
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/into411 https://www.mathnet.ru/rus/into/v158/p23
|
Статистика просмотров: |
Страница аннотации: | 267 | PDF полного текста: | 74 | Список литературы: | 25 | Первая страница: | 4 |
|