Описание
Базовый курс для магистров по математической логике. Пропозициональная и предикатная логика, теория доказательств, вычёркивание Гентцена (Cut-Elimination), полнота, компактность, модели Хенкина, модельная теория, арифметика и неразрешимость. Специальные темы (при наличии времени) в зависимости от интересов преподавателя и аудитории.
Текст источника на языке оригинала
A basic graduate course in mathematical logic. Propositional and predicate logic, proof theory, Gentzen's Cut-Elimination, completeness, compactness, Henkin models, model theory, arithmetic and undecidability. Special topics (time permitting) depending on interests of instructor and audience.
Источники и ссылки
Даты и источники сохраняются, чтобы помочь вам проверить сведения. Переводы предлагаются для удобства чтения; официальным источником для условий и требований является оригинал.
Исходная ссылка : https://calendar.carleton.ca/grad/courses/MATH/