Вклад А.Д. Тайманова в теорию аксиоматизируемых классов моделей/Мулдагалиев, В.С.

Вклад А.Д. Тайманова в теорию аксиоматизируемых классов моделей/Мулдагалиев, В.С.

http://elib.wku.edu.kz/lib/document/WKSU/6F4EB37A-4D65-42B3-8355-5D9D3AE73E6F/

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

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

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

QR-код документа