Ресурсы из категории "510.53 Алгоритмические проблемы; алгоритмическая теория множеств"
- УДК (13031)
- 5 Математика. Естественные науки (2674)
- 51 Математика (509)
- 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. (65)
- 510.5 Теория алгоритмов и вычислимые функции (13)
- 510.53 Алгоритмические проблемы; алгоритмическая теория множеств (3)
- 510.5 Теория алгоритмов и вычислимые функции (13)
- 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. (65)
- 51 Математика (509)
- 5 Математика. Естественные науки (2674)
Группировка по: Авторы | Тип объекта
Перейти к: Статья
Количество объектов на этом уровне: 3.
Статья
Авхимович, Н.В. (2022) О разрешимости теории конечных подмножеств для дискретного линейного порядка. Вестник ТвГУ. Серия: Прикладная математика (3). С. 91-104. ISSN 1995-0136
Варжавинова, С.И. и Ирхин, В.Н. (2012) Технология формирования алгоритмической культуры будущих учителей в процессе дистанционного обучения. Вестник ТвГУ. Серия: Педагогика и психология (1). С. 166-171. ISSN 1999-4133
Дудаков, С.М. (2015) СИЛЬНАЯ МИНИМАЛЬНОСТЬ И IFP-БЕЗОПАСНОСТЬ. Вестник ТвГУ. Серия: Прикладная математика (3). С. 25-32. ISSN 1995-0136