Полезная информация
Длительность 4 месяца
Начало обучения: 31 тамыз 2023 года
Конец обучения: 11 қаңтар 2024 года
Теория моделей (Уалиев Жомарт) (MAT2072) (2023) (Осень) (Магистратура) (Рус.яз)
Цель освоения дисциплины: расширить знания по теории рекурсии, теории множеств, теории алгебраических систем и их классов. Курс рассматривает теорему полноты и непротиворечивости, определение полной и неполной теории, модельно полной теории, понятия подмодели и элементарной подмодели, понятия типа и теорему о реализации типа, теорему об опускании счетного типа в счетной теории.