LogoTver State University Repository

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

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: 11.

А

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

Г

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

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

Д

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

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

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

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

М

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

Р

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

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

С

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

This list was generated on Sun Jun 23 18:36:06 2024 MSK.