Ресурсы из категории "510.52 Сложность алгоритмов"

Группировка по: Авторы | Тип объекта
Перейти к: Г | Д | К | Р
Количество объектов на этом уровне: 8.

Г

Горбунов, И.А. (2017) ЭФФЕКТИВНЫЙ КРИТЕРИЙ ДЕДУКТИВНОСТИ МНОЖЕСТВ ФОРМУЛ ЛОГИКИ. Вестник ТвГУ. Серия: Прикладная математика (1). С. 95-103. ISSN 1995-0136

Горбунов, И.А. (2018) КВАЗИНОРМАЛЬНЫЕ НАПАРНИКИ МОДАЛЬНЫХ ЛОГИК K4 И GL. Вестник ТвГУ. Серия: Прикладная математика (4). С. 98-110. ISSN 1995-0136

Д

Дудаков, С.М. (2003) Сложность обновлений дедуктивных баз данных с фиксированным ограничением целостности. Вестник ТвГУ. Серия: Прикладная математика (1). С. 16-27. ISSN 1995-0136

Дудаков, С.М. (2009) Алгоритмическая сложность NP-трудных множеств. Вестник ТвГУ. Серия: Прикладная математика (13). С. 97-101. ISSN 1995-0136

К

Котикова, Е.А. и Рыбаков, М.Н. (2016) МОДЕЛИРОВАНИЕ АРИФМЕТИКИ В ЯЗЫКЕ ПЕРВОГО ПОРЯДКА, ОБОГАЩЕННОМ ТЕМПОРАЛЬНЫМИ КВАНТОРАМИ. Вестник ТвГУ. Серия: Прикладная математика (4). С. 5-19. ISSN 1995-0136

Р

Рыбаков, М.Н. (2018) АКСИОМАТИЗИРУЕМОСТЬ НЕНОРМАЛЬНЫХ И КВАЗИНОРМАЛЬНЫХ МОДАЛЬНЫХ ПРЕДИКАТНЫХ ЛОГИК ПЕРВОПОРЯДКОВО ОПРЕДЕЛИМЫХ КЛАССОВ ШКАЛ КРИПКЕ. Вестник ТвГУ. Серия: Прикладная математика (3). С. 81-94. ISSN 1995-0136

Рыбаков, М.Н. (2018) АЛГОРИТМИЧЕСКИЕ СВОЙСТВА ЛИНЕЙНО АППРОКСИМИРУЕМЫХ КВАЗИНОРМАЛЬНЫХ МОДАЛЬНЫХ ЛОГИК. Вестник ТвГУ. Серия: Прикладная математика (4). С. 87-97. ISSN 1995-0136

Рыбаков, М.Н. (2021) Сложность проблемы равенства слов в многообразиях модальных алгебр. Вестник ТвГУ. Серия: Прикладная математика (3). С. 5-17. ISSN 1995-0136

Этот список был создан Thu Nov 21 12:00:04 2024 MSK.