| Найдено документов - 1 | Выборка докусментов | Версия для печати |
Сортировать по:
1. Статья
Судоплатов Сергей Владимирович.
Семейства элементарных теорий и их характеристики / Судоплатов Сергей Владимирович
// Математические основы информатики и информационно-коммуникационных систем". - Тверь : Тверской государственный университет, 2021. - С. 77-82. - Библиогр.: с. 79-81 (27 назв.).
Семейства элементарных теорий и их характеристики / Судоплатов Сергей Владимирович
// Математические основы информатики и информационно-коммуникационных систем". - Тверь : Тверской государственный университет, 2021. - С. 77-82. - Библиогр.: с. 79-81 (27 назв.).
Ключевые слова: Новосибирск, город, Элементарная теория, Семейство теорий, Формула, Ранг, Степень
Ссылка на ресурс: http://megapro.tversu.ru/megaPro/UserEntry?Action=FindDocs&ids=5455303
Ссылка на ресурс: http://texts.lib.tversu.ru/texts/151501t.pdf
Подробнее
Аннотация: Дается обзор результатов о семействах элементарных теорий, их комбинациях и основных характеристиках, включая ранги и степени как в абсолютном смысле, так и относительно заданных формул. Исследуются связи между формулами и семействами теорий, а также связи между свойствами теорий при предельных переходах. Приводится механизм построения n-арных теорий через их аппроксимации.