Цель освоения дисциплины: расширить знания по теории рекурсии, теории множеств, теории алгебраических систем и их классов. Курс рассматривает теорему полноты и непротиворечивости, определение полной и неполной теории, модельно полной теории, понятия подмодели и элементарной подмодели, понятия типа и теорему о реализации типа, теорему об опускании счетного типа в счетной теории.
- Учитель: Периуза Пирниязова