Ресурсы из категории "510.6 Математическая логика"

А

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

Г

Гайдамака, Ю.В. и Матюшенко, С.И. и Самуйлов, К.Е. (2024) О пиковом возрасте информации в группе передачи, моделируемой системой. Вестник ТвГУ. Серия: Прикладная математика (1). С. 37-52. ISSN 1995-0136

Ганичева, А.В. (2010) Анализ факторов, влияющих на деятельность сельскохозяйственных предприятий, на основе логического метода. Вестник ТвГУ. Серия: Экономика и управление (8). С. 69-76. ISSN 2219-1453

Д

Дадеркин, Д.О. (2016) ЭФФЕКТИВНЫЕ АЛГОРИТМЫ ПОСТРОЕНИЯ ТЕРМОВ МИНИМАЛЬНОЙ ВЫЧИСЛИТЕЛЬНОЙ СЛОЖНОСТИ. Вестник ТвГУ. Серия: Прикладная математика (4). С. 21-33. ISSN 1995-0136

Дадеркин, Д.О. (2019) Об уноидах Ужичина со связным основным множеством. Вестник ТвГУ. Серия: Прикладная математика (4). С. 117-125. ISSN 1995-0136

Дадеркин, Д.О. (2021) Табличные уноиды, удовлетворяющие условиям Ужичина. Вестник ТвГУ. Серия: Прикладная математика (1). С. 59-70. ISSN 1995-0136

Дадеркин, Д.О. (2021) О табличных уноидах, не удовлетворяющих условиям ужичина. Вестник ТвГУ. Серия: Прикладная математика (3). С. 33-43. ISSN 1995-0136

Дудаков, С.М. (2024) О моноиде с разрешимой теорией конечных подмножеств. Вестник ТвГУ. Серия: Прикладная математика (2). С. 27-38. ISSN 1995-0136

М

Матюшенко, С.И. и Самуйлов, К.Е. (2024) Стационарное распределение пикового возраста информации в двухканальной группе передачи, моделируемой системой обслуживания с переупорядочиванием заявок и с распределениями фазового типа. Вестник ТвГУ. Серия: Прикладная математика (1). С. 17-36. ISSN 1995-0136

Р

Рыбаков, М.Н. (2007) Сложность константного фрагмента пропозициональной динамической логики. Вестник ТвГУ. Серия: Прикладная математика (2[5]). С. 5-17. ISSN 1995-0136

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

С

Секорин, В.С. (2022) Моделирование оператора частичной фиксированной точки. Вестник ТвГУ. Серия: Прикладная математика (2). С. 14-26. ISSN 1995-0136