С помощью данного курса вы познакомитесь с фундаментальными понятиями математической логики, рассмотрите условия и решение так называемой "самой сложной логической задачи", познакомитесь с важными инструментами математической логики, а также базовыми понятиями из теории множеств.