Ресурсы из категории "510.65 Логико-математические теории"
- УДК (13272)
- 5 Математика. Естественные науки (2699)
- 51 Математика (513)
- 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. (66)
- 510.6 Математическая логика (53)
- 510.65 Логико-математические теории (9)
- 510.6 Математическая логика (53)
- 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. (66)
- 51 Математика (513)
- 5 Математика. Естественные науки (2699)
Статья
Авхимович, Н.В. (2022) О разрешимости теории конечных подмножеств для дискретного линейного порядка. Вестник ТвГУ. Серия: Прикладная математика (3). С. 91-104. ISSN 1995-0136
Дудаков, С.М. (2025) О теориях алгебр подмножеств и решёток подпространств в конечных линейных пространствах. Вестник ТвГУ. Серия: Прикладная математика (1). С. 5-13. ISSN 1995-0136
Дудаков, С.М. (2021) О теории моноида конечных подмножеств для одной абелевой группы кручения. Вестник ТвГУ. Серия: Прикладная математика (2). С. 39-55. ISSN 1995-0136
Карлов, Б.Н. (2024) О разрешимых и неразрешимых теориях языков. Вестник ТвГУ. Серия: Прикладная математика (4). С. 30-39. ISSN 1995-0136