LogoTver State University Repository

Items where Subject is "5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.66 Поиск вывода и проблемы разрешения в логических и логико-математических исчислениях > 510.665 Проблемы разрешения"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type
Jump to: А | Д | Р | С
Number of items at this level: 5.

А

Авхимович, Н.В. (2022) О разрешимости теории конечных подмножеств для дискретного линейного порядка. Вестник ТвГУ. Серия: Прикладная математика (3). pp. 91-104. ISSN 1995-0136

Д

Дудаков, С.М. (2020) Об определимости в алгебре конечных языков с конкатенацией множества односимвольных языков. Вестник ТвГУ. Серия: Прикладная математика (4). pp. 5-13. ISSN 1995-0136

Р

Рыбаков, М.Н. (2023) Деревья как средство моделирования неразрешимых проблем. Вестник ТвГУ. Серия: Прикладная математика (1). pp. 5-23. ISSN 1995-0136

С

Снятков, А.С. (2007) Разрешимость теории T_c=\Th(\omega, 0, 1, <, +, c^x, \C^x). Вестник ТвГУ. Серия: Прикладная математика (1[4]). pp. 113-121. ISSN 1995-0136

Снятков, А.С. (2008) Разрешимость теории T_f=\Th(\omega, 0, 1, <, +, f(x), F(x)). Вестник ТвГУ. Серия: Прикладная математика (2[9]). pp. 39-51. ISSN 1995-0136

This list was generated on Sun Jun 23 04:53:46 2024 MSK.