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