Items where Subject is "510.52 Сложность алгоритмов"
![[up]](/style/images/multi_up.png)
Up a level- УДК (13283)
- 5 Математика. Естественные науки (2700)
- 51 Математика (514)
- 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. (66)
- 510.5 Теория алгоритмов и вычислимые функции (13)
- 510.52 Сложность алгоритмов (8)
- 510.5 Теория алгоритмов и вычислимые функции (13)
- 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. (66)
- 51 Математика (514)
- 5 Математика. Естественные науки (2700)
Г
Горбунов, И.А. (2017) ЭФФЕКТИВНЫЙ КРИТЕРИЙ ДЕДУКТИВНОСТИ МНОЖЕСТВ ФОРМУЛ ЛОГИКИ. Вестник ТвГУ. Серия: Прикладная математика (1). pp. 95-103. ISSN 1995-0136
Горбунов, И.А. (2018) КВАЗИНОРМАЛЬНЫЕ НАПАРНИКИ МОДАЛЬНЫХ ЛОГИК K4 И GL. Вестник ТвГУ. Серия: Прикладная математика (4). pp. 98-110. ISSN 1995-0136
Д
Дудаков, С.М. (2003) Сложность обновлений дедуктивных баз данных с фиксированным ограничением целостности. Вестник ТвГУ. Серия: Прикладная математика (1). pp. 16-27. ISSN 1995-0136
Дудаков, С.М. (2009) Алгоритмическая сложность NP-трудных множеств. Вестник ТвГУ. Серия: Прикладная математика (13). pp. 97-101. ISSN 1995-0136
К
Котикова, Е.А. and Рыбаков, М.Н. (2016) МОДЕЛИРОВАНИЕ АРИФМЕТИКИ В ЯЗЫКЕ ПЕРВОГО ПОРЯДКА, ОБОГАЩЕННОМ ТЕМПОРАЛЬНЫМИ КВАНТОРАМИ. Вестник ТвГУ. Серия: Прикладная математика (4). pp. 5-19. ISSN 1995-0136
Р
Рыбаков, М.Н. (2018) АКСИОМАТИЗИРУЕМОСТЬ НЕНОРМАЛЬНЫХ И КВАЗИНОРМАЛЬНЫХ МОДАЛЬНЫХ ПРЕДИКАТНЫХ ЛОГИК ПЕРВОПОРЯДКОВО ОПРЕДЕЛИМЫХ КЛАССОВ ШКАЛ КРИПКЕ. Вестник ТвГУ. Серия: Прикладная математика (3). pp. 81-94. ISSN 1995-0136
Рыбаков, М.Н. (2018) АЛГОРИТМИЧЕСКИЕ СВОЙСТВА ЛИНЕЙНО АППРОКСИМИРУЕМЫХ КВАЗИНОРМАЛЬНЫХ МОДАЛЬНЫХ ЛОГИК. Вестник ТвГУ. Серия: Прикладная математика (4). pp. 87-97. ISSN 1995-0136
Рыбаков, М.Н. (2021) Сложность проблемы равенства слов в многообразиях модальных алгебр. Вестник ТвГУ. Серия: Прикладная математика (3). pp. 5-17. ISSN 1995-0136