Электронный каталог

22.12
М 90
Мулдагалиев, В. С.
    Вклад А.Д. Тайманова в теорию аксиоматизируемых классов моделей [Текст] / В. С. Мулдагалиев // Материалы международной научно-практической конференции «Цифровая наука и искусственный интеллект» «Таймановские чтения-2026» посвящённой научно-педагогической деятельности доктора физико-математических наук, академика А.Д. Тайманова. - Уральск, 2026. - 27 февраля. - С. 15-18.
ББК 22.12

Рубрики: Основания математики. Математическая логика

Кл.слова (ненормированные):
А.Д. Тайманов -- Аксиоматизируемый класс моделей -- Сигнатура -- Язык первого порядка -- Элементарная теория класса -- Алгебраические системы -- Конечная аксиоматизируемость -- Рекурсивная аксиоматизируемость
Аннотация: Материал посвящен теоретическим основам аксиоматизируемых классов моделей, развитых в трудах академика А. Д. Тайманова. В тексте систематизированы фундаментальные понятия математической логики: определения сигнатуры, замкнутых формул языка первого порядка и элементарной теории класса алгебраических систем.
Держатели документа:
ЗКУ