Если Вы внесли какие-либо изменения в Pure, они скоро будут видимы здесь.

Отпечаток Узнайте самые подробные результаты анализа активности Светлана Анатольевна Александрова. Указанные в этом разделе метке относятся к действиям этого человека. Вместе они формируют уникальную картину его активности.

  • 1 Похожие профили
Computable Analysis Математика
Definability Математика
Decidability Математика
Sort Математика
Signature Математика
First-order Математика
Binary operation Математика
Nil Математика

Сеть Недавняя внешняя коллаборация на уровне стран. Углубитесь в детали нажатием на точки.

Результат исследований 2018 2019

  • 2 статья

On Decidability of List Structures

Aleksandrova, S. A. & Bazhenov, N. A., 1 мая 2019, В : Siberian Mathematical Journal. 60, 3, стр. 377-388 12 стр.

Результат исследования: Научные публикации в периодических изданияхстатья

Decidability
Sort
Signature
First-order
Binary operation

Σ-Definability in Hereditarily Finite Superstructures and Computable Analysis

Aleksandrova, S. A., 1 сен 2018, В : Siberian Mathematical Journal. 59, 5, стр. 763-767 5 стр.

Результат исследования: Научные публикации в периодических изданияхстатья

Computable Analysis
Definability

Дипломная работа

Σ-определимость в наследственно конечных надстройках над расширениями поля действительных чисел

Автор: Александрова, С. А., 23 авг 2019

Научный руководитель: Гончаров, С. С. (Научный руководитель)

Квалификационная работа: ДиссертацияКандидатская диссертация