Ресурсы подразделения "Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики" за 2016-й год
Перейти к: Статья Количество объектов: 3. СтатьяДадеркин, Д.О. (2016) ЭФФЕКТИВНЫЕ АЛГОРИТМЫ ПОСТРОЕНИЯ ТЕРМОВ МИНИМАЛЬНОЙ ВЫЧИСЛИТЕЛЬНОЙ СЛОЖНОСТИ. Вестник ТвГУ. Серия: Прикладная математика (4). С. 21-33. ISSN 1995-0136 Золотов, А.С. (2016) О ПРИМЕНЕНИИ КОНЕЧНЫХ АВТОМАТОВ К ИССЛЕДОВАНИЮ РАЗРЕШИМОСТИ ТЕОРИИ С ОПЕРАТОРОМ ФИКСИРОВАННОЙ ТОЧКИ. Вестник ТвГУ. Серия: Прикладная математика (1). С. 103-115. ISSN 1995-0136 Золотов, А.С. (2016) О НИЖНЕЙ ГРАНИЦЕ ВРЕМЕННОЙ СЛОЖНОСТИ ПРОБЛЕМЫ РАЗРЕШИМОСТИ ТЕОРИИ ЦЕЛЫХ ЧИСЕЛ С ФУНКЦИЕЙ СЛЕДОВАНИЯ И ОПЕРАТОРОМ НАИМЕНЬШЕЙ ФИКСИРОВАННОЙ ТОЧКИ. Вестник ТвГУ. Серия: Прикладная математика (3). С. 97-109. ISSN 1995-0136 |