ЕН.02. Элементы математической логики (220ПК)