РУАЭСТ (RUAEST)
Облако ключевых слов*
* - вычисляется автоматически
Недавно смотрели:
АРИФМЕТИЧЕСКАЯ РЕАЛИЗУЕМОСТЬ И ПРИМИТИВНО-РЕКУРСИВНАЯ РЕАЛИЗУЕМОСТЬ
Доказывается, что семантика логики предикатов, основанная на абсолютной арифметической реализуемости, отлична от семантики, основанной на примитивно-рекурсивной реализуемости по Салехи.
Авторы
Тэги
конструктивная семантика
абсолютная реализуемость
формальная арифметика
арифметическая реализуемость
примитивно-рекурсивная реализуемость
Тематические рубрики
Предметные рубрики
В этом же номере:
ОБ ОПИСАНИИ ПОТЕНЦИАЛЬНОГО ВЕКТОРНОГО ПОЛЯ БЕЗ ИСТОЧНИКОВ ВБЛИЗИ НУЛЕВЫХ ТОЧЕК ВЫСШИХ ПОРЯДКОВ В ПРОСТРАНСТВЕ,
О РАВНОМЕРНО НОРМАЛЬНЫХ ПРОСТРАНСТВАХ,
...
Резюме по документу**
** - вычисляется автоматически, возможны погрешности
Похожие документы: