Следите за новостями и участвуйте в обсуждениях!
Подписывайтесь на
наш Инстаграм,
Телеграм-канал и
присоединяйтесь к чату сообщества — чтобы не пропустить результаты конкурса грантов!
Теория моделей
-
Цель освоения дисциплины: расширить знания по теории рекурсии, теории множеств, теории алгебраических систем и их классов. Курс рассматривает теорему полноты и непротиворечивости, определение полной и неполной теории, модельно полной теории, понятия подмодели и элементарной подмодели, понятия типа и теорему о реализации типа, теорему об опускании счетного типа в счетной теории.
-
Образовательная программа 7M06105 Кибернетика и искусственный интеллект
-
Кредитов 5
-
Год обучения 1