LogoРепозиторий Тверского госуниверситета

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

На уровень вверх
Экспорт в [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Группировка по: Авторы | Тип объекта
Перейти к: В | Д | З | П | Т | Ц | Ш
Количество объектов на этом уровне: 10.

В

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

Д

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

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

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

З

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

П

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

Т

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

Ц

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

Ш

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

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

Этот список был создан Tue Jun 27 04:38:42 2017 MSK.