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

Б

Баранова, О.Е. and Гусев, А.И. (2014) ТОЧНЫЙ ПРИМЕР РАВНОВЕСНОЙ ФУНКЦИИ ГОЛОМОРФНОГО ОТОБРАЖЕНИЯ В ОКРЕСТНОСТИ ПАРАБОЛИЧЕСКОЙ НЕПОДВИЖНОЙ ТОЧКИ. Вестник ТвГУ. Серия: Прикладная математика (3). pp. 127-133. ISSN 1995-0136

Баранова, О.Е. and Гусев, А.И. and Ксендз, З.А. (2015) МОДЕЛИРОВАНИЕ РАВНОВЕСНЫХ ФУНКЦИЙ ГОЛОМОРФНЫХ ОТОБРАЖЕНИЙ В ОКРЕСТНОСТИ ПРИТЯГИВАЮЩЕЙ НЕПОДВИЖНОЙ ТОЧКИ. Вестник ТвГУ. Серия: Прикладная математика (3). pp. 85-100. ISSN 1995-0136

Бучнева, Т.И. and Кудряшова, М.Ю. (2015) НЕЙРОННЫЕ СЕТИ В ЗАДАЧЕ ИДЕНТИФИКАЦИИ ДИКТОРА ПО ГОЛОСУ. Вестник ТвГУ. Серия: Прикладная математика (2). pp. 119-126. ISSN 1995-0136

В

Васылькива, Л.В. (2006) Структура (Q, <) является автоматной. Вестник ТвГУ. Серия: Прикладная математика (1[3]). pp. 42-45. ISSN 1995-0136

Г

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

Д

Дудаков, С.М. (2006) Трансляционная теорема и автоматные структуры. Вестник ТвГУ. Серия: Прикладная математика (1[3]). pp. 5-35. ISSN 1995-0136

Дудаков, С.М. (2006) Трансляционная теорема и автоматные структуры. Вестник ТвГУ. Серия: Прикладная математика (1[3]). pp. 5-35. ISSN 1995-0136

Дудаков, С.М. (2005) Разрешимая теория без трансляционной теоремы. Вестник ТвГУ. Серия: Прикладная математика (2). pp. 23-26. ISSN 1995-0136

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

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

Дудаков, С.М. (2015) СИЛЬНАЯ МИНИМАЛЬНОСТЬ И IFP-БЕЗОПАСНОСТЬ. Вестник ТвГУ. Серия: Прикладная математика (3). pp. 25-32. ISSN 1995-0136

Дудаков, С.М. (2014) НЕРАЗРЕШИМОСТЬ ПРОБЛЕМЫ ОПРЕДЕЛЕННОСТИ БИНАРНЫХ IFP-ОПЕРАТОРОВ ДЛЯ ТЕОРИИ ОДНОГО СЛЕДОВАНИЯ. Вестник ТвГУ. Серия: Прикладная математика (4). pp. 7-15. ISSN 1995-0136

З

Захарова, Е.П. (2006) Языки простых эко-грамматических систем. Вестник ТвГУ. Серия: Прикладная математика (1[3]). pp. 46-64. ISSN 1995-0136

К

Карлов, Б.Н. (2021) Об элементарной эквивалентности некоторых уноидов и уноидов их подмножеств. Вестник ТвГУ. Серия: Прикладная математика (3). pp. 18-32. ISSN 1995-0136

Кудинов, А.Н. and Лебедев, Д.Ю. and Рыжиков, В.Н. and Цветков, В.П. and Цветков, И.В. and Иванов, А.П. (2014) САМОПОДОБИЕ СКАТТЕРОГРАММЫ МГНОВЕННОГО СЕРДЕЧНОГО РИТМА. Вестник ТвГУ. Серия: Прикладная математика (3). pp. 105-115. ISSN 1995-0136

М

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

П

Попов, И.В. (2008) О невозможности задания линейного порядка при помощи недетерминированных программ в группоидах специального вида. Вестник ТвГУ. Серия: Прикладная математика (3[10]). pp. 25-36. ISSN 1995-0136

С

Солон, Б.Я. (2022) Частичные степени быстрорастущих функций. Вестник ТвГУ. Серия: Прикладная математика (1). pp. 53-68. ISSN 1995-0136

Т

Тайцлин, М.А. (2005) Пример полиномиального запроса, не распознаваемого в недетерминированной логарифмической памяти. Вестник ТвГУ. Серия: Прикладная математика (2). pp. 5-22. ISSN 1995-0136

Ц

Цветков, И.В. (2010) Теория катастроф и фрактальная модель кризисных социально-экономических процессов. Вестник ТвГУ. Серия: Прикладная математика (19). pp. 71-79. ISSN 1995-0136

Ш

Шушунов, А.С. (2011) Автоматность SA-структур. Вестник ТвГУ. Серия: Прикладная математика (22). pp. 85-90. ISSN 1995-0136

Шушунов, А.С. and Ососков, А.В. (2011) Об общем методе доказательства разрешимости элементарных теорий. Вестник ТвГУ. Серия: Прикладная математика (21). pp. 59-74. ISSN 1995-0136