Логика

Курс знакомит слушателей с математической логикой, её методами, теоремами, приложениями. В процессе изучения курса слушатели смогут узнать о различных логических системах – о классической логике, интуиционистской логике, различных модальных логиках, а также о классической логике предикатов и теориях, построенных на её основе. Будут затронуты вопросы, связанные с формальными языками, вопросами выразимости различных условий в них, аксиоматическими системами, доказательствами и доказуемостью, истинностью и опровержимостью. Будут показаны взаимосвязи между этими понятиями, а также взаимосвязи между различными логическими системами. Попутно будут рассмотрены свойства теорий, в том числе алгоритмические. Курс содержит как теоретический материал, представленный в лекциях, так и практические задачи, предлагаемые слушателям в качестве упражнений. Слушатели смогут научиться строить формальные доказательства теорем, модели теорий, контрмодели для недоказуемых в теориях утверждений, а также строго аргументировать свои выводы.

Знания школьной математики; приветствуется владение начальными знаниями о вычислимых функциях.