|
|
Вычислимые линейные порядки и линейно-упорядоченные структуры
21 сентября 2019 г., г. Казань, ул. Кремлевская, 35, Казанский (Приволжский) федеральный университет, ауд. 509
|
|
|
 |
|
|
|
Алгоритмические свойства отношений на вычислимых линейных порядках
А. Н. Фролов |
|
Аннотация:
В докладе рассматривается ряд естественных отношений и их модификаций на вычислимых линейных порядках. Получены точные оценки тьюринговой сложности некоторых из них. Имеются некоторые связи с начальными сегментами вычислимых линейных порядков.
|
|
Обратная связь: